Results 1 - 2 of 2
"... in my opinion, it ..."(Show Context)
...rmation they store is at the abstract syntax tree level, rather than a level suitable for program analysis. Kodumal discusses a constraint-based toolkit for constructing static analyses called Banshee=-=-=-. It takes advantage of scalable algorithms for CFL-reachability and set constraints. Like bddbddb, users can specify static analyses in a declarative language based on set constraints. Their for...
...se. Inclusion based analyses give the effect of only propagating information in assignments in one direction, and will let us distinguish the different timer list structures from one another. Banshee =-=[16, 17]-=-, a system for building constraint based analyses, has been used to build inclusion based analyses that scale to Linux. This analysis is fieldinsensitive, though; it ignores any distinctions between t...
Developed at and hosted by The College of Information Sciences and Technology
© 2007-2015 The Pennsylvania State University