๐ Abstract InterpretationSpecificstatic analysis, program semantics, lattice theory, dataflow analysis