Dominik Helm
Dominik Helm
Triggered analyses are executed whenever the first property is computed for an entity/propertykey pair. If properties are pre-set in the property store, triggered analyses are also executed on the respective...
We already have a points-to framework that produces results that can be used for alias analysis. Other options might include a simple intra-procedural alias analysis from def-use information and an...
Taken from Bitbucket#174 >The config file specifies the analyses to be run in the integration test. However, it seems to be insufficient to maintain on framework changes. I'd suggest to...
There is a conceptual problem in our handling of incompatible values and suppression. While the PropertyStore ensures that no updates are propagated for incompatible results, the initial apply that retrieves...
Within FPCF, bottom is the "worst" value, or most imprecise value, and top is the best/most precise one. E.g. for a call graph, bottom is the set of all edges,...
Taken from Bitbucket#176: In the current escape analysis, more than 90% of all entities are flagged with AtMost(...) (which is currently equivalent to GlobalEscape), because they were stored into arrays...
Taken from Bitbucket#177
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,...
Taken from Bitbucket#166 >TACode currently only supports reference equality which leads to an exception in the property store in debug mode when no TACAI analysis is scheduled and the fallback...
Taken from Bitbucket#157 > Can we do something about the following issue (from the ASE paper): "In contrast to Benton and Fischer, we treat methods reading the receiver's mutable state...