Implementations of Python and Ruby programming languages for .NET Framework that are built on top of the Dynamic Language Runtime.
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Visual Studio 2008 port of the libemu library that includes scdbg.exe, a modification of the sctest project, that includes more hooks, interactive debugging, reporting features, and ability to work with file format exploit shellcode.
Binary dynamic, static, and symbolic execution analysis tools for directed test generation
coreStar is a symbolic execution engine for analysis and verification with separation logic
Public repository.