Hi Oliver,
The tool is still a research prototype but I intend to release it in
the near future. I took a quick look and it seems like my tool might
not be very useful on the commons transaction code because that code
uses sophisticated locking primitives which the current version of my
tool
Hello,
I'm a PhD student in Computer Science at Stanford University,
evaluating a static race detection tool I'm developing on open source
Java programs. I ran it on the 5 implementations of pools in Apache
Commons Pool, and found some bugs. The output of the tool is here:
Hello,
I'm a PhD student in Computer Science at Stanford University, evaluating a
static race detection tool I'm developing on open source Java programs.
I ran it on the 5 implementations of pools in Apache Commons Pool, and
found some bugs. The output of the tool is here:
