S4Lab

CVulDB

Parcham

Here we publish write-ups for parcham.io challenges

twinner

Twinner is a deobfuscation and unpacking framework. It inspects executable binaries and uses binary instrumentation and concolic execution to model the software behavior and recode it as a new compilable C program.

oxpecker

Slicer

Clang-based source code slicer

voprotector

A virtualization-obfuscation (VO) protector based on the ROSE compiler infrastructure

Benchmark-Utils

Code generation for benchmarking analysis tools

partovengine

This is the parent repository of Partov Engine project. Partov Network Simulation Emulation (PartovNSE) and Client Framework (CF) subprojects make it possible to perform discrete event simulation, extensible through plugins, joining real networks via emulation, supporting realtime scheduling, and so on.

symbolic-execution

An implementation of the forward symbolic execution based on the LDMBL API