Lightlines
By yaklang

symbolic-execution-tools

yaklang3.3k installs

Find inputs that unlock reverse-engineering puzzles.

What it does

Solves reverse-engineering challenges by finding valid inputs, recovering keys, and analyzing binary code.

When to use it

Use for CTF reversing challenges, key recovery, check bypasses, or automated binary analysis.

How to use it

Give it a challenge binary; it explores success and failure paths and returns a satisfying input.

What you provide

  • Your files

Latest review

What you need · 1

The examples run in Python; the installation section specifies Python 3.8+ for angr.


Access · 0

No additional actions listed.