Inspectable coverage

31 security checks for AI-generated code

Browse every deterministic CodeCordon rule, what it detects, and the remediation it recommends. Coverage is explicit so a scan result can be judged against the checks that actually ran.

No account required. Public repositories only. Preview links expire after 24 hours.

AI/LLM Security

4 checks

Authentication

5 checks

Authorization

1 checks

Configuration

5 checks

Injection

7 checks

criticalINJ001

SQL query built with string interpolation

A SQL statement is constructed by interpolating or concatenating variables directly into the query string. If any of those values come from user input, this is a textbook SQL injection.

criticalINJ002

Shell command built from dynamic input

A shell command is executed with interpolated variables (exec/execSync/spawn with shell, os.system, subprocess with shell=True). If input is user-controlled, an attacker can run arbitrary commands on the server.

highINJ003

Dynamic code execution (eval / new Function / exec)

Code is executed from a runtime-constructed string. Combined with any user-influenced input this is remote code execution; even without it, it defeats CSP and static analysis.

highINJ004

Filesystem path built from request input

A file path is constructed from request parameters (req.params/query/body or route params) and passed to filesystem APIs. Attackers can use ../ sequences to read or write files outside the intended directory.

criticalLANG001

SQL query built dynamically in native application code

A SQL statement is constructed with language interpolation or concatenation. If the inserted value is user-controlled, the query is vulnerable to SQL injection.

criticalLANG002

Shell command receives dynamic input

A native process or shell API is called with a dynamically constructed command. Untrusted input can escape the intended command and execute arbitrary code.

highLANG005

Untrusted data passed to unsafe deserialization

A native object deserializer is used on request-controlled data. Several of these formats can instantiate dangerous classes or execute gadget chains.

Secrets

4 checks

Web Security

5 checks

This library describes known-pattern static checks, not exhaustive vulnerability coverage. A clean result cannot prove an application is secure, and every finding still needs review in its code context.