/17712-fantastic-bugs-assignment-1

Procedure file and output from Infer static analyzer for the 17712 assignment 1

Primary LanguageHTML

17712 Fantastic Bugs Assignment 1

A collaborative project by Catarina Gamboa and Simon Chu

Goal

We ran analysis using Infer static analyzer on two target programs, Clojure programming language and JUnit.

Directories

  • clojure-infer-output/: all the infer output from running analysis on Clojure.
  • junit-infer-output/: all the infer output from running analysis on JUnit.
  • reports/: aggregated reports.txt from both of the infer outputs.