Skip to content

Kmax Tool Suite v3.0
Compare
Choose a tag to compare
@paulgazz paulgazz released this 02 Jul 21:17
· 395 commits to master since this release
v3.0
1bba85c

Version 3.0 version introduces a new tool, kismet, as well as several updates, fixes, and features. Here is an overview of the changes/additions:

  • The kismet tool and documentation. kismet finds unmet dependency bugs in Kconfig files using static analysis based on kclause's logical model of Kconfig files.

  • There is a listing of Kconfig unmet dependency bugs found by kismet so far as well as a replication script for experiments with it.

  • There are several fixes to the kclause tool, including support for the handling of non-Boolean option visibility which greatly improved kismet precision when generating configuration files.

  • klocalizer now has the ability to check for and download already-generated kclause formula caches to quickly boostrap configuration localization.

  • klocalizer can now take arbitrary z3 constraints, which used by kismet for proving verification conditions.

  • There is new kextractor python module for more recent version of the Kconfig parser.

  • The repository now supports using python 3.8.

  • The tooling has been refactored and has common Kconfig and Linux source handling code in libraries.

Assets 2
Loading