README.md

JSVFA

Java Static Value Flow Analysis

This projects is an Static Value Flow Analyzer for programs in Java. Its development is based in rules, which were extracting from SVF: Interprocedural Static Value-Flow Analysis in LLVM book

To do

In this study the next implementations must be done:

• Rules
  • Copy
  • Load
  • Store
  • Call & Return
  • Array*
• Graph
• Value Flow
• Flowdroid benchmark

Dependencies

• SootUp

Version

0.1

Author

José Clavo Tafur

Timeline

The proposal dates to finish the project can be found at Project's timeline