:scroll: :mag: A well-designed, well-tested, large scaled Static Program Analyzer that answers SQL-like queries about a program written in a predefined language. App parses input program and extracts facts into the Program Knowledge Base (database). Query Evaluator uses these facts to evaluate query of varying complexity.