Faster numeric static analyses with unconstrained variable oracles
Sign Up to like & getrecommendations! Published in 2025 at "PeerJ Computer Science"
DOI: 10.7717/peerj-cs.3390
Abstract: In the context of static analysis based on abstract interpretation, we propose a lightweight pre-analysis step which is meant to suggest, at each program point, which program variables are likely to be unconstrained for a… read more here.
Keywords: static analysis; analysis step; numeric static; faster numeric ... See more keywords