SOEN7481 Assignment: a simple Java static bug detector
Branch: master
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Type Name Latest commit message Commit time
Failed to load latest commit information.
.settings
filesToParse
report
resources
results
src
.classpath
.gitignore
.project
.travis.yml
README.md
javaparservisited.pdf
pom.xml
soen7481-fall-2018.pdf

README.md

SOEN 7481 Software Verification and Testing

Fall 2018

Assignment Description

In this assignment, you will need to implement a static analysis tool to detect bugs in source code. Static analysis tools are commonly used as part of the continuous integration process to ensure the quality of the code (more details in the slides and the papers in week 3). The tool will be implemented in Java.