Static Analysis

PhD Thesis: Dependence Communities in Source Code

June 8, 2014 - 11:15

Example Backward Slice GraphDependence between components in natural systems is a well studied phenomenon in the form of biological and social networks. The concept of community structure arises from the analysis of social networks and has successfully been applied to complex networks in other fields such as biology, physics and computing. We provide empirical evidence that dependence between statements in source cod

Static Source Code Analysis Tools and their Application to the Detection of Plagiarism in Java Programs

July 10, 2008 - 18:11

This project develops a system for detecting plagiarism in sets of student assignments written in Java. Plagiarism is viewed as a form of code obfuscation where students deliberately perform semantics preserving transformations of an original working version to pass it of as their own. In order to detect such obfuscations we assume we have a set of programs in which we attempt to find transformations that have been applied. We investigate tools for static analysis and transformation of Java programs to build a system for plagiarism detection.

Subscribe to Static Analysis