Threads info and UAF checker info

PLSysSec / sys

Sys: A Static/Symbolic Tool for Finding Good Bugs in Good (Browser) Code

https://cseweb.ucsd.edu/~dstefan/pubs/brown:2020:sys.pdf

GNU General Public License v2.0

215 stars 41 forks source link

Threads info and UAF checker info #22

Closed marcinguy closed 3 years ago

marcinguy commented 3 years ago

Added UAF Check info to Readme.MD and Threads and LLVM Bitcode info.

marcinguy commented 3 years ago

This PR is to document my tests to fix the OOM issue. Added some changes to process files in 2 files batch (I think it works, new to Haskell)

Want to see on which file, function it OOMs .... actually a cool feature would be to make a timeout in thread and when one file takes too long, it could be skipped.

This can be totally wrong, as my other ideas.

Just playing with it around.

marcinguy commented 3 years ago

Kind of solved with a script that restarts job after it was OOMed ... it knows where to start since processed files were renamed to (*.ll.done). Will see how it works ...

deian commented 3 years ago

@marcinguy it's awesome that you're playing with Sys! Keep it up! But please be mindful that we get emails and notifications about issues, PRs, and even every push and comment to a PR. So let's keep PRs to pull requests (where e.g. we review the code/docs to an issues) please.