3688 search results - page 143 / 738 » Static analysis of aspects |
145
Voted
FASE
2007
Springer
16 years 9 days ago
2007
Springer
- Static Analysis and Abstract Interpretation I (Chair: Sophia Drossopulou, room: Multicert) • FASE - Specification (Chair: Marsha Chechik, room: Cisco) • TACAS - Specificati...
159
Voted
COMPSAC
2006
IEEE
16 years 6 days ago
2006
IEEE
There exists a large variety of techniques to detect and correct software security vulnerabilities at the source code level, including human code reviews, testing, and static anal...
156
click to vote
ICTCS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed to study historybased access control. It allows for parametrized security policies with a possibly nested, local scope. To gov...
197
Voted
APSEC
2001
IEEE
15 years 9 months ago
2001
IEEE
Program slicing has been used for efficient program debugging activities. Program slice is computed by analyzing dependence relations between program statements. We can divide dep...
168
Voted
EUROMICRO
2005
IEEE
15 years 11 months ago
2005
IEEE
Code revision of a leading telecom product was performed, combining manual audit and static analysis tools. On average, one exploitable vulnerability was found for every 4000 line...