238 search results - page 23 / 48 » The RoadRunner dynamic analysis framework for concurrent pro... |
CONCUR
2011
Springer
12 years 8 months ago
2011
Springer
The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataflow analysis. U...
CSFW
2010
IEEE
14 years 17 days ago
2010
IEEE
—This paper seeks to answer fundamental questions about trade-offs between static and dynamic security analysis. It has been previously shown that flow-sensitive static informat...
IEEEARES
2009
IEEE
14 years 3 months ago
2009
IEEE
Dynamic taint analysis (DTA) is a technique used for tracking information flow by propagating taint propagation across memory locations during program execution. Most implementat...
ICSE
2001
IEEE-ACM
14 years 1 months ago
2001
IEEE-ACM
Dynamic analysis is based on collecting data as the program runs. However, raw traces tend to be too voluminous and too unstructured to be used directly for visualization and unde...
ICFP
2008
ACM
14 years 8 months ago
2008
ACM
The trend in microprocessor design toward multicore and manycore processors means that future performance gains in software will largely come from harnessing parallelism. To reali...