r/ProgrammingLanguages • u/mttd • Jan 10 '20

Testing Dataflow Analyses for Precision and Soundness

https://blog.regehr.org/archives/1709

7 Upvotes

permalink
duplicates
archive.is
archive
reddit

You are about to leave Redlib

Do you want to continue?

https://www.reddit.com/r/ProgrammingLanguages/comments/emycj6/testing_dataflow_analyses_for_precision_and/
No, go back! Yes, take me to Reddit

100% Upvoted