651 search results - page 57 / 131 » Precise Analysis of Java Programs Using JOANA |
125
click to vote
ISSTA
2006
ACM
15 years 8 months ago
2006
ACM
Static analysis has gained much attention over the past few years in applications such as bug finding and program verification. As software becomes more complex and componentize...
102
click to vote
ISSTA
2006
ACM
15 years 8 months ago
2006
ACM
Modern enterprise systems support Role-Based Access Control (RBAC). Although RBAC allows restricting access to privileged operations, a deployer may actually intend to restrict ac...
104
Voted
PPDP
2009
Springer
15 years 9 months ago
2009
Springer
Dividing the heap memory of programs into regions is the starting point of region-based memory management. In our existing work of enabling region-based memory management for Merc...
126
click to vote
LCPC
2007
Springer
15 years 8 months ago
2007
Springer
Binary Decision Diagrams (BDDs) have recently become widely accepted as a space-efficient method of representing relations in points-to analyses. When BDDs are used to represent re...
149
Voted
PASTE
1998
ACM
15 years 6 months ago
1998
ACM
FLAVERS, a tool for verifying properties of concurrent systems, uses composite data flow analysis to incrementally improve the precision of the results of its verifications. Altho...