Methods for enhancing flow analysis

   
   

Methods and structures are described that enhance flow analysis for programs. Whereas previous methods are complicated by the presence of function pointers, the present methods present a framework that abstracts function pointers as if they were any other program expressions so as to allow a desired level of analytical decision within a desired duration of analysis. One aspect of the present invention includes inferring types from a program, forming a type graph from the types, and forming a flow graph from the type graph to inhibit imprecise paths so as to enhance context-sensitivity of flow analysis. The methods may be used in any analysis tools such as code browsers and slicing tools.

Methoden und Strukturen werden beschrieben, die Flußanalyse für Programme erhöhen. Während vorhergehende Methoden durch das Vorhandensein der Funktion Zeiger erschwert werden, stellen die anwesenden Methoden einen Rahmen daß Auszüge Funktion Zeiger dar, als ob sie alle mögliche anderen Programmausdrücke, damit ein gewünschtes Niveau der analytischen Entscheidung innerhalb einer gewünschten Dauer der Analyse zu erlauben waren. Ein Aspekt der anwesenden Erfindung schließt das Schließen der Arten von einem Programm, die Formung einer Art Diagramm von den Arten und die Formung eines Flußdiagramms von der Art Diagramm mit ein, um ungenaue Wege zu hemmen, um Kontext-Empfindlichkeit der Flußanalyse zu erhöhen. Die Methoden können in allen möglichen Analyse Werkzeugen wie Codedatenbanksuchroutinen verwendet werden und Schneidenwerkzeuge.

 
Web www.patentalert.com

< Control for an industrial process using one or more multidimensional variables

< Method and apparatus for converting a lightweight monitor to a heavyweight monitor

> System and process for managing content organized in a tag-delimited template using metadata

> Architecture for denied permissions in Java

~ 00141