viadee / vPAV

viadee Process Application Validator
https://www.viadee.de/java/process-application-validator
BSD 3-Clause "New" or "Revised" License
48 stars 14 forks source link

Extend current implementation of the Soot framework #76

Closed sdibernardo closed 6 years ago

sdibernardo commented 6 years ago

Based on #67: Extend the current implementation of the Soot framework for scanning process variables to dynamically scan call hierarchies within the "execute" method.

sdibernardo commented 6 years ago

After a quick wrap up about the inner workings of the current state of the analysis, it became clear that the block by block analysis (method body against method body) works fine so far. But to sharpen the analysis, a statement by statement analysis inside of blocks has to be conducted as well.

Next steps:

sdibernardo commented 6 years ago
Phorv01 commented 6 years ago
sdibernardo commented 6 years ago