This repository contains information related to the tool Dangling Reference Checker (DRC) presented at the International Conference on Software Engineering, 2013. The tool was originally presented in this paper.
This repository is not the original repository for this tool. Here are some links to the original project:
In this repository for DRC, you will find:
- โ The original source code for the tool (Commit 2cbd46ed1b9a50eeb517126ba034d78ee885f63b)
- โ A slightly modified version of the source code, Jayant Dhawan got working
This repository was constructed by Jayant Dhawan under the supervision of Emerson Murphy-Hill. Thanks to Hung Hung Viet Nguyen (one of the authors of the tool) for his help in resolving tool dependencies.
This tool has been distributed as a collection of Eclipse plugin projects, that can be imported into Eclipse and built. The repository's root contains the following folders:
- projects: Four Eclipse projects for this tool.
- dependencies: A collection of JAR files - external Eclipse plugins that the above projects depend upon.
Contains the following Eclipse projects:
- Data Model: Symbolic executor for PHP
- Html Partial Parser: Parser for the output of symbolic execution
- Web Entities: Detection of embedded entities and dangling references
- edu.iastate.hungnv.babelref: Eclipse plugin for showing embedded entities and dangling references (provided by edu.iastate.hungnv.babelref.ui.views.ERefEntityView)
Apart from being inter-dependent, the projects also have dependencies on external Eclipse plugins. These plugins that the projects in this repository depend on are provided in the dependencies folder. The recommended way of using the dependencies is copying all files included in the dependencies folder to the plugin folder of your Eclipse install directory. On Linux-based systems, generally, this directory is located at /usr/share/eclipse/plugins
, but it may differ based on your Eclipse installation.
It is important to note here that the dependencies are already listed in the .classpath file in each of the projects. Depending on where you keep the plugins provided in the dependencies folder, changes may be required to the path attributes for the classpathentry in the .classpath files for the projects. This may be done by manually editing the .classpath files, or by using the Build Path -> Configure Build Path options for the Eclipse projects.
Author of tool: Hung Viet Nguyen
Personal website: http://home.engineering.iastate.edu/~hungnv/Personal/index.php