New paper on automatically updating analysis results

Eric | September 16, 2013

Today Steven Arzt and Eric Bodden are releasing a Technical Report on Reviser, our novel tool for automatically and Efficiently updating IDE-based data-flow analyses in response to incremental program changes. I think the title pretty much speaks for itself. Reviser is available as an open-source extension to Heros. Enjoy!

Cross-posted from SEEBlog

Related Posts

  1. Position Paper: Static Flow-Sensitive & Context-Sensitive Information-flow Analysis for Software Product Lines
  2. Solving inter-procedural data-flow problems with Heros
  3. New Lecture in Fall: Automated Code Analysis for Large Software Systems (ACA)
  4. Inter-procedural Data-flow Analysis with IFDS/IDE and Soot
  5. FlowDroid: Precise Context, Flow, Field, Object-sensitive and Lifecycle-aware Taint Analysis for Android Apps
Categories
Research
Comments rss
Comments rss

« »