Search Results - RepositoryStats

271

2.0k

mit

92

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,273 commits to master branch, last one 2 months ago

symbiotic staticafi

56

303

mit

12

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,050 commits to main branch, last one about a year ago

CMinor-Verifier thufv

21

189

gpl-3.0

5

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

course-project program-verification

Created 2022-08-04

141 commits to master branch, last one about a year ago

aeneas AeneasVerif

14

158

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,391 commits to main branch, last one a day ago

code2inv PL-ML

24

82

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

charon AeneasVerif

15

62

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

1,492 commits to main branch, last one a day ago

LoopInvGen SaswatPadhi

21

56

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

32

44

mit

6

📚 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,813 commits to master branch, last one 4 months ago

dafny-synthesis Mondego

0

28

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 21 days ago