Jakstab

MaRDI QIDQ36996swMATHFDO

Official website http://www.jakstab.org/

Cited in

(15)

• Refinement-based CFG reconstruction from unstructured programs
• Alternating control flow reconstruction
• Cseq
• Orion
• BAP
• Lazy-CSeq
• Ultimate Kojak
• CPAlien
• FrankenBit
• MU-CSeq
• Symbiotic 2
• WPDS++
• Combining model checking and data-flow analysis
• Model-Checking HyperLTL for Pushdown Systems
• Ghidra

This page was built for software: Jakstab