Skip to content

Latest commit

 

History

History
21 lines (14 loc) · 741 Bytes

README.md

File metadata and controls

21 lines (14 loc) · 741 Bytes

liveness-static-analyzer

Information Systems Analysis - Liveness Project

Read report.pdf in order to have an explanation.

Look at the slideshow.pdf to have an overview on the project.

HOW TO IMPORT AND RUN THE CODE:

  • Download LivenessProject folder
  • From Eclipse environment select File->Import->General->File System->LivenessProject.
  • configure corpoJava.txt's path in MainLauncher.java
  • Run MainLauncher.java

You need at least JavaSE-1.8, JgraphT and JavaCC packages on your Eclipse workspace. See following links:

Authors: https://github.com/GiacomoFerro and https://github.com/Astuxx