Results 221 to 230 of about 640,088 (259)
Some of the next articles are maybe not open access.
IEEE Security and Privacy Magazine, 2004
All software projects are guaranteed to have one artifact in common $source code. Together with architectural risk analysis, code review for security ranks very high on the list of software security best practices. We look at how to automate source-code security analysis with static analysis tools.
Brian Chess, Gary McGraw 0001
openaire +1 more source
All software projects are guaranteed to have one artifact in common $source code. Together with architectural risk analysis, code review for security ranks very high on the list of software security best practices. We look at how to automate source-code security analysis with static analysis tools.
Brian Chess, Gary McGraw 0001
openaire +1 more source
IEEE Security & Privacy Magazine, 2012
As part of this special issue on static analysis, guest editor Brian Chess put together a roundtable discussion with leaders in the field. Here, they discuss their views on where static analysis is today and what's required to make it an effective part of creating secure and reliable software.
Brian Chess +5 more
openaire +1 more source
As part of this special issue on static analysis, guest editor Brian Chess put together a roundtable discussion with leaders in the field. Here, they discuss their views on where static analysis is today and what's required to make it an effective part of creating secure and reliable software.
Brian Chess +5 more
openaire +1 more source
Static analysis of queries as a tool for static optimization
Proceedings 2001 International Database Engineering and Applications Symposium, 2002The paper discusses a special phase, called static analysis, which we use for static query optimization. Static analysis, as a compile-time simulation of run-time query evaluation, enables us to gather all the information that we need to optimize a query.
Jacek Plodzien, Kazimierz Subieta
openaire +1 more source
Static analysis of PostScript code
Proceedings of the 1992 International Conference on Computer Languages, 1993Summary: Stack-based languages, such as PostScript, present a major challenge to static analysis techniques because of their almost unlimited polymorphism. We introduce a regular expression notation that is used to represent allowed combinations of types on the stack at different points in a PostScript program. Our abstract interpretation algorithm may
R. Nigel Horspool, Jan Vitek
openaire +2 more sources
2007
In static analysis, the semantics of the program is expressed as a set of equations. The equations are solved iteratively over some abstract domain. If the abstract domain is distributive and satisfies the ascending-chain condition, an iterative technique yields the most precise solution for the equations.
Denis Gopan, Thomas W. Reps
openaire +1 more source
In static analysis, the semantics of the program is expressed as a set of equations. The equations are solved iteratively over some abstract domain. If the abstract domain is distributive and satisfies the ascending-chain condition, an iterative technique yields the most precise solution for the equations.
Denis Gopan, Thomas W. Reps
openaire +1 more source
Proceedings of the 12th European Workshop on Systems Security, 2019
Recent years have witnessed code reuse techniques being employed to craft entire programs such as Jekyll apps, malware droppers, and persistent data-only rootkits. The increased complexity observed in such payloads calls for specific techniques and tools that can help in their analysis.
D'Elia D. C. +3 more
openaire +2 more sources
Recent years have witnessed code reuse techniques being employed to craft entire programs such as Jekyll apps, malware droppers, and persistent data-only rootkits. The increased complexity observed in such payloads calls for specific techniques and tools that can help in their analysis.
D'Elia D. C. +3 more
openaire +2 more sources
A Static Analysis of Entanglement
Managing quantum variables in quantum programs presents specific challenges due to the possible occurrence of entanglement, the quantum mechanical phenomenon for which two variables can reach a state where they cannot be separated into two distinct individual states.Assolini, Nicola +2 more
openaire +2 more sources
IEEE Software, 2006
Programmers usually employ static checkers, it checks our programs for errors without executing them, in a process called static code analysis. In this way, it works with a program that has an initial indication of correctness (because it compiles) and try to avoid well-known traps and pitfalls before measuring it against its specifications (when it's ...
openaire +1 more source
Programmers usually employ static checkers, it checks our programs for errors without executing them, in a process called static code analysis. In this way, it works with a program that has an initial indication of correctness (because it compiles) and try to avoid well-known traps and pitfalls before measuring it against its specifications (when it's ...
openaire +1 more source
On the Complexity Analysis of Static Analyses
Journal of the ACM, 1999This paper argues that for many algorithms, and static analysis algorithms in particular, bottom-up logic program presentations are clearer and simpler to analyze, for both correctness andcomplexity, than classical pseudo-code presentations. The main technical contribution consists of two theorems which allow, in many cases, the asymptotic running time
openaire +1 more source
Static analysis of Prolog with cut
1993This paper presents a general approach to the Abstract Interpretation of Prolog programs with cut. In most of previous approaches the cut primitive is merely ignored.
FILE' G, ROSSI, Sabina
openaire +3 more sources