You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: Lancaster University » Outputs » Detail

Output details

11 - Computer Science and Informatics

Lancaster University

Return to search Previous output Next output

Output 0 of 0 in the submission

Output title

Taming reflection: aiding static analysis in the presence of reflection and custom class loaders

Type

E - Conference contribution

DOI

10.1145/1985793.1985827

Name of conference/published proceedings

Proceedings of the 33rd International Conference on Software Engineering (ICSE '11)

Volume number

Issue number

First page of article

241

ISSN of proceedings

Year of publication

2011

URL

http://dl.acm.org/citation.cfm?doid=1985793.1985827

Number of additional authors

Additional information

<07> The first approach to enable existing static analysis tools to deliver sound results for software that uses reflection and dynamic class-loading: Existing analyses ignore these features and are unsound for most realistic programs. The proposal is novel in its combination of dynamic analysis to log information on the usage of problematic features and program transformation to weave that information into the program, before it is passed to a static analyser. The work was published in the leading software engineering conference (ICSE), acceptance rate 14% in 2011. The paper is frequently cited, whereby most of the citations build upon the work.

Interdisciplinary

Cross-referral requested

Research group

None

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract