Loop memory analysis
Regression testing complete; merge improved memory analysis and resulting STATICMEMWRITE annotations useful to the move_globals defense into the master branch.
Regression testing complete; merge improved memory analysis and resulting STATICMEMWRITE annotations useful to the move_globals defense into the master branch.
merged
mentioned in commit 74ea3f48