A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Filters
Applications of a graph grammar for program control flow analysis
1977
Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '77
Preserved Fulltext
Derivation of Spiral Graph
Figure 5. Additional rules for SSFG3
Figure 6. 'ttrib"ted 'SSFG for "Profitability" ...
doi:10.1145/512950.512958
dblp:conf/popl/KennedyZ77
fatcat:zqbv5y2wxjgr7ks6ilpdnvfyta
Static Analysis for Java Servlets and JSP
2006
BRICS Report Series
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
Our approach builds on a collection of program analysis techniques developed earlier in the JWIG and X<small>ACT</small> projects, combined with work on balanced context-free grammars. ...
Together, this provides the necessary foundation concerning reasoning about output streams and application control flow. ...
Acknowledgments We thank Aske Simon Christensen for inspiring discussions about various aspects of the program analysis. ...
doi:10.7146/brics.v13i10.21915
fatcat:z4du4hyrdrektdqlfgog2hutri
Static Analysis for Java Servlets and JSP
2006
BRICS Report Series
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
Our approach builds on a collection of program analysis techniques developed earlier in the JWIG and X<small>ACT</small> projects, combined with work on balanced context-free grammars. ...
Together, this provides the necessary foundation concerning reasoning about output streams and application control flow. ...
Acknowledgments We thank Aske Simon Christensen for inspiring discussions about various aspects of the program analysis. ...
doi:10.7146/brics.v13i8.21914
fatcat:bhhrkdg4t5bbhdpmymavtkdkuq
Static Analysis for Java Servlets and JSP
[chapter]
2006
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf.
Our approach builds on a collection of program analysis techniques developed earlier in the JWIG and Xact projects, combined with work on balanced context-free grammars. ...
Together, this provides the necessary foundation concerning reasoning about output streams and application control flow. ...
Acknowledgments We thank Aske Simon Christensen for inspiring discussions about various aspects of the program analysis. ...
doi:10.1007/11823230_22
fatcat:cjokefgy65a5rmyvvjxgzuem7q
Automated Vulnerability Analysis: Leveraging Control Flow for Evolutionary Input Crafting
2007
Proceedings of the Computer Security Applications Conference
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Our evaluation on a Windows server program shows that this approach is superior to random black box fuzzing for increasing code coverage and depth of penetration into program control flow logic. ...
As a result, the technique may be beneficial to the development of future automated vulnerability analysis tools. ...
is actually a subgraph of the overall program control flow graph. ...
doi:10.1109/acsac.2007.4413013
fatcat:c5wcekqhd5czdfjleoadep2nny
Automated Vulnerability Analysis: Leveraging Control Flow for Evolutionary Input Crafting
2007
Twenty-Third Annual Computer Security Applications Conference (ACSAC 2007)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Our evaluation on a Windows server program shows that this approach is superior to random black box fuzzing for increasing code coverage and depth of penetration into program control flow logic. ...
As a result, the technique may be beneficial to the development of future automated vulnerability analysis tools. ...
is actually a subgraph of the overall program control flow graph. ...
doi:10.1109/acsac.2007.27
dblp:conf/acsac/SparksECZ07
fatcat:g6evh3asanduvb3gsy4phzfgjq
Graph grammar engineering: A method used for the development of an integrated programming support environment
[chapter]
1985
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
We introduce a method to specify the functional behaviour of software tools in an incremental and integrated software development environment. This specification method is based on graph grammars. ...
It is an adequate method to specify the behaviour of all software systems using graphs as internal data structures. ...
Lewerentz for many fruitful discussions. ...
doi:10.1007/3-540-15199-0_12
fatcat:vkyl6i4fwbhczhyfe7su3z5dna
Automated program recognition
1990
Artificial Intelligence
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The control and data flow analysis is performed by a symbolic evaluation of the program. ...
The current research is concerned with the application of the flow graph parser to program recognition. ...
The Attribute Accessors The following forms access attributes of structures within a flow graph. * control-env nodegives the control environment of node. : success-ce split-nodegives the success control ...
doi:10.1016/0004-3702(90)90039-3
fatcat:j6e3r24lp5gmrnof7ttd6nfyiu
Precise Analysis of String Expressions
[chapter]
2003
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
Our analysis constructs flow graphs from class files and generates a context-free grammar with a nonterminal for each string expression. ...
We perform static analysis of Java programs to answer a simple question: which values may occur as results of string expressions? ...
In the case of a monovariant analysis, the flow graph obtained from a Java program is in the worst case quadratic in the size of the program, but for typical programs, the translation is linear. ...
doi:10.1007/3-540-44898-5_1
fatcat:mrdssr5ymnfsvbx5mdevuo6jry
Precise Analysis of String Expressions
2003
BRICS Report Series
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
Our analysis constructs flow graphs from class files and generates a context-free grammar with a nonterminal for each string expression. ...
We perform static analysis of Java programs to answer a simple question: which values may occur as results of string expressions? ...
In the case of a monovariant analysis, the flow graph obtained from a Java program is in the worst case quadratic in the size of the program, but for typical programs, the translation is linear. ...
doi:10.7146/brics.v10i5.21776
fatcat:eea74ztsbzagdjtn4bq3ply5za
Interprocedural control flow analysis of first-order programs with tail-call optimization
1997
ACM Transactions on Programming Languages and Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf.
Suppose that, for code optimization purposes, we want to construct a ow graph for this entire program. ...
To our knowledge, the only other work addressing this issue is that of Lindgren 10], who uses set-based analysis for control ow analysis of Prolog. ...
evident from the call graph of the program. ...
doi:10.1145/262004.262006
fatcat:wnvgtayzbzc7ppjclix3ppsnda
Grammars as Processes
[chapter]
2002
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
derived from this connection has a natural application in the area of program analysis. ...
He would have also liked to see how an abstract result obtained by Büchi in 1964 on regular canonical systems was the basis to new algorithms for the analysis of software. ...
We have argued that PRSs are an excellent interface between strong theoretical results and applications, with program analysis playing a distinguished rôle. Grzegorz, I hope you enjoyed the talk! ...
doi:10.1007/3-540-45711-9_16
fatcat:bccosuy4erbglbpjg43tcj26gy
A Language for the Description of Program Instrumentation and Automatic Generation of Instrumenters
2018
CLEI Electronic Journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We illustrate the main concepts of our proposal with examples describing the instrumentation required in some traditional data flow testing criteria for C language. ...
To promote IDeL's practical use, we also developed a supporting tool, named idelgen, that can be thought of as an application generator, based on the transformational programming paradigm and tailored ...
The topology of the graph reflects the possible flows of control that can occur in an actual execution of the program. The graph nodes represent the relevant components of the program. ...
doi:10.19153/cleiej.6.1.7
fatcat:ujelobejdngq3jtgnndgyb3asa
Static Analysis for Event-Based XML Processing
2006
BRICS Report Series
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
<br /> <br />This paper discusses challenges and presents some considerations for creating program analyses for SAX applications. ...
In particular, we consider the problem of statically guaranteeing that a given SAX application always produces only well-formed and valid XML output. ...
combined with control/data-flow graphs. ...
doi:10.7146/brics.v13i16.21921
fatcat:lyjcnu5zz5hobielem5kjcicfy
Static Analysis for Event-Based XML Processing
2008
BRICS Report Series
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
</p><p>This paper discusses challenges for creating program analyses for SAX applications. ...
We propose an analysis technique based on existing analyses of Servlets, string operations, and XML graphs.</p> ...
combined with control/data-flow graphs. ...
doi:10.7146/brics.v15i1.22181
fatcat:j674obn42je7dozhuf2om7qfsi
« Previous
Showing results 1 — 15 out of 14,154 results