Prof. Eric Bodden, Ph.D.

Professor for Software Engineering at Heinz Nixdorf Institute, Paderborn University and
Director for Software Engineering and IT Security at Fraunhofer IEM
  • rss
  • Home
  • CV
  • Publications
  • Research
  • Tools
  • Teaching
  • Contact

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

« New paper on Reducing Human Factors in Software Security Architectures JavaScript in Android Apps – An Attack Vector »

rss Comments rss valid xhtml 1.1 design by jide powered by Wordpress get firefox