sys
sys copied to clipboard
PLSysSec
Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code
There was a problem with the installation that I couldn't solve ubuntu:~/sys-M/sys-master$ stack build WARNING: Ignoring adverse's bounds on llvm-hs (>=9.0.1); using llvm-hs-9.0.0. Reason: allow-newer enabled. Building all executables for...
Some bitcode files for firefox generate `Write too large` error. How to reproduce: ``` stack exec -- sys -c uninit -e prod -d firefox_ll_files/vp9_segmentation.ll-O2_p ``` Bitcode is available [here](https://ucsdcloud-my.sharepoint.com/:u:/g/personal/smahar_ucsd_edu/EYym_rAtRfFBlznZmHY2QSMBWFkczfGy6rdf5qvDTV8Umg?e=PQFh8F). And...
Hackage version of llvm-hs doesn't have the fix for #16, this PR directly links to the last successful build of llvm-hs's github `llvm-9` branch. \- Suyash
Sys output ``` Stack uninit bug Name "gmed_n_91" in Name "gmed_n" [UnName 2,UnName 12,UnName 33,UnName 34,UnName 85] "/tmp/test.ll" on line 7 ``` C Code: ``` user@2d2d788ad909:~/src/sys$ cat /tmp/test.c #define NMAX...
What does the "Right" and value mean? If path is possible does it mean the OOB is possible? Or it has to state "attack is possible"? Tried to pinpoint the...
Hi, experiencing some OOM issues while running in Docker on powerful box with 84 GB Ram. ``` [431166.569778] Out of memory: Killed process 3400451 (sys) total-vm:1160377588kB, anon-rss:77285872kB, file-rss:0kB, shmem-rss:0kB, UID:1000...
Hi, More checkers explanations than in Whitepaper (https://cseweb.ucsd.edu/~dstefan/pubs/brown:2020:sys.pdf) & tutorial as well as doc on SysDSL, with examples, would be great. Thanks,