AFAIK there are at least two KLEE forks with built-in taint analysis: http://repository.cmu.edu/cgi/viewcontent.cgi?article=1242&context=ece&sei-redir=1&referer=https%3A%2F%2Fscholar.google.com%2Fscholar%3Fq%3DKLEE%2B%2522taint%2Banalysis%2522%26btnG%3D%26hl%3Den%26as_sdt%3D0%252C33#search=%22KLEE%20taint%20analysis%22 … and https://cs.famaf.unc.edu.ar/~rcorin/kleecrypto/icics.pdf … : any others?
-
-
thanks for the info Dan!
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.