Description: 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 set of eyes to help spot problems.