Search Results - RepositoryStats

273

2.1k

mit

93

Binary Analysis Platform

arm bap x86 mips ocaml lifter powerpc emulator security disassembler taint-analysis binary-analysis static-analysis dynamic-analysis program-analysis symbolic-execution reverse-engineering program-verification instruction-semantics

Created 2014-10-30

1,275 commits to master branch, last one 4 months ago

symbiotic staticafi

55

315

mit

13

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

klee llvm slice llvm-ir slicing verification instrumentation program-slicing symbolic-execution program-verification software-verification verification-toolchain

Created 2014-12-30

2,052 commits to main branch, last one about a month ago

aeneas AeneasVerif

15

219

apache-2.0

5

A verification toolchain for Rust programs

coq hol4 lean rust fstar ocaml proofs compiler rust-lang formal-methods deductive-reasoning formal-verification program-verification

Created 2021-11-02

2,684 commits to main branch, last one 3 days ago

CMinor-Verifier thufv

22

202

gpl-3.0

5

2022 年春季学期清华大学《软件分析与验证》课程实验平台

course-project program-verification

Created 2022-08-04

141 commits to master branch, last one 2 years ago

charon AeneasVerif

17

111

apache-2.0

5

Interface with the rustc compiler for the purpose of program verification

rust compiler rust-lang formal-methods static-analysis formal-verification program-verification

Created 2021-10-21

2,156 commits to main branch, last one a day ago

code2inv PL-ML

24

88

unknown

9

Code2Inv: Learning Loop Invariants for Program Verification

graph-neural- program-verification loop-invariant-generation

Created 2018-09-23

55 commits to master branch, last one 3 years ago

LoopInvGen SaswatPadhi

20

59

mit

6

Generates loop invariants for program verification

cegis sygus synthesis invariants sygus-solver loop-invariants invariant-generation program-verification syntax-guided-synthesis

This repository has been archived (exclude archived)

Created 2017-05-27

201 commits to master branch, last one 4 years ago

lisa lisa-analyzer

33

52

mit

7

📚 a modular easy to use Library for Static Analysis aiming at multi-language analysis

java lisa analysis analyzer cybersecurity formal-methods static-analysis static-analyzer static-analyzers program-verification abstract-interpretation

Created 2020-09-22

1,905 commits to master branch, last one 4 months ago

dafny-synthesis Mondego

0

36

gpl-3.0

6

Towards AI-Assisted Synthesis of Verified Dafny Methods

llms dafny program-synthesis program-verification

Created 2023-06-07

83 commits to master branch, last one 6 months ago