Static_code_analysis - SYSC3020-Winter2016/SYSC3020LectureNotes GitHub Wiki

Static analysis are techniques to verify code without executing it:

  • Code reviews
  • Automated static analysis (e.g. lint, findbugs...)
  • Model Checking/theorem proving: formally prove that the system cannot go into an incorrect state, based on a state machine
⚠️ **GitHub.com Fallback** ⚠️