JSForce: A Forced Execution Engine for Malicious JavaScript Detection
S3: A Symbolic String Solver for Vulnerability Detection in Web Applications