sys
sys copied to clipboard
PLSysSec
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
In the Readme Run section you use LL files as inputs. Does it support BC and LL files as input? Or only LL? Does it make a difference from performance,...
I tried to use WLLVM to compile a huge program. Then I got a excuteable file , and I used the command 'extract-bc' which was came from WLLVM to get...
Right now, we do thread walking through the function to build paths. This is kind of insane. We should instead have a simple Kildall pass, which will make things a...
On longer block bounds, there are a number of reports related to unentered loops (that can never feasibly be unenetered). Probably makes sense to just optionally ignore things that come...
It also makes sense to do a wllvm compilation of some pieces of the browser and enter all function calls (especially for the uninit memory checker). This will probably lead...
boolector> configure boolector> Configuring boolector-0.0.0.11... boolector> Cabal-simple_mPHDZzAJ_2.4.0.1_ghc-8.6.5: Missing dependency on a foreign boolector> library: boolector> * Missing (or bad) header file: boolector.h boolector> * Missing (or bad) C library: boolector...
