Reviser: Efficiently Updating IDE-/IFDS-Based Data-Flow Analyses in Response to Incremental Program Changes | SPP 1496 - RS3

Reliably Secure Software Systems (RS³) –
DFG Priority Programme 1496

S. Arzt and Bodden, E., “Reviser: Efficiently Updating IDE-/IFDS-Based Data-Flow Analyses in Response to Incremental Program Changes”, in Proceedings of the 36th International Conference on Software Engineering (ICSE 2014), 2014.