search

BlackArch / blackarch

An ArchLinux based distribution for penetration testers and security researchers.
https://www.blackarch.org
Other
2.78k stars 553 forks source link

[Tool request] s2e #2690

Open vdun opened 4 years ago

vdun commented 4 years ago

https://github.com/S2E/s2e

noraj commented 4 years ago

S2E: The Selective Symbolic Execution Platform

S2E is a platform for writing tools that analyze the properties and behavior of software systems. S2E comes as a modular library that gives virtual machines symbolic execution and program analysis capabilities. S2E runs unmodified x86, x86-64, or ARM software stacks, including programs, libraries, the kernel, and drivers. Symbolic execution then automatically explores hundreds of thousands of paths through the system, while analyzers check that the desired properties hold on these paths and selectors focus path exploration on components of interest.

D4imyo commented 3 years ago

while tying to install this tool with make install i faced this issue : Makefile:84: *** "Failed to determine Clang binary to download: Linux distro BlackArch Linux is not supported" from the Makefile at this code block it uses python script to determine the version/stuffix of clang to download , opening the python script it turns out that it only supports debian and ubuntu. so i installed clang with pacman and commented the code block in the Makefile.

i faced another issue at line 210 which tries to download LLVM from https://github.com/llvm/llvm-project/releases/download/llvmorg-10.0.0/ which returns 404. so is there another way to install this tool or we have to use Makefile ? if we do then we gotta do some modifications to Makefile i guess