c4-project / c4f

The C4 Concurrent C Fuzzer
MIT License
13 stars 1 forks source link

Use path flags to decide whether to enable storelike dependencies #197

Closed MattWindsor91 closed 4 years ago

MattWindsor91 commented 4 years ago

The question of whether to enable source dependencies on storelike actions is currently handled statically as a flag on the action. Now that we have the ability to use path flags to select this (#196), it would be nice to move towards using them instead.

This would both clean up the storelike API a little, and also prevent non-'dead-code' actions that happen to insert into dead code from triggering dependencies. Win-win.