Comments (1)
Unfortunately that is the consequence of being sound with an intraprocedural analysis: whenever you find a cfg call, the whole abstract state has to be set to top since you are not really taking into account what happens inside that cfg. This will be different with different callgraph implementations.
from lisa.
Related Issues (20)
- [FEATURE REQUEST] Allow for separate types for each program
- [FEATURE REQUEST] Implement NumericNonOverflowingMod in Interval domain HOT 1
- [FEATURE REQUEST] Provide field and container information in `AllocationSite`
- [FEATURE REQUEST] Default widening implementation
- [BUG] `Edge.traverse()` should use `satisfies`
- [BUG] `SimpleAbstractState` should use lub when iterating over expressions
- [BUG] Type registering dependency loop
- [FEATURE REQUEST] Reference type simplification
- [BUG] `AnalysisState.isTop()/isBottom()` does not consider expressions
- [FEATURE REQUEST] Restore CFG dumping with no analysis
- [FEATURE REQUEST] Remainder operations
- [FEATURE REQUEST] Augment the set of analysis implemented in `LiSA`
- [BUG] `FunctionalLattice`s empty maps
- [BUG] [13:54] Interval's satisfies method
- [FEATURE REQUEST] Constants in `AbstractClassUnit`
- [FEATURE REQUEST] Support generic types
- [FEATURE REQUEST] Intertwining widening and narrowing
- [FEATURE REQUEST] Chaotic iteration strategies implementation
- [FEATURE REQUEST] Upgrade to java 17
- [FEATURE REQUEST] Basic block implementation + optimizations
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from lisa.