Alla jobb från Lund University - Filtrera jobben
M. Sc. Thesis Proposal: Data-driven Deployment of Editor Services
Editor services can assist software developers with code analysis during editing but this analysis can have false positives. The goal with this project is to explore data-driven program analysis deployment in editing.
M. Sc. Thesis Proposal: Data-driven Deployment of Program Analysis Fixes
Program analysis can assist software developers with robot comments during code review and suggest fixes to identified issues. The goal with this project is to explore data-driven deployment of fixes in code review.
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.