2673 search results - page 85 / 535 » Guided Static Analysis |
TLDI
2009
ACM
15 years 9 months ago
2009
ACM
For many object-oriented systems, it is often useful to have a runtime architecture that shows networks of communicating objects. But it is hard to statically extract runtime obje...
113
Voted
TAPSOFT
1995
Springer
15 years 4 months ago
1995
Springer
Starting from the process algebra for Concurrent ML we develop two program analyses that facilitate the intelligent placement of processes on processors. Both analyses are obtaine...
90
Voted
USS
2004
15 years 2 months ago
2004
Disassembly is the process of recovering a symbolic representation of a program's machine code instructions from its binary representation. Recently, a number of techniques h...
134
Voted
CORR
2006
Springer
15 years 25 days ago
2006
Springer
Static software checking tools are useful as an additional automated software inspection step that can easily be integrated in the development cycle and assist in creating secure,...
85
Voted
ICCD
2004
IEEE
15 years 9 months ago
2004
IEEE
We selectively generate and optimize the frames constructed by the rePLay architecture statically. Since static analysis provides a global view of the interaction between the basi...