integrate CFG into static analysis - Githubissues

code-philia / microbat

A feedback-based debugger for interactively recommending suspicious step in buggy program execution.

3 stars 2 forks source link

integrate CFG into static analysis #13

Closed HongshuW closed 3 months ago

HongshuW commented 3 months ago

Static Analysis for Definition Inference: (16/06)

If there is a write operation before the first static method invocation => guarantee write
If there is no write operation before the first static method invocation => no guarantee
If there is no write operation or static method invocation => guarantee no write

All control branches have the same status => guarantee write OR guarantee no write Otherwise => no guarantee

Virtual and Special method invocations are expanded and checked.