BugFinder

BugFinder is a scan engine that provides additional rules based on synthesized code analysis. Those advanced rules will help you detect bugs and improve reliability of your IPs. BugFinder embeds Tabby CAD Suite from YosysHQ to synthesize your code.

BugFinder rules are tagged as bug-finder.

Usage

Activate some rules tagged as bug-finder and scan your code with the Linty Scanner.

Debug

Debug information are available in the ./linty/bugfinder/ directory at the root of your project:

• build.tcl is the script that is run to synthesize your code and gather information for BugFinder rules

• The logs directory contains an output.log file that is the output of the synthesis execution and gathering of information for BugFinder rules

• *.json files are data gathered from the synthesized output to feed the Linty bug-finder rules