Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?

Back to my page

Program Analysis Tools

Static Analysis Tools

Security

  • FlowDroid: Java, Data-Flow Analysis, PLDI'14
  • Argus-SAF (Amandroid): Java, Data-Flow Analysis, CCS'14
  • Droidsafe: Java, Data-Flow Analysis, NDSS'15
  • ApkCombiner: Android ICC
  • HybriDroid: Java, JavaScript, Bug Detector, Data-Flow Analysis, ASE'16
  • CogniCrypt: Java, White listing, Typestate Analysis, Data-Flow Analysis, ASE'17 & ECOOP'18
  • JOANA: Java, Information-Flow Analysis, Slicing

Bug Detection

  • FindBugs
  • SpotBugs
  • PMD
  • Lint
  • CheckStyle
  • Cppcheck

Other

Dynamic Analysis Tools

Android Testing Frameworks

Reverse Engineering Tools:

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.