KurSh/Seccubus_v2
Easy automated vulnerability scanning, reporting and analysis
DUAL Spartan6 Development Platform
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Easy automated vulnerability scanning, reporting and analysis
The .NET Compiler Platform ("Roslyn") provides open-source C# and Visual Basic compilers with rich code analysis APIs.
Python concolic execution framework for program analysis
A library for analyzing LLVM bitcode in Haskell