사니아: SQL 인젝션에 대한 자동 테스트를 위한 구문 및 의미 분석 | Synapse