This repository was archived by the owner on Sep 6, 2023. It is now read-only.
This repository was archived by the owner on Sep 6, 2023. It is now read-only.
Allow configuration of data flow analysis #223
{{ message }}
Currently the data flow analysis provides a conservative approach (intersection operator) to finding data flow anomalies, sometimes leading to false positives. In some cases taking the union would improve the results, thus providing the choice between the meet operators could improve accuracy depending on the scenario.