Skip to content

Commit 0963243

Browse files
committed
Fix Wake resource link
1 parent 76aeaa1 commit 0963243

4 files changed

Lines changed: 7 additions & 5 deletions

File tree

.github/workflows/links.yml

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,8 @@
11
name: Link Check
22

33
on:
4+
push:
5+
branches: [main]
46
pull_request:
57
schedule:
68
- cron: '0 6 * * 1'

docs/resources/analysis-methods.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,7 @@ confirms exploitability.
1717
| [Semgrep](https://semgrep.dev/) | Use in real audits | Custom rules for Solidity, TypeScript, APIs, CI, and offchain code. |
1818
| [Solhint](https://github.com/protofire/solhint) | Use in real audits | Solidity linting and lightweight policy checks. |
1919
| [Mythril](https://github.com/ConsenSysDiligence/mythril) | Situational / advanced | Bytecode-level symbolic analysis and bug hunting. |
20-
| [Wake](https://ackeeblockchain.com/wake/) | Watchlist | Python-based Solidity testing and analysis framework. |
20+
| [Wake](https://github.com/Ackee-Blockchain/wake) | Watchlist | Python-based Solidity testing and analysis framework. |
2121

2222
## Dynamic Analysis and Debugging
2323

@@ -44,7 +44,7 @@ transitions.
4444
| [Echidna](https://github.com/crytic/echidna) | Use in real audits | Property-based Solidity fuzzing. |
4545
| [Medusa](https://github.com/crytic/medusa) | Use in real audits | High-performance stateful EVM fuzzing. |
4646
| [ItyFuzz](https://github.com/fuzzland/ityfuzz) | Situational / advanced | Snapshot-based smart contract fuzzing and exploit generation research. |
47-
| [Wake](https://ackeeblockchain.com/wake/) | Watchlist | Python-driven tests, fuzzing, and Solidity analysis. |
47+
| [Wake](https://github.com/Ackee-Blockchain/wake) | Watchlist | Python-driven tests, fuzzing, and Solidity analysis. |
4848

4949
## Symbolic Execution and Formal Verification
5050

docs/resources/index.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -73,7 +73,7 @@ practical security value, maintenance, accessibility, and reputation.
7373
| Resource | Category | Track | Note |
7474
| --- | --- | --- | --- |
7575
| [AIxCC](https://aicyberchallenge.com/) | AI security | AI-assisted | Watch for program-analysis lessons that transfer to audits. |
76-
| [Wake](https://ackeeblockchain.com/wake/) | Testing | EVM | Growing Python-based Solidity testing and analysis framework. |
76+
| [Wake](https://github.com/Ackee-Blockchain/wake) | Testing | EVM | Growing Python-based Solidity testing and analysis framework. |
7777
| [GoPlus Security](https://gopluslabs.io/) | User protection | Full-stack | Transaction and token risk APIs for wallet/app defenses. |
7878
| [Blockaid](https://www.blockaid.io/) | User protection | Full-stack | Wallet and dapp threat detection. |
7979
| [Hypernative](https://www.hypernative.io/) | Monitoring | Protocol | Real-time risk and exploit detection platform. |

docs/resources/tools.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -22,7 +22,7 @@
2222
| [Manticore](https://github.com/trailofbits/manticore) | Situational / advanced | Symbolic execution platform. |
2323
| [Semgrep](https://semgrep.dev/) | Use in real audits | Custom source-code rules for frontends, APIs, and Solidity patterns. |
2424
| [Solhint](https://github.com/protofire/solhint) | Use in real audits | Solidity linting and style/security rules. |
25-
| [Wake](https://ackeeblockchain.com/wake/) | Watchlist | Python-based Solidity testing and static analysis framework. |
25+
| [Wake](https://github.com/Ackee-Blockchain/wake) | Watchlist | Python-based Solidity testing and static analysis framework. |
2626

2727
## Dynamic Analysis and Debugging
2828

@@ -41,7 +41,7 @@
4141
| [Echidna](https://github.com/crytic/echidna) | Use in real audits | Property-based fuzzing. |
4242
| [Medusa](https://github.com/crytic/medusa) | Use in real audits | Stateful EVM fuzzing. |
4343
| [ItyFuzz](https://github.com/fuzzland/ityfuzz) | Situational / advanced | Snapshot-based fuzzing and exploit-generation research. |
44-
| [Wake](https://ackeeblockchain.com/wake/) | Watchlist | Python-driven Solidity tests, fuzzing, and analysis. |
44+
| [Wake](https://github.com/Ackee-Blockchain/wake) | Watchlist | Python-driven Solidity tests, fuzzing, and analysis. |
4545

4646
## Formal Methods and Symbolic Execution
4747

0 commit comments

Comments
 (0)