search

opalj / opal

https://www.opal-project.de
Other
51 stars 26 forks source link

Readme.md for the design decisions for the call graph analyses #10

Open errt opened 3 years ago

errt commented 3 years ago

Taken from Bitbucket#175

During the development of the pluggable call graph framework, we made some design decisions, like direct vs. indirect callees, incomplete callsites, high soundness mode, various callees properties, the handling of the thread api (mark callers as vm reachable but callees as incomplete). Framework users should have a starting point to get an overview about these decisions.

bhermann commented 1 month ago

Should be done in the new knowledgebase repo.