semantic-analysis

Understand code meaning — ASTs, call/flow graphs, structural search, taint basics, refactor safety.