-
-
-
-
-
SVF Public
Forked from SVF-tools/SVFStatic Value-Flow Analysis Framework for Source Code
C++ Other UpdatedOct 2, 2023 -
FStar Public
Forked from FStarLang/FStarA Proof-oriented Programming Language
F* Apache License 2.0 UpdatedAug 13, 2023 -
-
-
cwe_checker Public
Forked from fkie-cad/cwe_checkercwe_checker finds vulnerable patterns in binary executables
-
opam-repository Public
Forked from ocaml/opam-repositoryMain public package repository for opam, the source package manager of OCaml.
-
-
-
archr Public
Forked from angr/archrTarget-centric program analysis.
-
esy-sqlite Public
Forked from ManasJayanth/esy-sqliteSQLite packaged for esy
JavaScript UpdatedMay 31, 2021 -
traits Public
Forked from RustCrypto/traitsCollection of cryptography-related traits
Rust UpdatedApr 15, 2021 -
ubertooth Public
Forked from greatscottgadgets/ubertoothSoftware, firmware and hardware designs for Ubertooth
C GNU General Public License v2.0 UpdatedMar 25, 2021 -
pyorc Public archive
Forked from noirello/pyorcPython module for Apache ORC file format
-
infer Public
Forked from facebook/inferA static analyzer for Java, C, C++, and Objective-C
-
-
cbat_tools Public
Forked from draperlaboratory/cbat_toolsProgram analysis tools developed at Draper on the CBAT project.
-
bap Public
Forked from BinaryAnalysisPlatform/bapBinary Analysis Platform
-
program-analysis-note Public
Forked from greyd0g/Program-Analysis-NoteUnfortunately I don't have time to read stuff I put...
1 UpdatedSep 14, 2020 -
-
-
falcon Public
Forked from falconre/falconFormal Binary Analysis Framework in Rust
-
tip_syntax Public
Parser for TIP language from https://github.com/cs-au-dk/TIP/ in Rust.
Rust UpdatedMay 26, 2019 -
rlox Public
Rust implementation of a lox tree walking interpreter from http://craftinginterpreters.com/
-
rure Public
Reliable Unsafe Rust Engine. POC symbolic execution over unsafe rust.
-
-
Symbb Public archive
Symbolic execution assistance for fuzzing to discover vulnerabilities in deeper software logic.
{{ message }}