Manuel Carrasco's repositories
analysis-net
Static analysis framework for .NET programs.
example-analysis-net
An example of how to use analysis-net for a live variable analysis.
cci
Common Compiler Infrastructure
corral
solver for the reachability modulo theories problem
AFLplusplus
The fuzzer afl++ is afl with community patches, qemu 5.1 upgrade, collision-free coverage, enhanced laf-intel & redqueen, AFLfast++ power schedules, MOpt mutators, unicorn_mode, and a lot more!
dotnetCampus.TagToVersion
The dotnetCampus.TagToVersion that can helps us write tag names into version files is a dotnet tool.
DSA
Data structures and algorithms in C#
FastHashes
A .NET implementation of different non-cryptographic hashes.
guava
Google core libraries for Java
jfs
Constraint solver based on coverage-guided fuzzing
klee
KLEE Symbolic Execution Engine
llvm
Project moved to: https://github.com/llvm/llvm-project
llvm-pass-tutorial
A step-by-step tutorial for building an LLVM sample pass
lunasvg
lunasvg is a standalone SVG rendering library in C++
miniz
miniz: Single C source file zlib-replacement library, originally from code.google.com/p/miniz
SharpLab
.NET language playground
SLOT
SLOT: SMT-LLVM Optimizing Translation
smt-dafny-compiler
An SMT compiler for testing the Dafny verification toolchain
symcc
SymCC: efficient compiler-based symbolic execution
Triton
Triton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
z3
The Z3 Theorem Prover