SCAM C

24 papers

YearTitle / Authors
20011st IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2001), 10 November 2001, Florence, Italy
2001A Case Study in Detecting Software Security Vulnerabilities Using Constraint Optimization.
Michael Weber, Viren Shah, Chris Ren
2001A Hybrid Program Slicing Framework.
Juergen Rilling, Bhaskar Karanth
2001A Source-to-Source Compiler for Generating Dependable Software.
Maurizio Rebaudengo, Matteo Sonza Reorda, Massimo Violante, Marco Torchiano
2001An Object Level Transformation Technique to Improve the Performance of Embedded Applications.
Sandro Bartolini, Cosimo Antonio Prete
2001Analysis and Manipulation of Distributed Multi-Language Software Code.
Laurent Deruelle, Nordine Melab, Mourad Bouneffa, Henri Basson
2001Application Maintenance Using Software Agents.
Amit Sharma, Miriam A. M. Capretz
2001Detecting Dead Statements for Concurrent Programs.
Zhenqiang Chen, Baowen Xu, Hongji Yang
2001Finding Code on the World Wibe Web: A Preliminary Investigation.
James M. Bieman, Vanessa Murdock
2001Flow Insensitive Points-To Sets.
Paul Anderson, David W. Binkley, Genevieve Rosay, Tim Teitelbaum
2001Identifying Clones in the Linux Kernel.
Giuliano Antoniol, Umberto Villano, Massimiliano Di Penta, Gerardo Casazza, Ettore Merlo
2001Jmangler-A Framework for Load-Time Transformation of Java Class Files.
Günter Kniesel, Pascal Costanza, Michael Austermann
2001Library Transformations.
Sibylle Schupp, Douglas P. Gregor, David R. Musser
2001Measurement and Analysis of Runtime Profiling Data for Java Programs.
Jane Horgan, James F. Power, John Waldron
2001Preserving the Documentary Structure of Source Code in Language-Based Transformation Tools.
Michael L. Van de Vanter
2001Program Slicing: Methods and Applications.
Andrea De Lucia
2001Restructuring Web Applications via Transformation Rules.
Filippo Ricca, Paolo Tonella, Ira D. Baxter
2001Smell the Coffee! Uncovering Java Analysis Issues.
Claire Knight
2001Software Engineering by Source Transformation-Experience with TXL.
James R. Cordy, Thomas R. Dean, Andrew J. Malton, Kevin A. Schneider
2001Static Slicing and Parametric Polymorphism.
David Byers, Mariam Kamkar
2001The Formal Transformation Approach to Source Code Analysis and Manipulation.
Martin P. Ward
2001Type Infeasible Call Chains.
Amie L. Souter, Lori L. Pollock
2001Using Automated Source Code Analysis for Software Evolution.
Liz Burd, Stephen Rank
2001Using Data Flow Analysis to Infer Type Information in Java Bytecode.
Paolo Maggi, Riccardo Sisto