phasar icon indicating copy to clipboard operation
phasar copied to clipboard

Published 20 hours ago • verified publisher icon secure-software-engineering

Implement a Full-constant Propagation for the InterMonoSolver

Open pdschubert opened this issue 5 years ago • 2 comments

Implement a full-constant propagation using the inter-procedural monotone problem such that it can be solved by the InterMonoSolver. The analysis has to be field-sensitive (k-limited) and must make use of points-to information.

Teaser: this analysis will be one of the analyses that is to be used to evaluate the correctness of the incremental/INC strategy implementation.

pdschubert avatar Feb 17 '20 09:02 pdschubert

Hey Linus, I will upload some template files (including unit tests) for the analysis that you can fill.

pdschubert avatar Feb 19 '20 06:02 pdschubert

Please fork your feature branch from development.

pdschubert avatar Feb 19 '20 12:02 pdschubert