Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

Static code analysis tool for Common Lisp?

I'm busy learning Common Lisp, & I'm looking for a static code analysis tool that will help me develop better style & avoid falling into common traps.

I've found Lisp Critic and I think it looks good, but I was hoping that someone may be able to recommend some other tools, and / or share their experiences with them.

like image 850
Duncan Bayne Avatar asked May 13 '11 05:05

Duncan Bayne


People also ask

Which tool is used for static code analysis?

SonarQube SonarQube is one of the more popular static code analysis tools out there. It is an open-source platform for continuous inspection of code quality and performs automatic reviews via static code analysis. In addition, it can detect and report bugs, code smells, and numerous other security vulnerabilities.

How does static code analysis tool work?

Static analysis, also called static code analysis, is a method of computer program debugging that is done by examining the code without executing the program. The process provides an understanding of the code structure and can help ensure that the code adheres to industry standards.

What is static code analysis in Salesforce?

Static code analysis, or static analysis, is a software verification activity that analyzes source code for quality, reliability, and security without executing the code. Using static analysis, you can identify defects and security vulnerabilities that could compromise the safety and security of your application.


1 Answers

Given the dynamic nature of Lisp, static analysis is everything from tough to impossible, depending on the type of source code.

For some purposes I would recommend using the SBCL compiler. Check out its manual for what features it provides. One feature is some form of type inference. It provides also a lot of standard warnings for things like undeclared variables, type problems, calling functions with the wrong number of args, using undefined functions, violating the ANSI CL standard in various ways and more.

like image 59
Rainer Joswig Avatar answered Oct 22 '22 13:10

Rainer Joswig