Triton

Triton هي مكتبة تحليل ثنائي ديناميكي. توفر مكونات داخلية تسمح لك ببناء أدوات تحليل البرامج الخاصة بك، وأتمتة الهندسة العكسية، وإجراء التحقق من البرامج، أو ببساطة محاكاة الكود. Dynamic symbolic execution Dynamic taint analysis AST representation of the x86 , x86-64 , ARM32 , AArch64 and RISC-V 32/...

zeno

إطار Zeno التثبيت root@kitploit: cd git clone https://github.com/Traxes/zeno --recursive sudo pip3 install termcolor tqdm git clone https://github.com/Z3Prover/z3 --recursive cd z3 python3 scripts/mkmake.py --python cd build make sudo make install cd /zeno الاستخدام root@kitploit: /zeno$...

toy-wasm-symbexp

toy-wasm-symbexp Ceci est un interpréteur symbolique WASM jouet. Il illustre les articles suivants : Partie 1 - Introduction Partie 2 - Écriture d'un interpréteur concret - parcourir le code à ce stade Partie 3 - Écriture d'un interpréteur symbolique - parcourir le code à ce stade Partie 4 -...

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery Via LLM Facts, Datalog, and SMT

Vulnerability discovery on C/C++ source asks the analyst to choose between heavyweight static analysers, which need a working build before a single query runs, and free-form LLMs, which read source readily but invent details and lose track of cross-function dataflow on real codebases. We present...

Using symbolic execution to solve a tiny ASCII maze.

In this post we'll exercise the symbolic execution engine KLEE over a funny ASCII Maze yet another toy example! | VS. | Maze dimensions: 11x7 Player pos: 1x1 Iteration no. 0 Program the player moves with a sequence of 'w', 's', 'a' or 'd' Try to reach the prize! +-+---+---+ |X| || | | --+ | | | |...