Flandini
-
-
Buildalyzer Public
Forked from phmonte/BuildalyzerA utility to perform design-time builds of .NET projects without having to think too hard about it.
C# MIT License UpdatedNov 26, 2024 -
footswitch Public
Forked from rgerganov/footswitchCommand-line utility for PCsensor and Scythe foot switches
C MIT License UpdatedMar 18, 2024 -
joern Public
Forked from joernio/joernOpen-source code analysis platform for C/C++/Java/Binary/Javascript/Python/Kotlin based on code property graphs. Discord https://discord.gg/vv4MH284Hc
Scala Apache License 2.0 UpdatedNov 8, 2024 -
-
libvex Public
Forked from lifting-bits/libvexLibVEX with patches to support static analysis
C GNU General Public License v2.0 UpdatedJul 13, 2015 -
-
llvm-project Public
Forked from llvm/llvm-projectThe LLVM Project is a collection of modular and reusable compiler and toolchain technologies.
LLVM Other UpdatedJan 6, 2025 -
metamath-turing-machines Public
Forked from sorear/metamath-turing-machinesmetamath proof enumerators and other things
Tcl MIT License UpdatedAug 8, 2017 -
mini-invader Public
Forked from aziem/mini-invaderToy implementation of a separation logic based program analysis
OCaml BSD 3-Clause "New" or "Revised" License UpdatedJan 18, 2012 -
MsBuildPipeLogger Public
Forked from daveaglick/MsBuildPipeLoggerA logger for MSBuild that sends event data over anonymous or named pipes.
C# MIT License UpdatedNov 26, 2024 -
nightmare Public
Forked from joxeankoret/nightmareA distributed fuzzing testing suite with web administration
Python GNU General Public License v2.0 UpdatedSep 15, 2016 -
PinTools-1 Public
Forked from JonathanSalwan/PinToolsPintool example and PoC for dynamic binary analysis
C++ UpdatedJun 30, 2015 -