diff --git a/Makefile b/Makefile
index 7dc7ca29..c94fe25f 100644
--- a/Makefile
+++ b/Makefile
@@ -155,35 +155,35 @@ test_hh_calibnet:
 
 security_account_api:
 	myth analyze contracts/v0.8/AccountAPI.sol --execution-timeout 300 --solv 0.8.18 --solc-json mythril.solc.json
-	myth analyze contracts/v0.8/tests/account.test.sol --execution-timeout 300 --solv 0.8.18
+	myth analyze contracts/v0.8/tests/account.test.sol --execution-timeout 300 --solv 0.8.18 --solc-json mythril.solc.json 
 
 security_market_api:
-	myth analyze contracts/v0.8/MarketAPI.sol --execution-timeout 300
-	myth analyze contracts/v0.8/tests/market.test.sol --execution-timeout 300
+	myth analyze contracts/v0.8/MarketAPI.sol --execution-timeout 300 --solv 0.8.18 --solc-json mythril.solc.json
+	myth analyze contracts/v0.8/tests/market.test.sol --execution-timeout 300 --solv 0.8.18 --solc-json mythril.solc.json
 
 security_miner_api:
-	myth analyze contracts/v0.8/MinerAPI.sol --execution-timeout 300
-	myth analyze contracts/v0.8/tests/miner.test.sol --execution-timeout 300
+	myth analyze contracts/v0.8/MinerAPI.sol --execution-timeout 300 --solv 0.8.18 --solc-json mythril.solc.json
+	myth analyze contracts/v0.8/tests/miner.test.sol --execution-timeout 300 --solv 0.8.18 --solc-json mythril.solc.json
 
 security_verifreg_api:
-	myth analyze contracts/v0.8/VerifRegAPI.sol --execution-timeout 300
-	myth analyze contracts/v0.8/tests/verifreg.test.sol --execution-timeout 300
+	myth analyze contracts/v0.8/VerifRegAPI.sol --execution-timeout 300 --solv 0.8.18 --solc-json mythril.solc.json
+	myth analyze contracts/v0.8/tests/verifreg.test.sol --execution-timeout 300 --solv 0.8.18 --solc-json mythril.solc.json
 
 security_power_api:
-	myth analyze contracts/v0.8/PowerAPI.sol --execution-timeout 300
-	myth analyze contracts/v0.8/tests/power.test.sol --execution-timeout 300
+	myth analyze contracts/v0.8/PowerAPI.sol --execution-timeout 300 --solv 0.8.18 --solc-json mythril.solc.json
+	myth analyze contracts/v0.8/tests/power.test.sol --execution-timeout 300 --solv 0.8.18 --solc-json mythril.solc.json
 
 security_datacap_api:
-	myth analyze contracts/v0.8/DataCapAPI.sol --execution-timeout 300
-	myth analyze contracts/v0.8/tests/datacap.test.sol --execution-timeout 300
+	myth analyze contracts/v0.8/DataCapAPI.sol --execution-timeout 300 --solv 0.8.18 --solc-json mythril.solc.json
+	myth analyze contracts/v0.8/tests/datacap.test.sol --execution-timeout 300 --solv 0.8.18 --solc-json mythril.solc.json
 
 security_send_api:
-	myth analyze contracts/v0.8/SendAPI.sol --execution-timeout 300
-	myth analyze contracts/v0.8/tests/send.test.sol --execution-timeout 300
+	myth analyze contracts/v0.8/SendAPI.sol --execution-timeout 300 --solv 0.8.18 --solc-json mythril.solc.json
+	myth analyze contracts/v0.8/tests/send.test.sol --execution-timeout 300 --solv 0.8.18 --solc-json mythril.solc.json
 
 security_precompiles_api:
-	myth analyze contracts/v0.8/PrecompilesAPI.sol --execution-timeout 300
-	myth analyze contracts/v0.8/tests/precompiles.test.sol --execution-timeout 300
+	myth analyze contracts/v0.8/PrecompilesAPI.sol --execution-timeout 300 --solv 0.8.18 --solc-json mythril.solc.json
+	myth analyze contracts/v0.8/tests/precompiles.test.sol --execution-timeout 300 --solv 0.8.18 --solc-json mythril.solc.json
 
 ################ DEPS ################
 
diff --git a/README.md b/README.md
index 6480e514..e1dca717 100644
--- a/README.md
+++ b/README.md
@@ -168,5 +168,6 @@ _**Information for `filecoin-solidity` lib developers is contained in [./lib-dev
  
  
  
+ 
  
  
diff --git a/mythril.solc.json b/mythril.solc.json
index 8c8fdf97..6943c8a4 100644
--- a/mythril.solc.json
+++ b/mythril.solc.json
@@ -1,3 +1,7 @@
 {
-    "remappings": [ "solidity-cborutils/contracts/=node_modules/solidity-cborutils/contracts/"]
+    "remappings": [ 
+        "solidity-cborutils/contracts/=node_modules/solidity-cborutils/contracts/", 
+        "@ensdomains/buffer/contracts/=node_modules/@ensdomains/buffer/contracts"
+    ]
+
 }
\ No newline at end of file