Highlights
- Pro
-
-
SLOT Public
Forked from mikekben/SLOTSLOT: SMT-LLVM Optimizing Translation
C++ GNU General Public License v3.0 UpdatedAug 31, 2024 -
net-ssa Public
net-ssa: A fast and easy-to-use register-based representation for .NET bytecode.
-
Triton Public
Forked from JonathanSalwan/TritonTriton is a dynamic binary analysis library. Build your own program analysis tools, automate your reverse engineering, perform software verification or just emulate code.
C++ Apache License 2.0 UpdatedDec 4, 2023 -
jfs Public
Forked from mc-imperial/jfsConstraint solver based on coverage-guided fuzzing
C++ MIT License UpdatedNov 28, 2023 -
AFLplusplus Public
Forked from AFLplusplus/AFLplusplusThe 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!
C Apache License 2.0 UpdatedNov 9, 2023 -
-
symcc Public
Forked from eurecom-s3/symccSymCC: efficient compiler-based symbolic execution
C++ GNU General Public License v3.0 UpdatedMar 26, 2023 -
lunasvg Public
Forked from sammycage/lunasvglunasvg is a standalone SVG rendering library in C++
C++ MIT License UpdatedMar 17, 2023 -
miniz Public
Forked from richgel999/minizminiz: Single C source file zlib-replacement library, originally from code.google.com/p/miniz
C MIT License UpdatedAug 22, 2022 -
-
-
-
-
guava Public
Forked from google/guavaGoogle core libraries for Java
Java Apache License 2.0 UpdatedJun 24, 2021 -
SharpLab Public
Forked from ashmind/SharpLab.NET language playground
C# BSD 2-Clause "Simplified" License UpdatedJan 3, 2021 -
llvm Public
Forked from llvm-mirror/llvmProject moved to: https://github.com/llvm/llvm-project
LLVM Other UpdatedSep 2, 2020 -
analysis-net Public
Forked from garbervetsky/analysis-netStatic analysis framework for .NET programs.
-
dotnetCampus.TagToVersion Public
Forked from dotnet-campus/dotnetCampus.TagToVersionThe dotnetCampus.TagToVersion that can helps us write tag names into version files is a dotnet tool.
C# MIT License UpdatedJul 15, 2020 -
llvm-pass-tutorial Public
Forked from abenkhadra/llvm-pass-tutorialA step-by-step tutorial for building an LLVM sample pass
CMake Other UpdatedMay 14, 2020 -
tac2cil Public
A .NET compiler based on a three-address code representation of CIL.
-
-
DSA Public
Forked from abdonkov/DSAData structures and algorithms in C#
C# MIT License UpdatedOct 26, 2019 -
example-analysis-net Public
An example of how to use analysis-net for a live variable analysis.
-
-
cci Public
Forked from michael-emmi/cciCommon Compiler Infrastructure
C# MIT License UpdatedAug 13, 2019 -
FastHashes Public
Forked from TommasoBelluzzo/FastHashesA .NET implementation of different non-cryptographic hashes.
C# MIT License UpdatedJul 17, 2019 -
corral Public
Forked from boogie-org/corralsolver for the reachability modulo theories problem
C# MIT License UpdatedJul 2, 2019 -
-