All jobs from Lund University - Filter job results
Automatically Finding and Explaning Bugs (with Axis Communications)
We have built a prototype bug checker to help Axis find program bugs. Help us improve the checker to better explain bug reports and to filter out false positives.
Precise Bug Detection with Points-To Analysis (with Axis Communications)
We have developed a prototype bug checker for Axis Communications. Help us improve this bug checker by improving the precision of how it models the C heap.