One Line Scan integration

Open sim642 opened this issue 2 years ago • 0 comments

https://github.com/awslabs/one-line-scan/ is some kind of helper tool for running various fuzzers and analyzers. For example, they support CBMC and Infer. Looks like it's supposed to make using those tools easier (with one shell command I guess).

Would be good to investigate, what One Line Scan precisely is and how we can integrate Goblint with it. This could improve our visibility (in AWS!).

Nov 28 '23 09:11 sim642