Filters








14,154 Hits in 6.5 sec

Applications of a graph grammar for program control flow analysis

Ken Kennedy, Linda Zucconi
1977 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '77  
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

Christian Kirkegaard, Anders Møller
2006 BRICS Report Series  
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

Christian Kirkegaard, Anders Møller
2006 BRICS Report Series  
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]

Christian Kirkegaard, Anders Møller
2006 Lecture Notes in Computer Science  
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

Sherri Sparks, Shawn Embleton, Ryan Cunningham, Cliff Zou
2007 Proceedings of the Computer Security Applications Conference  
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

Sherri Sparks, Shawn Embleton, Ryan Cunningham, Cliff Zou
2007 Twenty-Third Annual Computer Security Applications Conference (ACSAC 2007)  
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]

G. Engels, W. Schäfer
1985 Lecture Notes in Computer Science  
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

Linda Mary Wills
1990 Artificial Intelligence  
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]

Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach
2003 Lecture Notes in Computer Science  
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

Aske Simon Christensen, Anders Møller, Michael I. Schwartzbach
2003 BRICS Report Series  
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

Saumya K. Debray, Todd A. Proebsting
1997 ACM Transactions on Programming Languages and Systems  
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]

Javier Esparza
2002 Lecture Notes in Computer Science  
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

Adenilso S. Simao, Auri M. R. Vincenzi, Antonio C. L. Santana, Jose C. Maldonado
2018 CLEI Electronic Journal  
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

Anders Møller
2006 BRICS Report Series  
<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

Anders Møller
2008 BRICS Report Series  
</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