Sciweavers

12 search results - page 1 / 3
» Static Analysis for Computing Escapability and Mutability fo...
Sort
View
SCAM
2005
IEEE
13 years 9 months ago
Static Analysis for Computing Escapability and Mutability for Java Components
A common theme in information security is protection of trusted software components against unauthorized access by untrusted users. In the context of distributed object technologi...
Aiwu Shi, Gleb Naumovich
CORR
2010
Springer
180views Education» more  CORR 2010»
13 years 3 months ago
Sawja: Static Analysis Workshop for Java
Abstract. Static analysis is a powerful technique for automatic verification of programs but raises major engineering challenges when developing a full-fledged analyzer for a reali...
Laurent Hubert, Nicolas Barré, Fréd&...
ICSE
2009
IEEE-ACM
14 years 4 months ago
Modular string-sensitive permission analysis with demand-driven precision
In modern software systems, programs are obtained by dynamically assembling components. This has made it necessary to subject component providers to access-control restrictions. W...
Emmanuel Geay, Marco Pistoia, Takaaki Tateishi, Ba...
CASCON
2006
119views Education» more  CASCON 2006»
13 years 5 months ago
Static analysis for dynamic coupling measures
Coupling measures have important applications in software development and maintenance. They are used to reason about the structural complexity of software and have been shown to p...
Yin Liu, Ana Milanova
ICSE
2007
IEEE-ACM
14 years 3 months ago
Exception-Chain Analysis: Revealing Exception Handling Architecture in Java Server Applications
Although it is common in large Java programs to rethrow exceptions, existing exception-flow analyses find only single exceptionflow links, thus are unable to identify multiple-lin...
Chen Fu, Barbara G. Ryder