Projects with this topic
Sort by:
-
Attempt to implement "A formal specification for BIL: BIL Instruction Language" presented by BAP (https://github.com/BinaryAnalysisPlatform/bil) in Isabelle/HOL.
Updated
GitLab will be offline for essential maintenance between 16:30-17:30 on the 23/10/25. During this time, GitLab will be read-only with some short periods of complete unavailability.
Attempt to implement "A formal specification for BIL: BIL Instruction Language" presented by BAP (https://github.com/BinaryAnalysisPlatform/bil) in Isabelle/HOL.