Skip to content

Latest commit

 

History

History
22 lines (15 loc) · 1.19 KB

README.md

File metadata and controls

22 lines (15 loc) · 1.19 KB
Raw

Joana Taint Analysis

A small benchmark for testin the Joana capabilities for taint analysis.

Setup

In the very first moment, execute the setup.sh script to download the Joana library and configure it as a local maven dependency.

Executing the micro securibench

Currently, you might run the 'securibench' benchmark using JUnit test cases. Such as:

  • Aliasing test suite: mvn test -Dtest="br.unb.cic.joana.securibench.micro.suite.AliasingTestSuite"
  • Array test suite: mvn test -Dtest="br.unb.cic.joana.securibench.micro.suite.ArrayTestSuite"
  • Basic test suite: mvn test -Dtest="br.unb.cic.joana.securibench.micro.suite.BasicTestSuite"
  • Collection test suite: mvn test -Dtest="br.unb.cic.joana.securibench.micro.suite.CollectionTestSuite"
  • Datastructure test suite: mvn test -Dtest="br.unb.cic.joana.securibench.micro.suite.DatastructureTestSuite"
  • Factory test suite: mvn test -Dtest="br.unb.cic.joana.securibench.micro.suite.FactoryTestSuite"
  • Session test suite: mvn test -Dtest="br.unb.cic.joana.securibench.micro.suite.SessionTestSuite"
  • StrongUpdate test suite: mvn test -Dtest="br.unb.cic.joana.securibench.micro.suite.StrongUpdateTestSuite"