Static-analysis

以SQL注入为切入点，讲清楚taint analysis怎么工作：标签流动、CFG、不动点、多元体系、隐式控制流边界。