Skip to main content

Select Invariants

Premium Feature

This Select Invariants feature is exclusively available to the Professional and Enterprise plan.

Overview​

The Select Invariants step allows you to choose specific invariants that you want to include in your smart contract security scan. This step is entirely optional, but can be valuable for most advanced users to customize the security scan process.

How It Works​

When You Have Existing Invariants​

If you have already scan a repository at least once, or previously defined invariants for your project:

  1. You'll see a list of all available invariants for each selected contracts
  2. Select the ones you want to include in the analysis
  3. Unselect the invariants that you want to exclud from the security scan

When You Don't Have Invariants​

If you don't have any invariants defined:

  • Don't worry! Our system will automatically generate relevant invariants during the scan
  • These generated invariants will be based on your smart contract's structure and common security patterns
  • You can still proceed with the AuditAgent scan without any manual selection

No Selection Made​

If you don't select any invariants:

  • The system will proceed with generating and using appropriate invariants
  • The generated invariants will be comprehensive and tailored to your contract
Info

This is the recommended approach for most users. Selecting and adding tailored invariants can slightly improve your scan results. But selecting them incorrectly could severely decrease the results quality!

Importance of This Step​

Selecting invariants can be beneficial when you:

  • Have specific security concerns you want to focus on
  • Want to exclude certain invariant checks to save time
  • Have custom invariants that are particularly relevant to your contract
  • Want to prioritize certain types of security checks

However, it's important to note that:

  • This step is completely optional
  • Not selecting any invariants will still result in a thorough security analysis
  • The system's automatic invariant generation is designed to be comprehensive and effective

Select Invariants

Next Steps​

After this step, the system will proceed with the AuditAgent scan using either your selected invariants or automatically generated ones. You can always modify your selections in future scans if needed.

When you are ready, click on the "Scan code" button to initiate the scanning process. Once completed:

  • You'll be redirected to the results page
  • A detailed PDF results report will be sent to your email
info

A scan can take up to a few hours with the Enterprise plan. But you do not need to wait for it to complete. You can simply close the page and wait for the report to be sent by email.