Introduction
A Static Program Analyzer (SPA) is an interactive tool that automatically answers queries about programs. It is the final product of my CS3203 Software Engineering Project. Our team designed and implemented a SPA for a simplified programming language (SIMPLE) with specific query language (PQL). Here is a glimpse of our work.
-
Major contributions:
- System design & API specification
- Designed customized Postfix String Conversion algorithm for design extractor & population
- Program Knowledge Base (PKB) development
- Fast lexical token querying via Indexing and Concurrency (C++ STL threads)
-
DevOp related:
- Extensive unit testing/integration testing (100% line coverage)
- CI/CD management with CMake and Github workflow
- Documentation
Tech & Methodology
- C++ STL threads
- Unit Testing/Integration Testing with Catch
- System Testing
- Github workflow