Code Analyzer

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