The JavaScript Verifier. It takes a JavaScript source and scans it. If it finds a problem, it returns a message describing the problem and an approximate location within the source. It does not prove that your program is correct. It just provides another