Knowledge-based program analysis | Synapse