S4Lab

Clang-based source code slicer

Here we publish write-ups for parcham.io challenges

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.

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.

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

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

Code generation for benchmarking analysis tools