Projects for Future Work

Here is an incomplete list of ideas and projects for extending and improving JDart. If you would like to work on any of the projects or have your own ideas (or just want to contribute to JDart), let us know and we can talk more.

• Add regression test suite
• Add visualization capabilities to JDart. This could be really useful -- especially for program understanding and debugging. It could be as simple as translating the constraints tree to DOT, but it would be a great feature to have more powerful, interactive visualizations, e.g., browser-based with d3, or using Gephi, yEd, jung, prefuse, or jgraph.
• Finish (or re-implement) JConstraints SMTLib interface and experiment with other solvers. dReal is (partly) integrated using this, but it would be interesting to experiment more
• Add more search heuristics and evaluate
• Make support for PathDroid. This would allow JDart to analyze Dalvik bytecode programs
• Work on constraints caching in a similar fashion as Green (or make support for Green)
• Add support for parallel/distributed exploration
• Add support for symbolic data structures. Maybe ala Lazy Initialization
• Improve test suite generation from symbolic analysis. Currently, static target methods are fully supported while instance methods are only partly supported
• General refactoring and code improvement