专利名称：Determining dynamic properties of
programs
发明人：Devanbu, Premkumar Thomas申请号：EP96304928.3申请日：19960703公开号：EP0753814A3公开日：19970129
专利附图：
摘要：Techniques for obtaining information about dynamic properties of a firstprogram (302). The techniques involve making a static analysis (304) of the first program(302) to determine what instrumentation is needed to produce the desired information
and then producing a second program (305) which causes programmable instrumentationapparatus to produce an instrumented version of the first program. The programmableinstrumentation apparatus may be a programmable binary editor (911) or a a debugger(306,704). Execution of the instrumented program provides the information about thedynamic properties. The program for the instrumentation apparatus is produced by asource code analyzer (304,907) which statically analyzes the source code (301,701,903).The source code analyzer is in turn produced by a code analyzer generator. Output fromthe instrumentation may be provided to a graphical display system (706). In one use ofthe techniques, the code analyzer generator not only generates a source code analyzerfor producing the second program, but also a source code analyzer (709) for producing aprogram which when executed by a graphical browser (706) makes a flow graph (705) forthe program. In this case, the graphical browser responds to the output from theexecution environment by altering the appearance of the flow graph.
申请人：AT&T Corp.
地址：32 Avenue of the Americas New York, NY 10013-2412 US
国籍：US
代理机构：Buckley, Christopher Simon Thirsk
更多信息请下载全文后查看
因篇幅问题不能全部显示，请点此查看更多更全内容