Prof. Eric Bodden, Ph.D.

Professor for Software Engineering at Heinz Nixdorf Institute, Paderborn University and
Director for Software Engineering at Fraunhofer IEM
  • rss
  • Home
  • Research
    • Publications
  • Tools
  • Teaching
  • About me
  • Photos

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 »

Welcome

Welcome to my website. Interested in my research? Click here for details or jump directly to my publications.

Memberships

   

Previous Posts

September 2013
M T W T F S S
« Aug   Oct »
 1
2345678
9101112131415
16171819202122
23242526272829
30  

Tags

Alumni AOP AOSD AspectJ Atlanta Bike Blizzard Bug finding Caro Clara COMP 621 Eclipse FSE Google ISSTA Java LinkedIn Mac McGill Microsoft Montreal NASA Photos Programming Quebec City Race detection Racer Runtime Monitoring Runtime verification RV RWTH Seattle Slides Snow storm Soot Soot Tutorial Static Analysis Strike TamiFlex TA strike Thesis tracematches Typestate Vacation Winter carnival


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