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.

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

S2E/s2e-env#509

#4386