You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
valhristov
changed the title
Support try-catch-finally statements in Symbolic Execution engine
Add blocks for try-finally statements into CFG, ignoring catch clauses (happy path)
Jun 23, 2017
Currently methods containing try statement are ignored from dataflow analysis completely
The text was updated successfully, but these errors were encountered: