More links fixed

Author: montyly

development-guidelines/workflow.md

@@ -21,9 +21,9 @@ Visually inspect critical security features of your code:
 
 Document critical security properties and use automated test generators to evaluate them:
 
-- [ ] Learn to [document security properties for your code](/program-analysis/). It's tough as first, but it's the single most important activity for achieving a good outcome. It's also a prerequisite for using any of the advanced techniques in this tutorial.
+- [ ] Learn to [document security properties for your code](../program-analysis/). It's tough as first, but it's the single most important activity for achieving a good outcome. It's also a prerequisite for using any of the advanced techniques in this tutorial.
 - [ ] Define security properties in Solidity, for use with [Echidna](https://github.com/crytic/echidna) and [Manticore](https://manticore.readthedocs.io/en/latest/verifier.html). Focus on your state machine, access controls, arithmetic operations, external interactions, and standards conformance.
-- [ ] Define security properties with [Slither's Python API](/program-analysis/slither). Focus on inheritance, variable dependencies, access controls, and other structural issues.
+- [ ] Define security properties with [Slither's Python API](../program-analysis/slither). Focus on inheritance, variable dependencies, access controls, and other structural issues.
 
 Finally, be mindful of issues that automated tools cannot easily find:
 

program-analysis/manticore/exercises/example.md

@@ -1,7 +1,7 @@
 # Example: Arithmetic overflow
 This scenario is given as an example. You can follow its structure to solve the exercises.
 
-[`my_token.py`](example/my_token.py) uses manticore to find for an attacker to generate tokens during a transfer on Token ([my_token.sol](exercises/example/my_token.sol)).
+[`my_token.py`](example/my_token.py) uses manticore to find for an attacker to generate tokens during a transfer on Token ([my_token.sol](example/my_token.sol)).
 
 ## Proposed scenario
 

program-analysis/manticore/exercises/exercise1.md

@@ -25,7 +25,7 @@ Follow the pattern initilization, exploration and property for the script.
 
 - `m.ready_states` returns the list of state alive
 - `Operators.AND(a, b)` allows to create and AND condition
-- You can use the template proposed in [exercise1/template.sol](./exercise1/template.sol)
+- You can use the template proposed in [exercise1/template.py](./exercise1/template.py)
 
 ### Solution
 

program-analysis/manticore/exercises/exercise2.md

@@ -34,7 +34,7 @@ state.platform.transactions[-1].return_data
 data = ABI.deserialize("uint", data)
 ```
 
-- You can use the template proposed in [exercise2/template.sol](./exercise2/template.sol)
+- You can use the template proposed in [exercise2/template.py](./exercise2/template.py)
 
 ### Solution