Enable automated analysis using Oyente

README.md

@@ -68,7 +68,7 @@ Final output will be written to [docs](docs), which will be automatically publis
 
 #### Misc
 
-Run automated smart contract analysis (*presently disabled*):
+Run automated smart contract analysis (requires [Oyente](https://github.com/melonproject/oyente)):
 
 ```bash
 yarn analyze

scripts/analyze.sh

@@ -1,15 +1,10 @@
 #!/bin/sh
 
-echo 'Warning: at the moment, this script does *not* autodetect new Solidity source files; you must edit it manually to add a new contract.'
-echo 'Script temporarily disabled!'
+yarn flatten
 
-exit 0
+alias oyente="docker run -v $(pwd):/opt luongnguyen/oyente /oyente/oyente/oyente.py"
 
-# this is too buggy, need to update that library or use something else
-
-node node_modules/solidity-static-analysis/analyse.js \
-  -s contracts/token/DelayedReleaseToken.sol \
-  -s contracts/token/UTXORedeemableToken.sol \
-  -s contracts/WyvernToken.sol
-#  -s contracts/dao/DelegatedShareholderAssociation.sol \
-#  -s contracts/WyvernDAO.sol
+for contract in $(ls temp/); do
+  echo "Analyzing $contract..."
+  oyente -s /opt/temp/$contract
+done