Skip to content

Commit

Permalink
fix broken links
Browse files Browse the repository at this point in the history
  • Loading branch information
jubnzv committed Aug 27, 2024
1 parent 262fcaa commit 8418609
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
2 changes: 1 addition & 1 deletion CONTRIBUTING.md
Original file line number Diff line number Diff line change
@@ -1 +1 @@
See: https://nowarp.github.io/docs/misti/docs/hacking/contributing
See: https://nowarp.github.io/tools/misti/docs/hacking/contributing
4 changes: 2 additions & 2 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -25,8 +25,8 @@ npx misti test/projects/simple/tactConfig.json
* **Custom Detectors:** Create custom detectors to solve specific problems in your code or to provide a thorough security review if you are an auditor.

## Resources
* [Misti Documentation](https://nowarp.github.io/docs/misti/) provides a detailed overview of the built-in detectors, the architecture of the analyzer, and developer documentation.
* [Misti API Reference](https://nowarp.github.io/docs/misti/api) is useful if you are going to contribute or create your own detectors to streamline your audit.
* [Misti Documentation](https://nowarp.github.io/tools/misti/) provides a detailed overview of the built-in detectors, the architecture of the analyzer, and developer documentation.
* [Misti API Reference](https://nowarp.github.io/tools/misti/api) is useful if you are going to contribute or create your own detectors to streamline your audit.
* [Misti Blueprint Plugin](https://github.com/nowarp/blueprint-misti) is a plugin for the Blueprint Framework that simplifies your workflow with Misti.

## Community
Expand Down

0 comments on commit 8418609

Please sign in to comment.