Shashank Srikant

Source code corresponding to a Location or CFG node

2

Is it possible currently to retrieve the line or snippet of source code (which will be a string) corresponding to a `Location` object? In [`src/base/Location.ml`](https://github.com/facebook/infer/blob/master/infer/src/base/Location.ml), i see that each location...

Tweet thread listing similar opportunities for US undergrads

1

Great iniative, Himanshu. I recently came across this tweet which lists other resources (primarily for US undergrads) -- https://twitter.com/neubadah/status/1353812419911540738 Something to consider perhaps. I've curated a similar page on my...

What's the quickest/easiest way to run Oyente on a file containing multiple contracts, and viewing reports for every contract that appears in the file. Currently, Oyente produces just one consolidated...