Developing Misti
Prerequisites
Before you begin, please refer to the Getting Started documentation for the required system dependencies.
Cloning the Repository
Clone the Misti repository:
git clone 'https://github.com/nowarp/misti'
Building the Project
Navigate to the project directory, install dependencies, generate necessary files, and build the project:
cd misti && yarn install && yarn gen && yarn build
Running the Analyzer
During development, you can run the analyzer using:
yarn misti
For example, to run it for tests:
yarn misti test/good/never-accessed.tact
Adding Backtraces to the Logger
To add debug traces to all log messages, set the MISTI_TRACE
environment variable to 1
:
export MISTI_TRACE=1
Updating Expected Outputs of Tests
To update the expected outputs of tests, set the BLESS
environment variable and run the tests:
BLESS=1 yarn test
You can also run a single test or update its expected output when working with a specific test file:
BLESS=1 yarn test test/tactIR.spec.ts tests/good/never-accessed.tact
And for another specific test:
BLESS=1 yarn test test/builtinDetectors.spec.ts test/good/branch-duplicate.tact