• CogniCrypt
• WPDS
• Boomerang
• IDE/AL
• Heros
• FlowDroid
• TamiFlex
• Soot-Scala
• JavaEE Entry Point Generator
• Averroes
• JTDec
• Cheetah
• VisuFlow