| category | breaking |
|---|
MustFlow, the inter-procedural must-flow data flow analysis library, has been re-worked to use parameterized modules. Like in the case of data flow and taint tracking, instead of extending theMustFlowConfigurationclass, the user should now implement a module with theMustFlow::ConfigSigsignature, and instantiate theMustFlow::Globalparameterized module with the implemented module.