The proceedings contain 17 papers from the Fourth ieee international workshop on source code analysis and manipulation. The topics discussed include: using source-codeanalysis to help end-user programmers create depe...
详细信息
ISBN:
(纸本)0769521444
The proceedings contain 17 papers from the Fourth ieee international workshop on source code analysis and manipulation. The topics discussed include: using source-codeanalysis to help end-user programmers create dependable software;software de-pipelining technique;abstracting stack to detect obfuscated calls in binaries;context-sensitivity matters, but context does not;some notes on interprocedural program slicing;formalizing executable dynamic and forward slicing;control flow reversal for adjoint code generation;evolving transformation sequences using genetic algorithm;program restructuring through clustering techniques;amorphous procedure extraction;and mining aspectual views using formal concept analysis.
The proceedings contain 23 papers. The topics discussed include: a case study in detecting software security vulnerabilities using constraint optimization;a hybrid program slicing framework;an object level transformat...
ISBN:
(纸本)0769513875
The proceedings contain 23 papers. The topics discussed include: a case study in detecting software security vulnerabilities using constraint optimization;a hybrid program slicing framework;an object level transformation technique to improve the performance of embedded applications;a source-to-source compiler for generating dependable software;analysis and manipulation of distributed multi-language software code;detecting dead statements for concurrent programs;finding code on the world wide web: a preliminary investigation;identifying clones in the Linux kernel;library transformations;measurement and analysis of runtime profiling data for java programs;and preserving the documentary structure of sourcecode in language-based transformation tools.
The proceedings contain 19 papers. The topics discussed include: transformations for abstractions;forward slices are smaller than backward slices;abstract slicing: a new approach to program slicing based on abstract i...
详细信息
ISBN:
(纸本)0769522920
The proceedings contain 19 papers. The topics discussed include: transformations for abstractions;forward slices are smaller than backward slices;abstract slicing: a new approach to program slicing based on abstract interpretation and model checking;dynamic slicing of java bytecode programs;minimal slicing and the relationships between forms of slicing;fine-grained analysis of change couplings;concept assignment as a debugging technique for code generators;implementation and verification of implicit-invocation systems using source transformation;and specifying transformation sequences as computation on program fragments with an abstract attributed grammar.
The proceedings contain 18 papers. The topics discussed include: parallel support for sourcecodeanalysis and modification;towards measurement of testability of concurrent object-oriented programs using fault inserti...
ISBN:
(纸本)0769517935
The proceedings contain 18 papers. The topics discussed include: parallel support for sourcecodeanalysis and modification;towards measurement of testability of concurrent object-oriented programs using fault insertion: a preliminary investigation;an extensible metrics extraction environment for object-oriented programming languages;evaluating clone detection tools for use during preventative maintenance;a simple mathematically based framework for rule extraction using wide spectrum language;VADA: a transformation-based system for variable dependence analysis;combining source transformation and operator overloading techniques to compute derivatives for MATLAB programs;handling preprocessor-conditioned declarations;dynamic slicing object-oriented programs for debugging;and construction of the system dependence graph for web application slicing.
The proceedings contain 21 papers. The topics discussed include: an overview of the Indus framework for analysis and slicing of concurrent;stop-list slicing;graph-less dynamic dependence-based dynamic slicing algorith...
详细信息
ISBN:
(纸本)0769523536
The proceedings contain 21 papers. The topics discussed include: an overview of the Indus framework for analysis and slicing of concurrent;stop-list slicing;graph-less dynamic dependence-based dynamic slicing algorithms;bug classification using program slicing metrics;characterizing, explaining, and exploiting the approximate nature of static analysis through animation;constructing accurate application call graphs for Java to model library callbacks;data representation alternatives in semantically augmented numerical models;linking analysis and transformation tools with source-based mappings;syntactic identifier conciseness and consistency;and prioritizing software inspection results using static profiling.
The proceedings contain 21 papers. The topics discussed include: online cycle detection and difference propagation for pointer analysis;improving the static analysis of loops by dynamic partitioning techniques;applyin...
详细信息
ISBN:
(纸本)0769520057
The proceedings contain 21 papers. The topics discussed include: online cycle detection and difference propagation for pointer analysis;improving the static analysis of loops by dynamic partitioning techniques;applying Meyer's taxonomy to object-oriented software systems;power law distributions in class relationships;the Java system dependence graph;design of the codeBoost transformation system for domain-specific optimization of C++ programs;managing multi-billion dollar it budgets using sourcecodeanalysis;barrier slicing and chopping;static slicing of reactive programs;design and implementation of bytecode-based java slicing system;inter-procedural static slicing of binary executables;towards managing environment dependence during legacy systems renovation and maintenance;turning dynamic typing into static typing by program specialization in a compiler front-end for octave;and unique renaming of Java using source transformation.
暂无评论