Pinned Repositories
analysis-net
Static analysis framework for .NET programs.
cci
Common Compiler Infrastructure
corral
solver for the reachability modulo theories problem
example-analysis-net
An example of how to use analysis-net for a live variable analysis.
net-ssa
net-ssa: A fast and easy-to-use register-based representation for .NET bytecode.
tac2cil
A .NET compiler based on a three-address code representation of CIL.
TinyBCT
cci
Common Compiler Infrastructure
m-carrasco's Repositories
m-carrasco/net-ssa
net-ssa: A fast and easy-to-use register-based representation for .NET bytecode.
m-carrasco/TinyBCT
m-carrasco/tac2cil
A .NET compiler based on a three-address code representation of CIL.
m-carrasco/analysis-net
Static analysis framework for .NET programs.
m-carrasco/example-analysis-net
An example of how to use analysis-net for a live variable analysis.
m-carrasco/cci
Common Compiler Infrastructure
m-carrasco/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!
m-carrasco/coreutils-s390x
m-carrasco/dotnetCampus.TagToVersion
The dotnetCampus.TagToVersion that can helps us write tag names into version files is a dotnet tool.
m-carrasco/DSA
Data structures and algorithms in C#
m-carrasco/FastHashes
A .NET implementation of different non-cryptographic hashes.
m-carrasco/gdart
GDart: Dynamic Symbolic Execution for the JVM
m-carrasco/guava
Google core libraries for Java
m-carrasco/jfs
Constraint solver based on coverage-guided fuzzing
m-carrasco/klee
KLEE Symbolic Execution Engine
m-carrasco/llvm
Project moved to: https://github.com/llvm/llvm-project
m-carrasco/llvm-pass-tutorial
A step-by-step tutorial for building an LLVM sample pass
m-carrasco/llvm-tutor
m-carrasco/lunasvg
lunasvg is a standalone SVG rendering library in C++
m-carrasco/m-carrasco.github.io
m-carrasco/miniz
miniz: Single C source file zlib-replacement library, originally from code.google.com/p/miniz
m-carrasco/poc-example
m-carrasco/sharp
m-carrasco/SharpLab
.NET language playground
m-carrasco/SLOT
SLOT: SMT-LLVM Optimizing Translation
m-carrasco/smt-dafny-compiler
An SMT compiler for testing the Dafny verification toolchain
m-carrasco/spout
SPouT: Symbolic Path Recording During Testing
m-carrasco/symcc
SymCC: efficient compiler-based symbolic execution
m-carrasco/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.
m-carrasco/z3
The Z3 Theorem Prover