There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
π π 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.