2673 search results - page 206 / 535 » Guided Static Analysis |
129
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
Amidst constant innovation in information and communication technologies, a new pattern of work is emerging. Hierarchical authority structures are giving way to greater decision-m...
149
click to vote
ACSAC
2005
IEEE
15 years 10 months ago
2005
IEEE
With the increasing security threats from infrastructure attacks such as worms and distributed denial of service attacks, it is clear that the cooperation among different organiza...
145
click to vote
CSMR
2000
IEEE
15 years 9 months ago
2000
IEEE
Shimba, a prototype reverse engineering environment, has been built to support the understanding of Java software. Shimba uses Rigi and SCED to analyze, visualize, and explore the...
135
click to vote
ICTAC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We design a deadlock-free semantics for a concurrent, functional and imperative programming language where locks are implicitly and univocally associated with pointers. T...
135
click to vote
MSR
2006
ACM
15 years 10 months ago
2006
ACM
Various static analysis tools will analyze a software artifact in order to identify potential defects, such as misused APIs, race conditions and deadlocks, and security vulnerabil...