move-language / move

Apache License 2.0
2.25k stars 679 forks source link

[prover] fix reporting for escape analysis #972

Closed sblackshear closed 1 year ago

sblackshear commented 1 year ago

The reporting logic here attempted to suppress warnings in dependencies, but this was a bit too aggressive and ended up suppressing everything. Changing the logic to report all warnings, particularly given that this is an experimental analysis + the "report all" configuration is needed to reproduce the results from the robust safety paper.