-
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 -
analysis-net Public
Forked from garbervetsky/analysis-netStatic analysis framework for .NET programs.
-
-
-
bondis-web Public
Página desarrollada para facilitar la visualización de los datos recolectados de Bondicom.
JavaScript GNU General Public License v3.0 UpdatedFeb 1, 2016 -
cci Public
Forked from michael-emmi/cciCommon Compiler Infrastructure
C# MIT License UpdatedAug 13, 2019 -
-
-
corral Public
Forked from boogie-org/corralsolver for the reachability modulo theories problem
C# MIT License UpdatedJul 2, 2019 -
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 -
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.
-
FastHashes Public
Forked from TommasoBelluzzo/FastHashesA .NET implementation of different non-cryptographic hashes.
C# MIT License UpdatedJul 17, 2019 -
gdart Public
Forked from tudo-aqua/gdartGDart: Dynamic Symbolic Execution for the JVM
Shell Other UpdatedJan 22, 2025 -
guava Public
Forked from google/guavaGoogle core libraries for Java
Java Apache License 2.0 UpdatedJun 24, 2021 -
jfs Public
Forked from mc-imperial/jfsConstraint solver based on coverage-guided fuzzing
C++ MIT License UpdatedNov 28, 2023 -
-
llvm Public
Forked from llvm-mirror/llvmProject moved to: https://github.com/llvm/llvm-project
LLVM Other UpdatedSep 2, 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 -
-
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 -
net-ssa Public
net-ssa: A fast and easy-to-use register-based representation for .NET bytecode.
-
-
-
SharpLab Public
Forked from ashmind/SharpLab.NET language playground
C# BSD 2-Clause "Simplified" License UpdatedJan 3, 2021 -
SLOT Public
Forked from mikekben/SLOTSLOT: SMT-LLVM Optimizing Translation
C++ GNU General Public License v3.0 UpdatedApr 11, 2025 -
smartgrammar Public
Smart Grammar is an expressive language to write smart scripts for the TrinityCore emulator.
-
spout Public
Forked from tudo-aqua/spoutSPouT: Symbolic Path Recording During Testing
Java Other UpdatedJul 6, 2025
{{ message }}