Audit Report using Security Tools

contracts/Migrations.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity 0.5.0;
 
 /* solium-disable mixedcase */
 contract Migrations {

contracts/Ownable.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity 0.5.0;
 
 
 /**

contracts/v1/InstaAddress.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity 0.5.0;
 
 
 contract AddressRegistry {

contracts/v1/protocols/InstaKyber.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity 0.5.0;
 
 
 library SafeMath {

contracts/v1/protocols/MakerDAO/InstaMaker.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity 0.5.0;
 
 
 library SafeMath {

contracts/v1/protocols/MakerDAO/PublicCDP.sol

@@ -1,5 +1,5 @@
 // Resolver to Wipe & Coll any CDP
-pragma solidity ^0.5.0;
+pragma solidity 0.5.0;
 
 
 library SafeMath {

contracts/v1/protocols/MakerDAO/uniqueCDP.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity 0.5.0;
 
 
 library SafeMath {

contracts/v2/DAI2ETH.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity 0.5.0;
 
 interface IERC20 {
     function balanceOf(address who) external view returns (uint256);

contracts/v2/InstaBank.sol

@@ -10,7 +10,7 @@
 //// RAVINDRA
 // How can we create a global variable for "loanMaster"?
 
-pragma solidity ^0.5.0;
+pragma solidity 0.5.0;
 
 
 library SafeMath {

contracts/v2/LeverageCDP.sol

@@ -1,4 +1,4 @@
-pragma solidity ^0.5.0;
+pragma solidity 0.5.0;
 
 
 library SafeMath {

truffle.js

@@ -16,6 +16,7 @@ const ropstenProvider = new HDWalletProvider(
 )
 
 module.exports = {
+  plugins: [ "truffle-security" ],
   migrations_directory: './migrations',
   networks: {
     test: {
@@ -40,6 +41,7 @@ module.exports = {
     }
   },
   solc: {
+    version: '0.5.4',
     optimizer: {
       enabled: true,
       runs: 500