Vulnerabilities checked by Plutus Testing Tool

Plutus Testing Tool aims at reducing the risk of a vulnerability present in the on-chain code. The vulnerabilities mentioned in this section references the list of vulnerabilities defined by the Certification Working Group at: PR11. We've included the list in this documentation for ease of read but the reader should always refer to the official list of vulnerabilities.

Our tool contributes to the reduction of the risk of:

• Multiple Satisfaction through the automated checks produced by the certification object
• Locked Ada through the automated checks produced by the certification object against a user-defined strategy
• Locked Token through the automated checks produced by the certification object against a user-defined strategy
• Insufficient Test through the requirement of large coverage and the use of a large number of tests done by Property-Based-Testing
• Incorrect Documentation through the use of the contract model which can be seen as a form of documentation
• Insufficient Documentation through the use of the contract model which can be seen as a form of documentation
• Resilience to crash
• Whitelist