Allow Incremental Saturation

margnus1 / swsc

This tool has now merged with nidhugg/nidhugg and will no longer be developed here

GNU General Public License v3.0

0 stars 1 forks source link

Open margnus1 opened 6 years ago

margnus1 commented 6 years ago

Reuse saturation results between queries
For saturation rule 1, we currently miss adding a from-read edge if the target write is added to the graph and the graph saturated before the read is added to the graph.