Search Results - RepositoryStats

429

6.7k

mit

113

Performant type-checking for python.

ocaml python security type-check typechecker code-quality taint-analysis static-analysis program-analysis control-flow-analysis abstract-interpretation

Created 2017-11-10

16,032 commits to main branch, last one 12 hours ago

ikos NASA-SW-VnV

148

2k

other

51

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

static-analysis program-analysis software-verification abstract-interpretation

Created 2017-10-17

490 commits to master branch, last one 2 months ago

BinAbsInspector KeenSecurityLab

223

1.5k

gpl-3.0

26

BinAbsInspector: Vulnerability Scanner for Binaries

ghidra security binary-analysis static-analyzer reverse-engineering vulnerability-scanner abstract-interpretation

Created 2022-03-26

21 commits to main branch, last one 18 days ago

seahorn seahorn

132

430

other

20

SeaHorn Verification Framework

llvm horn-clauses verification model-checking static-analysis program-analysis abstract-interpretation

Created 2015-03-01

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

ebpf-verifier vbpf

39

351

mit

14

eBPF verifier based on abstract interpretation

ebpf ebpf-verifier static-analyzer abstract-interpretation

Created 2018-06-16

1,842 commits to main branch, last one 3 days ago

clam seahorn

37

263

apache-2.0

13

Static Analyzer for LLVM bitcode based on Abstract Interpretation

llvm invariants static-analysis program-analysis software-verification abstract-interpretation

Created 2017-06-30

1,339 commits to master branch, last one 8 months ago

crab seahorn

32

221

apache-2.0

12

A library for building abstract interpretation-based analyses

invariants verification static-analysis program-analysis abstract-interpretation

Created 2017-06-30

1,832 commits to master branch, last one 8 months ago

diffai eth-sri

26

217

mit

16

A certifiable defense against adversarial examples by training neural networks to be provably robust

attack robust defense pytorch neural-network abstract-interpretation

Created 2018-07-08

46 commits to master branch, last one 3 years ago

corax-community Feysh-Group

17

202

other

5

Corax for Java: A general static analysis framework for java code checking.

cwe java sast soot owasp sarif security flowdroid code-analysis vulnerability security-audit taint-analysis static-analysis program-analysis software-analysis static-code-analysis abstract-interpretation

Created 2023-08-29

49 commits to main branch, last one about a month ago

analyzer goblint

72

156

mit

18

Static analysis framework for C

c ocaml race-detection race-conditions static-analysis program-analysis static-code-analysis software-verification abstract-interpretation

Created 2011-07-18

16,084 commits to master branch, last one 4 days ago

sparrow ropas

28

120

other

18

The Sparrow Static Analyzer

c static-analyzer abstract-interpretation

Created 2017-04-02

50 commits to master branch, last one 5 years ago

logically namin

9

114

unknown

16

explorations in core.logic

prolog binders clojure metaprogramming logic-programming paper-implementations abstract-interpretation

Created 2013-01-16

114 commits to master branch, last one 2 years ago

sai Kraks

8

63

unknown

12

Staged Abstract Interpreters

scala staging interpreters meta-programming symbolic-execution abstract-interpretation

Created 2018-01-03

1,669 commits to master branch, last one about a year ago

sturdy svenkeidel

5

58

bsd-3-clause

5

Sturdy is a library for developing sound static analyses in Haskell.

haskell interpreter soundness-proof static-analysis analysis-components abstract-interpretation

Created 2018-03-21

903 commits to master branch, last one 11 months ago

lisa lisa-analyzer

32

41

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 3 months ago