Precise Detection of Injection Attacks on Concrete Systems