The Knowledge-Centric Software Lab builds many tools on top of the program analysis platform Atlas, which is maintained and developed by EnSoft. There is a close working relationship between ISU’s Knowledge-Centric Software Lab and EnSoft’s Atlas team.

Atlas maps software to graph databases as program artifacts and relations between them. The database can be queried and the results can be visualized interactively through an interpreter, or programs embedded with Atlas APIs can be written to create custom tools. Atlas is free for open source and academic use. Check out a brief demo of Atlas from our ICSE 2014 paper.

Bibtex:

@inproceedings{Deering:2014:ANW:2591062.2591065,
author = {Deering, Tom and Kothari, Suresh and Sauceda, Jeremias and Mathews, Jon},
title = {Atlas: A New Way to Explore Software, Build Analysis Tools},
booktitle = {Companion Proceedings of the 36th International Conference on Software Engineering},
series = {ICSE Companion 2014},
year = {2014},
isbn = {978-1-4503-2768-8},
location = {Hyderabad, India},
pages = {588--591},
numpages = {4},
url = {http://doi.acm.org/10.1145/2591062.2591065},
doi = {10.1145/2591062.2591065},
acmid = {2591065},
publisher = {ACM},
address = {New York, NY, USA},
keywords = {Analysis platform, Human-in-the-loop, Static analysis},
}