Productive Development of Dynamic Program Analysis Tools with DiSL

2013 22nd Australian Software Engineering Conference ◽

10.1109/aswec.2013.12 ◽

2013 ◽

Author(s):

Aibek Sarimbekov ◽

Yudi Zheng ◽

Danilo Ansaloni ◽

Lubomir Bulej ◽

Luka Marek ◽

...

Keyword(s):

Program Analysis ◽

Dynamic Program ◽

Analysis Tools ◽

Dynamic Program Analysis ◽

Productive Development

Download Full-text

Enabling Modularity and Re-use in Dynamic Program Analysis Tools for the Java Virtual Machine

ECOOP 2013 – Object-Oriented Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-39038-8_15 ◽

2013 ◽

pp. 352-377 ◽

Author(s):

Danilo Ansaloni ◽

Stephen Kell ◽

Yudi Zheng ◽

Lubomír Bulej ◽

Walter Binder ◽

...

Keyword(s):

Virtual Machine ◽

Program Analysis ◽

Dynamic Program ◽

Java Virtual Machine ◽

Analysis Tools ◽

Dynamic Program Analysis

Download Full-text

Dynamic Program Analysis Tools in GCC and CLANG Compilers

Programming and Computer Software ◽

10.1134/s0361768820010089 ◽

2020 ◽

Vol 46 (4) ◽

pp. 281-296

Author(s):

N. I. V’yukova ◽

V. A. Galatenko ◽

S. V. Samborskii

Keyword(s):

Program Analysis ◽

Dynamic Program ◽

Analysis Tools ◽

Dynamic Program Analysis

Download Full-text

Generating dynamic program analysis tools

Proceedings of Australian Software Engineering Conference ASWEC 97 ◽

10.1109/aswec.1997.623768 ◽

2002 ◽

Author(s):

A.M. Sloane

Keyword(s):

Program Analysis ◽

Dynamic Program ◽

Analysis Tools ◽

Dynamic Program Analysis

Download Full-text

EviHunter: Identifying digital forensic artifacts in android devices via static and dynamic program analysis

10.31274/etd-20210114-25 ◽

2020 ◽

Author(s):

Chao-Chun Cheng

Keyword(s):

Program Analysis ◽

Dynamic Program ◽

Digital Forensic ◽

Dynamic Program Analysis ◽

Forensic Artifacts

Download Full-text

Java Bytecode Instrumentation Made Easy: The DiSL Framework for Dynamic Program Analysis

Programming Languages and Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-642-35182-2_18 ◽

2012 ◽

pp. 256-263 ◽

Author(s):

Lukáš Marek ◽

Yudi Zheng ◽

Danilo Ansaloni ◽

Aibek Sarimbekov ◽

Walter Binder ◽

...

Keyword(s):

Program Analysis ◽

Dynamic Program ◽

Java Bytecode ◽

Dynamic Program Analysis ◽

Bytecode Instrumentation

Download Full-text

Self-refining aspects for dynamic program analysis

Proceedings of the tenth international conference on Aspect-oriented software development companion - AOSD '11 ◽

10.1145/1960314.1960342 ◽

2011 ◽

Author(s):

Danilo Ansaloni

Keyword(s):

Program Analysis ◽

Dynamic Program ◽

Dynamic Program Analysis

Download Full-text

A randomized dynamic program analysis technique for detecting real deadlocks

Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation - PLDI '09 ◽

10.1145/1542476.1542489 ◽

2009 ◽

Author(s):

Pallavi Joshi ◽

Chang-Seo Park ◽

Koushik Sen ◽

Mayur Naik

Keyword(s):

Program Analysis ◽

Dynamic Program ◽

Analysis Technique ◽

Dynamic Program Analysis

Download Full-text

Custom full-coverage dynamic program analysis for Android

Companion Proceedings of the 2015 ACM SIGPLAN International Conference on Systems, Programming, Languages and Applications: Software for Humanity - SPLASH Companion 2015 ◽

10.1145/2814189.2814190 ◽

2015 ◽

Author(s):

Haiyang Sun ◽

Yudi Zheng ◽

Lubomír Bulej ◽

Walter Binder ◽

Stephen Kell

Keyword(s):

Program Analysis ◽

Dynamic Program ◽

Full Coverage ◽

Dynamic Program Analysis

Download Full-text

Towards a domain-specific aspect language for dynamic program analysis

Proceedings of the sixth annual workshop on Domain-specific aspect languages - DSAL '11 ◽

10.1145/1960496.1960500 ◽

2011 ◽

Author(s):

Walter Binder ◽

Philippe Moret ◽

Danilo Ansaloni ◽

Aibek Sarimbekov ◽

Akira Yokokawa ◽

...

Keyword(s):

Program Analysis ◽

Specific Aspect ◽

Dynamic Program ◽

Domain Specific ◽

Dynamic Program Analysis

Download Full-text

Bridging Static and Dynamic Program Analysis using Fuzzy Logic

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.250.7 ◽

2017 ◽

Vol 250 ◽

pp. 111-126

Author(s):

Jacob Lidman ◽

Josef Svenningsson

Keyword(s):

Fuzzy Logic ◽

Program Analysis ◽

Dynamic Program ◽

Dynamic Program Analysis

Download Full-text