API tools faq
paste
Guest User

Untitled

a guest
Apr 24th, 2018
94
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 148.08 KB | None | 0 0
raw download clone embed print report
  1. contract /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
  2. ============ Results ===========
  3. EVM Code Coverage: 97.6%
  4. Parity Multisig Bug 2: False
  5. Callstack Depth Attack Vulnerability: False
  6. Transaction-Ordering Dependence (TOD): True
  7. Timestamp Dependency: False
  8. Re-Entrancy Vulnerability: False
  9. Assertion Failure: False
  10. Flow1
  11. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  12. _target.transfer(this.balance)
  13. Flow2
  14. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  15. _target.transfer(this.balance)
  16. ====== Analysis Completed ======
  17. contract /home/alex/Work/augur-core/source/contracts/Time.sol:Time:
  18. ============ Results ===========
  19. EVM Code Coverage: 97.9%
  20. Parity Multisig Bug 2: False
  21. Callstack Depth Attack Vulnerability: False
  22. Transaction-Ordering Dependence (TOD): True
  23. Timestamp Dependency: False
  24. Re-Entrancy Vulnerability: False
  25. Assertion Failure: False
  26. Flow1
  27. Flow2
  28. ====== Analysis Completed ======
  29. contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
  30. ============ Results ===========
  31. EVM Code Coverage: 98.7%
  32. Parity Multisig Bug 2: False
  33. Callstack Depth Attack Vulnerability: False
  34. Transaction-Ordering Dependence (TOD): False
  35. Timestamp Dependency: False
  36. Re-Entrancy Vulnerability: False
  37. Assertion Failure: False
  38. ====== Analysis Completed ======
  39. contract /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
  40. ============ Results ===========
  41. EVM Code Coverage: 100.0%
  42. Parity Multisig Bug 2: False
  43. Callstack Depth Attack Vulnerability: False
  44. Transaction-Ordering Dependence (TOD): False
  45. Timestamp Dependency: False
  46. Re-Entrancy Vulnerability: False
  47. Assertion Failure: False
  48. ====== Analysis Completed ======
  49. contract /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
  50. ============ Results ===========
  51. EVM Code Coverage: 100.0%
  52. Parity Multisig Bug 2: False
  53. Callstack Depth Attack Vulnerability: False
  54. Transaction-Ordering Dependence (TOD): False
  55. Timestamp Dependency: False
  56. Re-Entrancy Vulnerability: False
  57. Assertion Failure: False
  58. ====== Analysis Completed ======
  59. contract /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
  60. ============ Results ===========
  61. EVM Code Coverage: 97.6%
  62. Parity Multisig Bug 2: False
  63. Callstack Depth Attack Vulnerability: False
  64. Transaction-Ordering Dependence (TOD): True
  65. Timestamp Dependency: False
  66. Re-Entrancy Vulnerability: False
  67. Assertion Failure: False
  68. Flow1
  69. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  70. _target.transfer(this.balance)
  71. Flow2
  72. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  73. _target.transfer(this.balance)
  74. ====== Analysis Completed ======
  75. contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
  76. ============ Results ===========
  77. EVM Code Coverage: 98.7%
  78. Parity Multisig Bug 2: False
  79. Callstack Depth Attack Vulnerability: False
  80. Transaction-Ordering Dependence (TOD): False
  81. Timestamp Dependency: False
  82. Re-Entrancy Vulnerability: False
  83. Assertion Failure: False
  84. ====== Analysis Completed ======
  85. contract /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
  86. ============ Results ===========
  87. EVM Code Coverage: 100.0%
  88. Parity Multisig Bug 2: False
  89. Callstack Depth Attack Vulnerability: False
  90. Transaction-Ordering Dependence (TOD): False
  91. Timestamp Dependency: False
  92. Re-Entrancy Vulnerability: False
  93. Assertion Failure: False
  94. ====== Analysis Completed ======
  95. contract /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
  96. ============ Results ===========
  97. EVM Code Coverage: 100.0%
  98. Parity Multisig Bug 2: False
  99. Callstack Depth Attack Vulnerability: False
  100. Transaction-Ordering Dependence (TOD): False
  101. Timestamp Dependency: False
  102. Re-Entrancy Vulnerability: False
  103. Assertion Failure: False
  104. ====== Analysis Completed ======
  105. contract /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
  106. ============ Results ===========
  107. EVM Code Coverage: 97.6%
  108. Parity Multisig Bug 2: False
  109. Callstack Depth Attack Vulnerability: False
  110. Transaction-Ordering Dependence (TOD): True
  111. Timestamp Dependency: False
  112. Re-Entrancy Vulnerability: False
  113. Assertion Failure: False
  114. Flow1
  115. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  116. _target.transfer(this.balance)
  117. Flow2
  118. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  119. _target.transfer(this.balance)
  120. ====== Analysis Completed ======
  121. contract /home/alex/Work/augur-core/source/contracts/Controller.sol:Controller:
  122. ============ Results ===========
  123. EVM Code Coverage: 99.8%
  124. Parity Multisig Bug 2: False
  125. Callstack Depth Attack Vulnerability: False
  126. Transaction-Ordering Dependence (TOD): False
  127. Timestamp Dependency: False
  128. Re-Entrancy Vulnerability: False
  129. Assertion Failure: False
  130. ====== Analysis Completed ======
  131. contract /home/alex/Work/augur-core/source/contracts/TimeControlled.sol:TimeControlled:
  132. ============ Results ===========
  133. EVM Code Coverage: 96.8%
  134. Parity Multisig Bug 2: False
  135. Callstack Depth Attack Vulnerability: False
  136. Transaction-Ordering Dependence (TOD): True
  137. Timestamp Dependency: False
  138. Re-Entrancy Vulnerability: False
  139. Assertion Failure: False
  140. Flow1
  141. Flow2
  142. ====== Analysis Completed ======
  143. contract /home/alex/Work/augur-core/source/contracts/libraries/ContractExists.sol:ContractExists:
  144. ============ Results ===========
  145. EVM Code Coverage: 100.0%
  146. Parity Multisig Bug 2: False
  147. Callstack Depth Attack Vulnerability: False
  148. Transaction-Ordering Dependence (TOD): False
  149. Timestamp Dependency: False
  150. Re-Entrancy Vulnerability: False
  151. Assertion Failure: False
  152. ====== Analysis Completed ======
  153. contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
  154. ============ Results ===========
  155. EVM Code Coverage: 98.7%
  156. Parity Multisig Bug 2: False
  157. Callstack Depth Attack Vulnerability: False
  158. Transaction-Ordering Dependence (TOD): False
  159. Timestamp Dependency: False
  160. Re-Entrancy Vulnerability: False
  161. Assertion Failure: False
  162. ====== Analysis Completed ======
  163. contract /home/alex/Work/augur-core/source/contracts/libraries/Ownable.sol:Ownable:
  164. ============ Results ===========
  165. EVM Code Coverage: 99.5%
  166. Parity Multisig Bug 2: False
  167. Callstack Depth Attack Vulnerability: False
  168. Transaction-Ordering Dependence (TOD): False
  169. Timestamp Dependency: False
  170. Re-Entrancy Vulnerability: False
  171. Assertion Failure: False
  172. ====== Analysis Completed ======
  173. contract /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
  174. ============ Results ===========
  175. EVM Code Coverage: 100.0%
  176. Parity Multisig Bug 2: False
  177. Callstack Depth Attack Vulnerability: False
  178. Transaction-Ordering Dependence (TOD): False
  179. Timestamp Dependency: False
  180. Re-Entrancy Vulnerability: False
  181. Assertion Failure: False
  182. ====== Analysis Completed ======
  183. contract /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
  184. ============ Results ===========
  185. EVM Code Coverage: 100.0%
  186. Parity Multisig Bug 2: False
  187. Callstack Depth Attack Vulnerability: False
  188. Transaction-Ordering Dependence (TOD): False
  189. Timestamp Dependency: False
  190. Re-Entrancy Vulnerability: False
  191. Assertion Failure: False
  192. ====== Analysis Completed ======
  193. contract /home/alex/Work/augur-core/source/contracts/Augur.sol:Augur:
  194. ============ Results ===========
  195. EVM Code Coverage: 78.3%
  196. Parity Multisig Bug 2: False
  197. Callstack Depth Attack Vulnerability: False
  198. Transaction-Ordering Dependence (TOD): False
  199. Timestamp Dependency: False
  200. Re-Entrancy Vulnerability: False
  201. Assertion Failure: False
  202. ====== Analysis Completed ======
  203. contract /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
  204. ============ Results ===========
  205. EVM Code Coverage: 97.6%
  206. Parity Multisig Bug 2: False
  207. Callstack Depth Attack Vulnerability: False
  208. Transaction-Ordering Dependence (TOD): True
  209. Timestamp Dependency: False
  210. Re-Entrancy Vulnerability: False
  211. Assertion Failure: False
  212. Flow1
  213. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  214. _target.transfer(this.balance)
  215. Flow2
  216. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  217. _target.transfer(this.balance)
  218. ====== Analysis Completed ======
  219. contract /home/alex/Work/augur-core/source/contracts/factories/UniverseFactory.sol:UniverseFactory:
  220. ============ Results ===========
  221. EVM Code Coverage: 21.8%
  222. Parity Multisig Bug 2: False
  223. Callstack Depth Attack Vulnerability: False
  224. Transaction-Ordering Dependence (TOD): False
  225. Timestamp Dependency: False
  226. Re-Entrancy Vulnerability: False
  227. Assertion Failure: False
  228. ====== Analysis Completed ======
  229. contract /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
  230. ============ Results ===========
  231. EVM Code Coverage: 97.8%
  232. Parity Multisig Bug 2: False
  233. Callstack Depth Attack Vulnerability: False
  234. Transaction-Ordering Dependence (TOD): True
  235. Timestamp Dependency: False
  236. Re-Entrancy Vulnerability: False
  237. Assertion Failure: False
  238. Flow1
  239. Flow2
  240. ====== Analysis Completed ======
  241. contract /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:Delegator:
  242. ============ Results ===========
  243. EVM Code Coverage: 97.8%
  244. Parity Multisig Bug 2: False
  245. Callstack Depth Attack Vulnerability: False
  246. Transaction-Ordering Dependence (TOD): True
  247. Timestamp Dependency: False
  248. Re-Entrancy Vulnerability: False
  249. Assertion Failure: False
  250. Flow1
  251. /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
  252. let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
  253. ^
  254. Spanning multiple lines.
  255. Flow2
  256. /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
  257. let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
  258. ^
  259. Spanning multiple lines.
  260. ====== Analysis Completed ======
  261. contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
  262. ============ Results ===========
  263. EVM Code Coverage: 98.7%
  264. Parity Multisig Bug 2: False
  265. Callstack Depth Attack Vulnerability: False
  266. Transaction-Ordering Dependence (TOD): False
  267. Timestamp Dependency: False
  268. Re-Entrancy Vulnerability: False
  269. Assertion Failure: False
  270. ====== Analysis Completed ======
  271. contract /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
  272. ============ Results ===========
  273. EVM Code Coverage: 100.0%
  274. Parity Multisig Bug 2: False
  275. Callstack Depth Attack Vulnerability: False
  276. Transaction-Ordering Dependence (TOD): False
  277. Timestamp Dependency: False
  278. Re-Entrancy Vulnerability: False
  279. Assertion Failure: False
  280. ====== Analysis Completed ======
  281. contract /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
  282. ============ Results ===========
  283. EVM Code Coverage: 100.0%
  284. Parity Multisig Bug 2: False
  285. Callstack Depth Attack Vulnerability: False
  286. Transaction-Ordering Dependence (TOD): False
  287. Timestamp Dependency: False
  288. Re-Entrancy Vulnerability: False
  289. Assertion Failure: False
  290. ====== Analysis Completed ======
  291. contract /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
  292. ============ Results ===========
  293. EVM Code Coverage: 97.6%
  294. Parity Multisig Bug 2: False
  295. Callstack Depth Attack Vulnerability: False
  296. Transaction-Ordering Dependence (TOD): True
  297. Timestamp Dependency: False
  298. Re-Entrancy Vulnerability: False
  299. Assertion Failure: False
  300. Flow1
  301. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  302. _target.transfer(this.balance)
  303. Flow2
  304. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  305. _target.transfer(this.balance)
  306. ====== Analysis Completed ======
  307. contract /home/alex/Work/augur-core/source/contracts/Controller.sol:Controller:
  308. ============ Results ===========
  309. EVM Code Coverage: 99.8%
  310. Parity Multisig Bug 2: False
  311. Callstack Depth Attack Vulnerability: False
  312. Transaction-Ordering Dependence (TOD): False
  313. Timestamp Dependency: False
  314. Re-Entrancy Vulnerability: False
  315. Assertion Failure: False
  316. ====== Analysis Completed ======
  317. contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
  318. ============ Results ===========
  319. EVM Code Coverage: 98.7%
  320. Parity Multisig Bug 2: False
  321. Callstack Depth Attack Vulnerability: False
  322. Transaction-Ordering Dependence (TOD): False
  323. Timestamp Dependency: False
  324. Re-Entrancy Vulnerability: False
  325. Assertion Failure: False
  326. ====== Analysis Completed ======
  327. contract /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
  328. ============ Results ===========
  329. EVM Code Coverage: 100.0%
  330. Parity Multisig Bug 2: False
  331. Callstack Depth Attack Vulnerability: False
  332. Transaction-Ordering Dependence (TOD): False
  333. Timestamp Dependency: False
  334. Re-Entrancy Vulnerability: False
  335. Assertion Failure: False
  336. ====== Analysis Completed ======
  337. contract /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
  338. ============ Results ===========
  339. EVM Code Coverage: 100.0%
  340. Parity Multisig Bug 2: False
  341. Callstack Depth Attack Vulnerability: False
  342. Transaction-Ordering Dependence (TOD): False
  343. Timestamp Dependency: False
  344. Re-Entrancy Vulnerability: False
  345. Assertion Failure: False
  346. ====== Analysis Completed ======
  347. contract /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
  348. ============ Results ===========
  349. EVM Code Coverage: 97.6%
  350. Parity Multisig Bug 2: False
  351. Callstack Depth Attack Vulnerability: False
  352. Transaction-Ordering Dependence (TOD): True
  353. Timestamp Dependency: False
  354. Re-Entrancy Vulnerability: False
  355. Assertion Failure: False
  356. Flow1
  357. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  358. _target.transfer(this.balance)
  359. Flow2
  360. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  361. _target.transfer(this.balance)
  362. ====== Analysis Completed ======
  363. contract /home/alex/Work/augur-core/source/contracts/TestNetReputationToken.sol:TestNetReputationToken:
  364. ============ Results ===========
  365. EVM Code Coverage: 84.2%
  366. Parity Multisig Bug 2: False
  367. Callstack Depth Attack Vulnerability: False
  368. Transaction-Ordering Dependence (TOD): True
  369. Timestamp Dependency: False
  370. Re-Entrancy Vulnerability: False
  371. Assertion Failure: False
  372. Flow1
  373. Flow2
  374. ====== Analysis Completed ======
  375. contract /home/alex/Work/augur-core/source/contracts/libraries/ContractExists.sol:ContractExists:
  376. ============ Results ===========
  377. EVM Code Coverage: 100.0%
  378. Parity Multisig Bug 2: False
  379. Callstack Depth Attack Vulnerability: False
  380. Transaction-Ordering Dependence (TOD): False
  381. Timestamp Dependency: False
  382. Re-Entrancy Vulnerability: False
  383. Assertion Failure: False
  384. ====== Analysis Completed ======
  385. contract /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
  386. ============ Results ===========
  387. EVM Code Coverage: 97.8%
  388. Parity Multisig Bug 2: False
  389. Callstack Depth Attack Vulnerability: False
  390. Transaction-Ordering Dependence (TOD): True
  391. Timestamp Dependency: False
  392. Re-Entrancy Vulnerability: False
  393. Assertion Failure: False
  394. Flow1
  395. Flow2
  396. ====== Analysis Completed ======
  397. contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
  398. ============ Results ===========
  399. EVM Code Coverage: 98.7%
  400. Parity Multisig Bug 2: False
  401. Callstack Depth Attack Vulnerability: False
  402. Transaction-Ordering Dependence (TOD): False
  403. Timestamp Dependency: False
  404. Re-Entrancy Vulnerability: False
  405. Assertion Failure: False
  406. ====== Analysis Completed ======
  407. contract /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
  408. ============ Results ===========
  409. EVM Code Coverage: 100.0%
  410. Parity Multisig Bug 2: False
  411. Callstack Depth Attack Vulnerability: False
  412. Transaction-Ordering Dependence (TOD): False
  413. Timestamp Dependency: False
  414. Re-Entrancy Vulnerability: False
  415. Assertion Failure: False
  416. ====== Analysis Completed ======
  417. contract /home/alex/Work/augur-core/source/contracts/reporting/Reporting.sol:Reporting:
  418. ============ Results ===========
  419. EVM Code Coverage: 100.0%
  420. Parity Multisig Bug 2: False
  421. Callstack Depth Attack Vulnerability: False
  422. Transaction-Ordering Dependence (TOD): False
  423. Timestamp Dependency: False
  424. Re-Entrancy Vulnerability: False
  425. Assertion Failure: False
  426. ====== Analysis Completed ======
  427. contract /home/alex/Work/augur-core/source/contracts/reporting/ReputationToken.sol:ReputationToken:
  428. ============ Results ===========
  429. EVM Code Coverage: 83.3%
  430. Parity Multisig Bug 2: False
  431. Callstack Depth Attack Vulnerability: False
  432. Transaction-Ordering Dependence (TOD): True
  433. Timestamp Dependency: False
  434. Re-Entrancy Vulnerability: False
  435. Assertion Failure: True
  436. Flow1
  437. /home/alex/Work/augur-core/source/contracts/reporting/ReputationToken.sol:49:47: Warning: Transaction-Ordering Dependency.
  438. function initialize(IUniverse _universe) public onlyInGoodTimes beforeIn
  439. Flow2
  440. /home/alex/Work/augur-core/source/contracts/reporting/ReputationToken.sol:49:47: Warning: Transaction-Ordering Dependency.
  441. function initialize(IUniverse _universe) public onlyInGoodTimes beforeIn
  442. /home/alex/Work/augur-core/source/contracts/reporting/ReputationToken.sol:242:33: Warning: Assertion Failure.
  443. ERC20 _legacyRepToken = getLegacyRepToken()
  444. Assertion violates when:
  445. isMigratingFromLegacy = 255
  446. ====== Analysis Completed ======
  447. contract /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
  448. ============ Results ===========
  449. EVM Code Coverage: 100.0%
  450. Parity Multisig Bug 2: False
  451. Callstack Depth Attack Vulnerability: False
  452. Transaction-Ordering Dependence (TOD): False
  453. Timestamp Dependency: False
  454. Re-Entrancy Vulnerability: False
  455. Assertion Failure: False
  456. ====== Analysis Completed ======
  457. contract /home/alex/Work/augur-core/source/contracts/LegacyReputationToken.sol:LegacyReputationToken:
  458. ============ Results ===========
  459. EVM Code Coverage: 99.0%
  460. Parity Multisig Bug 2: False
  461. Callstack Depth Attack Vulnerability: False
  462. Transaction-Ordering Dependence (TOD): False
  463. Timestamp Dependency: False
  464. Re-Entrancy Vulnerability: False
  465. Assertion Failure: False
  466. ====== Analysis Completed ======
  467. contract /home/alex/Work/augur-core/source/contracts/libraries/ContractExists.sol:ContractExists:
  468. ============ Results ===========
  469. EVM Code Coverage: 100.0%
  470. Parity Multisig Bug 2: False
  471. Callstack Depth Attack Vulnerability: False
  472. Transaction-Ordering Dependence (TOD): False
  473. Timestamp Dependency: False
  474. Re-Entrancy Vulnerability: False
  475. Assertion Failure: False
  476. ====== Analysis Completed ======
  477. contract /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
  478. ============ Results ===========
  479. EVM Code Coverage: 100.0%
  480. Parity Multisig Bug 2: False
  481. Callstack Depth Attack Vulnerability: False
  482. Transaction-Ordering Dependence (TOD): False
  483. Timestamp Dependency: False
  484. Re-Entrancy Vulnerability: False
  485. Assertion Failure: False
  486. ====== Analysis Completed ======
  487. contract /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
  488. ============ Results ===========
  489. EVM Code Coverage: 97.6%
  490. Parity Multisig Bug 2: False
  491. Callstack Depth Attack Vulnerability: False
  492. Transaction-Ordering Dependence (TOD): True
  493. Timestamp Dependency: False
  494. Re-Entrancy Vulnerability: False
  495. Assertion Failure: False
  496. Flow1
  497. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  498. _target.transfer(this.balance)
  499. Flow2
  500. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  501. _target.transfer(this.balance)
  502. ====== Analysis Completed ======
  503. contract /home/alex/Work/augur-core/source/contracts/factories/MailboxFactory.sol:MailboxFactory:
  504. ============ Results ===========
  505. EVM Code Coverage: 20.1%
  506. Parity Multisig Bug 2: False
  507. Callstack Depth Attack Vulnerability: False
  508. Transaction-Ordering Dependence (TOD): False
  509. Timestamp Dependency: False
  510. Re-Entrancy Vulnerability: False
  511. Assertion Failure: False
  512. ====== Analysis Completed ======
  513. contract /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
  514. ============ Results ===========
  515. EVM Code Coverage: 97.8%
  516. Parity Multisig Bug 2: False
  517. Callstack Depth Attack Vulnerability: False
  518. Transaction-Ordering Dependence (TOD): True
  519. Timestamp Dependency: False
  520. Re-Entrancy Vulnerability: False
  521. Assertion Failure: False
  522. Flow1
  523. Flow2
  524. ====== Analysis Completed ======
  525. contract /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:Delegator:
  526. ============ Results ===========
  527. EVM Code Coverage: 97.8%
  528. Parity Multisig Bug 2: False
  529. Callstack Depth Attack Vulnerability: False
  530. Transaction-Ordering Dependence (TOD): True
  531. Timestamp Dependency: False
  532. Re-Entrancy Vulnerability: False
  533. Assertion Failure: False
  534. Flow1
  535. /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
  536. let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
  537. ^
  538. Spanning multiple lines.
  539. Flow2
  540. /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
  541. let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
  542. ^
  543. Spanning multiple lines.
  544. ====== Analysis Completed ======
  545. contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
  546. ============ Results ===========
  547. EVM Code Coverage: 98.7%
  548. Parity Multisig Bug 2: False
  549. Callstack Depth Attack Vulnerability: False
  550. Transaction-Ordering Dependence (TOD): False
  551. Timestamp Dependency: False
  552. Re-Entrancy Vulnerability: False
  553. Assertion Failure: False
  554. ====== Analysis Completed ======
  555. contract /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
  556. ============ Results ===========
  557. EVM Code Coverage: 100.0%
  558. Parity Multisig Bug 2: False
  559. Callstack Depth Attack Vulnerability: False
  560. Transaction-Ordering Dependence (TOD): False
  561. Timestamp Dependency: False
  562. Re-Entrancy Vulnerability: False
  563. Assertion Failure: False
  564. ====== Analysis Completed ======
  565. contract /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
  566. ============ Results ===========
  567. EVM Code Coverage: 100.0%
  568. Parity Multisig Bug 2: False
  569. Callstack Depth Attack Vulnerability: False
  570. Transaction-Ordering Dependence (TOD): False
  571. Timestamp Dependency: False
  572. Re-Entrancy Vulnerability: False
  573. Assertion Failure: False
  574. ====== Analysis Completed ======
  575. contract /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
  576. ============ Results ===========
  577. EVM Code Coverage: 97.6%
  578. Parity Multisig Bug 2: False
  579. Callstack Depth Attack Vulnerability: False
  580. Transaction-Ordering Dependence (TOD): True
  581. Timestamp Dependency: False
  582. Re-Entrancy Vulnerability: False
  583. Assertion Failure: False
  584. Flow1
  585. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  586. _target.transfer(this.balance)
  587. Flow2
  588. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  589. _target.transfer(this.balance)
  590. ====== Analysis Completed ======
  591. contract /home/alex/Work/augur-core/source/contracts/factories/FeeTokenFactory.sol:FeeTokenFactory:
  592. ============ Results ===========
  593. EVM Code Coverage: 20.1%
  594. Parity Multisig Bug 2: False
  595. Callstack Depth Attack Vulnerability: False
  596. Transaction-Ordering Dependence (TOD): False
  597. Timestamp Dependency: False
  598. Re-Entrancy Vulnerability: False
  599. Assertion Failure: False
  600. ====== Analysis Completed ======
  601. contract /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
  602. ============ Results ===========
  603. EVM Code Coverage: 97.8%
  604. Parity Multisig Bug 2: False
  605. Callstack Depth Attack Vulnerability: False
  606. Transaction-Ordering Dependence (TOD): True
  607. Timestamp Dependency: False
  608. Re-Entrancy Vulnerability: False
  609. Assertion Failure: False
  610. Flow1
  611. Flow2
  612. ====== Analysis Completed ======
  613. contract /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:Delegator:
  614. ============ Results ===========
  615. EVM Code Coverage: 97.8%
  616. Parity Multisig Bug 2: False
  617. Callstack Depth Attack Vulnerability: False
  618. Transaction-Ordering Dependence (TOD): True
  619. Timestamp Dependency: False
  620. Re-Entrancy Vulnerability: False
  621. Assertion Failure: False
  622. Flow1
  623. /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
  624. let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
  625. ^
  626. Spanning multiple lines.
  627. Flow2
  628. /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
  629. let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
  630. ^
  631. Spanning multiple lines.
  632. ====== Analysis Completed ======
  633. contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
  634. ============ Results ===========
  635. EVM Code Coverage: 98.7%
  636. Parity Multisig Bug 2: False
  637. Callstack Depth Attack Vulnerability: False
  638. Transaction-Ordering Dependence (TOD): False
  639. Timestamp Dependency: False
  640. Re-Entrancy Vulnerability: False
  641. Assertion Failure: False
  642. ====== Analysis Completed ======
  643. contract /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
  644. ============ Results ===========
  645. EVM Code Coverage: 100.0%
  646. Parity Multisig Bug 2: False
  647. Callstack Depth Attack Vulnerability: False
  648. Transaction-Ordering Dependence (TOD): False
  649. Timestamp Dependency: False
  650. Re-Entrancy Vulnerability: False
  651. Assertion Failure: False
  652. ====== Analysis Completed ======
  653. contract /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
  654. ============ Results ===========
  655. EVM Code Coverage: 100.0%
  656. Parity Multisig Bug 2: False
  657. Callstack Depth Attack Vulnerability: False
  658. Transaction-Ordering Dependence (TOD): False
  659. Timestamp Dependency: False
  660. Re-Entrancy Vulnerability: False
  661. Assertion Failure: False
  662. ====== Analysis Completed ======
  663. contract /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
  664. ============ Results ===========
  665. EVM Code Coverage: 97.6%
  666. Parity Multisig Bug 2: False
  667. Callstack Depth Attack Vulnerability: False
  668. Transaction-Ordering Dependence (TOD): True
  669. Timestamp Dependency: False
  670. Re-Entrancy Vulnerability: False
  671. Assertion Failure: False
  672. Flow1
  673. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  674. _target.transfer(this.balance)
  675. Flow2
  676. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  677. _target.transfer(this.balance)
  678. ====== Analysis Completed ======
  679. contract /home/alex/Work/augur-core/source/contracts/factories/FeeWindowFactory.sol:FeeWindowFactory:
  680. ============ Results ===========
  681. EVM Code Coverage: 21.2%
  682. Parity Multisig Bug 2: False
  683. Callstack Depth Attack Vulnerability: False
  684. Transaction-Ordering Dependence (TOD): False
  685. Timestamp Dependency: False
  686. Re-Entrancy Vulnerability: False
  687. Assertion Failure: False
  688. ====== Analysis Completed ======
  689. contract /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
  690. ============ Results ===========
  691. EVM Code Coverage: 97.8%
  692. Parity Multisig Bug 2: False
  693. Callstack Depth Attack Vulnerability: False
  694. Transaction-Ordering Dependence (TOD): True
  695. Timestamp Dependency: False
  696. Re-Entrancy Vulnerability: False
  697. Assertion Failure: False
  698. Flow1
  699. Flow2
  700. ====== Analysis Completed ======
  701. contract /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:Delegator:
  702. ============ Results ===========
  703. EVM Code Coverage: 97.8%
  704. Parity Multisig Bug 2: False
  705. Callstack Depth Attack Vulnerability: False
  706. Transaction-Ordering Dependence (TOD): True
  707. Timestamp Dependency: False
  708. Re-Entrancy Vulnerability: False
  709. Assertion Failure: False
  710. Flow1
  711. /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
  712. let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
  713. ^
  714. Spanning multiple lines.
  715. Flow2
  716. /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
  717. let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
  718. ^
  719. Spanning multiple lines.
  720. ====== Analysis Completed ======
  721. contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
  722. ============ Results ===========
  723. EVM Code Coverage: 98.7%
  724. Parity Multisig Bug 2: False
  725. Callstack Depth Attack Vulnerability: False
  726. Transaction-Ordering Dependence (TOD): False
  727. Timestamp Dependency: False
  728. Re-Entrancy Vulnerability: False
  729. Assertion Failure: False
  730. ====== Analysis Completed ======
  731. contract /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
  732. ============ Results ===========
  733. EVM Code Coverage: 100.0%
  734. Parity Multisig Bug 2: False
  735. Callstack Depth Attack Vulnerability: False
  736. Transaction-Ordering Dependence (TOD): False
  737. Timestamp Dependency: False
  738. Re-Entrancy Vulnerability: False
  739. Assertion Failure: False
  740. ====== Analysis Completed ======
  741. contract /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
  742. ============ Results ===========
  743. EVM Code Coverage: 100.0%
  744. Parity Multisig Bug 2: False
  745. Callstack Depth Attack Vulnerability: False
  746. Transaction-Ordering Dependence (TOD): False
  747. Timestamp Dependency: False
  748. Re-Entrancy Vulnerability: False
  749. Assertion Failure: False
  750. ====== Analysis Completed ======
  751. contract /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
  752. ============ Results ===========
  753. EVM Code Coverage: 97.6%
  754. Parity Multisig Bug 2: False
  755. Callstack Depth Attack Vulnerability: False
  756. Transaction-Ordering Dependence (TOD): True
  757. Timestamp Dependency: False
  758. Re-Entrancy Vulnerability: False
  759. Assertion Failure: False
  760. Flow1
  761. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  762. _target.transfer(this.balance)
  763. Flow2
  764. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  765. _target.transfer(this.balance)
  766. ====== Analysis Completed ======
  767. contract /home/alex/Work/augur-core/source/contracts/factories/UniverseFactory.sol:UniverseFactory:
  768. ============ Results ===========
  769. EVM Code Coverage: 21.8%
  770. Parity Multisig Bug 2: False
  771. Callstack Depth Attack Vulnerability: False
  772. Transaction-Ordering Dependence (TOD): False
  773. Timestamp Dependency: False
  774. Re-Entrancy Vulnerability: False
  775. Assertion Failure: False
  776. ====== Analysis Completed ======
  777. contract /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
  778. ============ Results ===========
  779. EVM Code Coverage: 97.8%
  780. Parity Multisig Bug 2: False
  781. Callstack Depth Attack Vulnerability: False
  782. Transaction-Ordering Dependence (TOD): True
  783. Timestamp Dependency: False
  784. Re-Entrancy Vulnerability: False
  785. Assertion Failure: False
  786. Flow1
  787. Flow2
  788. ====== Analysis Completed ======
  789. contract /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:Delegator:
  790. ============ Results ===========
  791. EVM Code Coverage: 97.8%
  792. Parity Multisig Bug 2: False
  793. Callstack Depth Attack Vulnerability: False
  794. Transaction-Ordering Dependence (TOD): True
  795. Timestamp Dependency: False
  796. Re-Entrancy Vulnerability: False
  797. Assertion Failure: False
  798. Flow1
  799. /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
  800. let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
  801. ^
  802. Spanning multiple lines.
  803. Flow2
  804. /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
  805. let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
  806. ^
  807. Spanning multiple lines.
  808. ====== Analysis Completed ======
  809. contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
  810. ============ Results ===========
  811. EVM Code Coverage: 98.7%
  812. Parity Multisig Bug 2: False
  813. Callstack Depth Attack Vulnerability: False
  814. Transaction-Ordering Dependence (TOD): False
  815. Timestamp Dependency: False
  816. Re-Entrancy Vulnerability: False
  817. Assertion Failure: False
  818. ====== Analysis Completed ======
  819. contract /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
  820. ============ Results ===========
  821. EVM Code Coverage: 100.0%
  822. Parity Multisig Bug 2: False
  823. Callstack Depth Attack Vulnerability: False
  824. Transaction-Ordering Dependence (TOD): False
  825. Timestamp Dependency: False
  826. Re-Entrancy Vulnerability: False
  827. Assertion Failure: False
  828. ====== Analysis Completed ======
  829. contract /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
  830. ============ Results ===========
  831. EVM Code Coverage: 100.0%
  832. Parity Multisig Bug 2: False
  833. Callstack Depth Attack Vulnerability: False
  834. Transaction-Ordering Dependence (TOD): False
  835. Timestamp Dependency: False
  836. Re-Entrancy Vulnerability: False
  837. Assertion Failure: False
  838. ====== Analysis Completed ======
  839. contract /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
  840. ============ Results ===========
  841. EVM Code Coverage: 97.6%
  842. Parity Multisig Bug 2: False
  843. Callstack Depth Attack Vulnerability: False
  844. Transaction-Ordering Dependence (TOD): True
  845. Timestamp Dependency: False
  846. Re-Entrancy Vulnerability: False
  847. Assertion Failure: False
  848. Flow1
  849. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  850. _target.transfer(this.balance)
  851. Flow2
  852. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  853. _target.transfer(this.balance)
  854. ====== Analysis Completed ======
  855. contract /home/alex/Work/augur-core/source/contracts/factories/ReputationTokenFactory.sol:ReputationTokenFactory:
  856. ============ Results ===========
  857. EVM Code Coverage: 20.1%
  858. Parity Multisig Bug 2: False
  859. Callstack Depth Attack Vulnerability: False
  860. Transaction-Ordering Dependence (TOD): False
  861. Timestamp Dependency: False
  862. Re-Entrancy Vulnerability: False
  863. Assertion Failure: False
  864. ====== Analysis Completed ======
  865. contract /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
  866. ============ Results ===========
  867. EVM Code Coverage: 97.8%
  868. Parity Multisig Bug 2: False
  869. Callstack Depth Attack Vulnerability: False
  870. Transaction-Ordering Dependence (TOD): True
  871. Timestamp Dependency: False
  872. Re-Entrancy Vulnerability: False
  873. Assertion Failure: False
  874. Flow1
  875. Flow2
  876. ====== Analysis Completed ======
  877. contract /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:Delegator:
  878. ============ Results ===========
  879. EVM Code Coverage: 97.8%
  880. Parity Multisig Bug 2: False
  881. Callstack Depth Attack Vulnerability: False
  882. Transaction-Ordering Dependence (TOD): True
  883. Timestamp Dependency: False
  884. Re-Entrancy Vulnerability: False
  885. Assertion Failure: False
  886. Flow1
  887. /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
  888. let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
  889. ^
  890. Spanning multiple lines.
  891. Flow2
  892. /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
  893. let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
  894. ^
  895. Spanning multiple lines.
  896. ====== Analysis Completed ======
  897. contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
  898. ============ Results ===========
  899. EVM Code Coverage: 98.7%
  900. Parity Multisig Bug 2: False
  901. Callstack Depth Attack Vulnerability: False
  902. Transaction-Ordering Dependence (TOD): False
  903. Timestamp Dependency: False
  904. Re-Entrancy Vulnerability: False
  905. Assertion Failure: False
  906. ====== Analysis Completed ======
  907. contract /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
  908. ============ Results ===========
  909. EVM Code Coverage: 100.0%
  910. Parity Multisig Bug 2: False
  911. Callstack Depth Attack Vulnerability: False
  912. Transaction-Ordering Dependence (TOD): False
  913. Timestamp Dependency: False
  914. Re-Entrancy Vulnerability: False
  915. Assertion Failure: False
  916. ====== Analysis Completed ======
  917. contract /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
  918. ============ Results ===========
  919. EVM Code Coverage: 100.0%
  920. Parity Multisig Bug 2: False
  921. Callstack Depth Attack Vulnerability: False
  922. Transaction-Ordering Dependence (TOD): False
  923. Timestamp Dependency: False
  924. Re-Entrancy Vulnerability: False
  925. Assertion Failure: False
  926. ====== Analysis Completed ======
  927. contract /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
  928. ============ Results ===========
  929. EVM Code Coverage: 97.6%
  930. Parity Multisig Bug 2: False
  931. Callstack Depth Attack Vulnerability: False
  932. Transaction-Ordering Dependence (TOD): True
  933. Timestamp Dependency: False
  934. Re-Entrancy Vulnerability: False
  935. Assertion Failure: False
  936. Flow1
  937. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  938. _target.transfer(this.balance)
  939. Flow2
  940. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  941. _target.transfer(this.balance)
  942. ====== Analysis Completed ======
  943. contract /home/alex/Work/augur-core/source/contracts/factories/MapFactory.sol:MapFactory:
  944. ============ Results ===========
  945. EVM Code Coverage: 20.1%
  946. Parity Multisig Bug 2: False
  947. Callstack Depth Attack Vulnerability: False
  948. Transaction-Ordering Dependence (TOD): False
  949. Timestamp Dependency: False
  950. Re-Entrancy Vulnerability: False
  951. Assertion Failure: False
  952. ====== Analysis Completed ======
  953. contract /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
  954. ============ Results ===========
  955. EVM Code Coverage: 97.8%
  956. Parity Multisig Bug 2: False
  957. Callstack Depth Attack Vulnerability: False
  958. Transaction-Ordering Dependence (TOD): True
  959. Timestamp Dependency: False
  960. Re-Entrancy Vulnerability: False
  961. Assertion Failure: False
  962. Flow1
  963. Flow2
  964. ====== Analysis Completed ======
  965. contract /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:Delegator:
  966. ============ Results ===========
  967. EVM Code Coverage: 97.8%
  968. Parity Multisig Bug 2: False
  969. Callstack Depth Attack Vulnerability: False
  970. Transaction-Ordering Dependence (TOD): True
  971. Timestamp Dependency: False
  972. Re-Entrancy Vulnerability: False
  973. Assertion Failure: False
  974. Flow1
  975. /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
  976. let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
  977. ^
  978. Spanning multiple lines.
  979. Flow2
  980. /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
  981. let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
  982. ^
  983. Spanning multiple lines.
  984. ====== Analysis Completed ======
  985. contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
  986. ============ Results ===========
  987. EVM Code Coverage: 98.7%
  988. Parity Multisig Bug 2: False
  989. Callstack Depth Attack Vulnerability: False
  990. Transaction-Ordering Dependence (TOD): False
  991. Timestamp Dependency: False
  992. Re-Entrancy Vulnerability: False
  993. Assertion Failure: False
  994. ====== Analysis Completed ======
  995. contract /home/alex/Work/augur-core/source/contracts/libraries/Ownable.sol:Ownable:
  996. ============ Results ===========
  997. EVM Code Coverage: 99.5%
  998. Parity Multisig Bug 2: False
  999. Callstack Depth Attack Vulnerability: False
  1000. Transaction-Ordering Dependence (TOD): False
  1001. Timestamp Dependency: False
  1002. Re-Entrancy Vulnerability: False
  1003. Assertion Failure: False
  1004. ====== Analysis Completed ======
  1005. contract /home/alex/Work/augur-core/source/contracts/libraries/collections/Map.sol:Map:
  1006. ============ Results ===========
  1007. EVM Code Coverage: 99.1%
  1008. Parity Multisig Bug 2: False
  1009. Callstack Depth Attack Vulnerability: False
  1010. Transaction-Ordering Dependence (TOD): True
  1011. Timestamp Dependency: False
  1012. Re-Entrancy Vulnerability: False
  1013. Assertion Failure: False
  1014. Flow1
  1015. /home/alex/Work/augur-core/source/contracts/libraries/collections/Map.sol:51:2: Warning: Transaction-Ordering Dependency.
  1016. function getAsAddressOrZero
  1017. Flow2
  1018. /home/alex/Work/augur-core/source/contracts/libraries/collections/Map.sol:51:2: Warning: Transaction-Ordering Dependency.
  1019. function getAsAddressOrZero
  1020. ====== Analysis Completed ======
  1021. contract /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
  1022. ============ Results ===========
  1023. EVM Code Coverage: 100.0%
  1024. Parity Multisig Bug 2: False
  1025. Callstack Depth Attack Vulnerability: False
  1026. Transaction-Ordering Dependence (TOD): False
  1027. Timestamp Dependency: False
  1028. Re-Entrancy Vulnerability: False
  1029. Assertion Failure: False
  1030. ====== Analysis Completed ======
  1031. contract /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
  1032. ============ Results ===========
  1033. EVM Code Coverage: 100.0%
  1034. Parity Multisig Bug 2: False
  1035. Callstack Depth Attack Vulnerability: False
  1036. Transaction-Ordering Dependence (TOD): False
  1037. Timestamp Dependency: False
  1038. Re-Entrancy Vulnerability: False
  1039. Assertion Failure: False
  1040. ====== Analysis Completed ======
  1041. contract /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
  1042. ============ Results ===========
  1043. EVM Code Coverage: 97.6%
  1044. Parity Multisig Bug 2: False
  1045. Callstack Depth Attack Vulnerability: False
  1046. Transaction-Ordering Dependence (TOD): True
  1047. Timestamp Dependency: False
  1048. Re-Entrancy Vulnerability: False
  1049. Assertion Failure: False
  1050. Flow1
  1051. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  1052. _target.transfer(this.balance)
  1053. Flow2
  1054. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  1055. _target.transfer(this.balance)
  1056. ====== Analysis Completed ======
  1057. contract /home/alex/Work/augur-core/source/contracts/factories/MarketFactory.sol:MarketFactory:
  1058. ============ Results ===========
  1059. EVM Code Coverage: 38.0%
  1060. Parity Multisig Bug 2: False
  1061. Callstack Depth Attack Vulnerability: False
  1062. Transaction-Ordering Dependence (TOD): False
  1063. Timestamp Dependency: False
  1064. Re-Entrancy Vulnerability: True
  1065. Assertion Failure: False
  1066. /home/alex/Work/augur-core/source/contracts/factories/MarketFactory.sol:17:9: Warning: Re-Entrancy Vulnerability.
  1067. _market.initialize.value(msg.value)(_universe, _endTime, _feePerEthInWei, _denominationToken, _designatedReporterAddress, _sender, _numOutcomes, _numTicks)
  1068. ====== Analysis Completed ======
  1069. contract /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
  1070. ============ Results ===========
  1071. EVM Code Coverage: 97.8%
  1072. Parity Multisig Bug 2: False
  1073. Callstack Depth Attack Vulnerability: False
  1074. Transaction-Ordering Dependence (TOD): True
  1075. Timestamp Dependency: False
  1076. Re-Entrancy Vulnerability: False
  1077. Assertion Failure: False
  1078. Flow1
  1079. Flow2
  1080. ====== Analysis Completed ======
  1081. contract /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:Delegator:
  1082. ============ Results ===========
  1083. EVM Code Coverage: 97.8%
  1084. Parity Multisig Bug 2: False
  1085. Callstack Depth Attack Vulnerability: False
  1086. Transaction-Ordering Dependence (TOD): True
  1087. Timestamp Dependency: False
  1088. Re-Entrancy Vulnerability: False
  1089. Assertion Failure: False
  1090. Flow1
  1091. /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
  1092. let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
  1093. ^
  1094. Spanning multiple lines.
  1095. Flow2
  1096. /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
  1097. let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
  1098. ^
  1099. Spanning multiple lines.
  1100. ====== Analysis Completed ======
  1101. contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
  1102. ============ Results ===========
  1103. EVM Code Coverage: 98.7%
  1104. Parity Multisig Bug 2: False
  1105. Callstack Depth Attack Vulnerability: False
  1106. Transaction-Ordering Dependence (TOD): False
  1107. Timestamp Dependency: False
  1108. Re-Entrancy Vulnerability: False
  1109. Assertion Failure: False
  1110. ====== Analysis Completed ======
  1111. contract /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
  1112. ============ Results ===========
  1113. EVM Code Coverage: 100.0%
  1114. Parity Multisig Bug 2: False
  1115. Callstack Depth Attack Vulnerability: False
  1116. Transaction-Ordering Dependence (TOD): False
  1117. Timestamp Dependency: False
  1118. Re-Entrancy Vulnerability: False
  1119. Assertion Failure: False
  1120. ====== Analysis Completed ======
  1121. contract /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
  1122. ============ Results ===========
  1123. EVM Code Coverage: 100.0%
  1124. Parity Multisig Bug 2: False
  1125. Callstack Depth Attack Vulnerability: False
  1126. Transaction-Ordering Dependence (TOD): False
  1127. Timestamp Dependency: False
  1128. Re-Entrancy Vulnerability: False
  1129. Assertion Failure: False
  1130. ====== Analysis Completed ======
  1131. contract /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
  1132. ============ Results ===========
  1133. EVM Code Coverage: 97.6%
  1134. Parity Multisig Bug 2: False
  1135. Callstack Depth Attack Vulnerability: False
  1136. Transaction-Ordering Dependence (TOD): True
  1137. Timestamp Dependency: False
  1138. Re-Entrancy Vulnerability: False
  1139. Assertion Failure: False
  1140. Flow1
  1141. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  1142. _target.transfer(this.balance)
  1143. Flow2
  1144. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  1145. _target.transfer(this.balance)
  1146. ====== Analysis Completed ======
  1147. contract /home/alex/Work/augur-core/source/contracts/factories/ShareTokenFactory.sol:ShareTokenFactory:
  1148. ============ Results ===========
  1149. EVM Code Coverage: 21.2%
  1150. Parity Multisig Bug 2: False
  1151. Callstack Depth Attack Vulnerability: False
  1152. Transaction-Ordering Dependence (TOD): False
  1153. Timestamp Dependency: False
  1154. Re-Entrancy Vulnerability: False
  1155. Assertion Failure: False
  1156. ====== Analysis Completed ======
  1157. contract /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
  1158. ============ Results ===========
  1159. EVM Code Coverage: 97.8%
  1160. Parity Multisig Bug 2: False
  1161. Callstack Depth Attack Vulnerability: False
  1162. Transaction-Ordering Dependence (TOD): True
  1163. Timestamp Dependency: False
  1164. Re-Entrancy Vulnerability: False
  1165. Assertion Failure: False
  1166. Flow1
  1167. Flow2
  1168. ====== Analysis Completed ======
  1169. contract /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:Delegator:
  1170. ============ Results ===========
  1171. EVM Code Coverage: 97.8%
  1172. Parity Multisig Bug 2: False
  1173. Callstack Depth Attack Vulnerability: False
  1174. Transaction-Ordering Dependence (TOD): True
  1175. Timestamp Dependency: False
  1176. Re-Entrancy Vulnerability: False
  1177. Assertion Failure: False
  1178. Flow1
  1179. /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
  1180. let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
  1181. ^
  1182. Spanning multiple lines.
  1183. Flow2
  1184. /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
  1185. let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
  1186. ^
  1187. Spanning multiple lines.
  1188. ====== Analysis Completed ======
  1189. contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
  1190. ============ Results ===========
  1191. EVM Code Coverage: 98.7%
  1192. Parity Multisig Bug 2: False
  1193. Callstack Depth Attack Vulnerability: False
  1194. Transaction-Ordering Dependence (TOD): False
  1195. Timestamp Dependency: False
  1196. Re-Entrancy Vulnerability: False
  1197. Assertion Failure: False
  1198. ====== Analysis Completed ======
  1199. contract /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
  1200. ============ Results ===========
  1201. EVM Code Coverage: 100.0%
  1202. Parity Multisig Bug 2: False
  1203. Callstack Depth Attack Vulnerability: False
  1204. Transaction-Ordering Dependence (TOD): False
  1205. Timestamp Dependency: False
  1206. Re-Entrancy Vulnerability: False
  1207. Assertion Failure: False
  1208. ====== Analysis Completed ======
  1209. contract /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
  1210. ============ Results ===========
  1211. EVM Code Coverage: 100.0%
  1212. Parity Multisig Bug 2: False
  1213. Callstack Depth Attack Vulnerability: False
  1214. Transaction-Ordering Dependence (TOD): False
  1215. Timestamp Dependency: False
  1216. Re-Entrancy Vulnerability: False
  1217. Assertion Failure: False
  1218. ====== Analysis Completed ======
  1219. contract /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
  1220. ============ Results ===========
  1221. EVM Code Coverage: 97.6%
  1222. Parity Multisig Bug 2: False
  1223. Callstack Depth Attack Vulnerability: False
  1224. Transaction-Ordering Dependence (TOD): True
  1225. Timestamp Dependency: False
  1226. Re-Entrancy Vulnerability: False
  1227. Assertion Failure: False
  1228. Flow1
  1229. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  1230. _target.transfer(this.balance)
  1231. Flow2
  1232. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  1233. _target.transfer(this.balance)
  1234. ====== Analysis Completed ======
  1235. contract /home/alex/Work/augur-core/source/contracts/factories/DisputeCrowdsourcerFactory.sol:DisputeCrowdsourcerFactory:
  1236. ============ Results ===========
  1237. EVM Code Coverage: 31.2%
  1238. Parity Multisig Bug 2: False
  1239. Callstack Depth Attack Vulnerability: False
  1240. Transaction-Ordering Dependence (TOD): False
  1241. Timestamp Dependency: False
  1242. Re-Entrancy Vulnerability: False
  1243. Assertion Failure: False
  1244. ====== Analysis Completed ======
  1245. contract /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
  1246. ============ Results ===========
  1247. EVM Code Coverage: 97.8%
  1248. Parity Multisig Bug 2: False
  1249. Callstack Depth Attack Vulnerability: False
  1250. Transaction-Ordering Dependence (TOD): True
  1251. Timestamp Dependency: False
  1252. Re-Entrancy Vulnerability: False
  1253. Assertion Failure: False
  1254. Flow1
  1255. Flow2
  1256. ====== Analysis Completed ======
  1257. contract /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:Delegator:
  1258. ============ Results ===========
  1259. EVM Code Coverage: 97.8%
  1260. Parity Multisig Bug 2: False
  1261. Callstack Depth Attack Vulnerability: False
  1262. Transaction-Ordering Dependence (TOD): True
  1263. Timestamp Dependency: False
  1264. Re-Entrancy Vulnerability: False
  1265. Assertion Failure: False
  1266. Flow1
  1267. /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
  1268. let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
  1269. ^
  1270. Spanning multiple lines.
  1271. Flow2
  1272. /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
  1273. let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
  1274. ^
  1275. Spanning multiple lines.
  1276. ====== Analysis Completed ======
  1277. contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
  1278. ============ Results ===========
  1279. EVM Code Coverage: 98.7%
  1280. Parity Multisig Bug 2: False
  1281. Callstack Depth Attack Vulnerability: False
  1282. Transaction-Ordering Dependence (TOD): False
  1283. Timestamp Dependency: False
  1284. Re-Entrancy Vulnerability: False
  1285. Assertion Failure: False
  1286. ====== Analysis Completed ======
  1287. contract /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
  1288. ============ Results ===========
  1289. EVM Code Coverage: 100.0%
  1290. Parity Multisig Bug 2: False
  1291. Callstack Depth Attack Vulnerability: False
  1292. Transaction-Ordering Dependence (TOD): False
  1293. Timestamp Dependency: False
  1294. Re-Entrancy Vulnerability: False
  1295. Assertion Failure: False
  1296. ====== Analysis Completed ======
  1297. contract /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
  1298. ============ Results ===========
  1299. EVM Code Coverage: 100.0%
  1300. Parity Multisig Bug 2: False
  1301. Callstack Depth Attack Vulnerability: False
  1302. Transaction-Ordering Dependence (TOD): False
  1303. Timestamp Dependency: False
  1304. Re-Entrancy Vulnerability: False
  1305. Assertion Failure: False
  1306. ====== Analysis Completed ======
  1307. contract /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
  1308. ============ Results ===========
  1309. EVM Code Coverage: 97.6%
  1310. Parity Multisig Bug 2: False
  1311. Callstack Depth Attack Vulnerability: False
  1312. Transaction-Ordering Dependence (TOD): True
  1313. Timestamp Dependency: False
  1314. Re-Entrancy Vulnerability: False
  1315. Assertion Failure: False
  1316. Flow1
  1317. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  1318. _target.transfer(this.balance)
  1319. Flow2
  1320. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  1321. _target.transfer(this.balance)
  1322. ====== Analysis Completed ======
  1323. contract /home/alex/Work/augur-core/source/contracts/factories/FeeWindowFactory.sol:FeeWindowFactory:
  1324. ============ Results ===========
  1325. EVM Code Coverage: 21.2%
  1326. Parity Multisig Bug 2: False
  1327. Callstack Depth Attack Vulnerability: False
  1328. Transaction-Ordering Dependence (TOD): False
  1329. Timestamp Dependency: False
  1330. Re-Entrancy Vulnerability: False
  1331. Assertion Failure: False
  1332. ====== Analysis Completed ======
  1333. contract /home/alex/Work/augur-core/source/contracts/factories/MarketFactory.sol:MarketFactory:
  1334. ============ Results ===========
  1335. EVM Code Coverage: 38.0%
  1336. Parity Multisig Bug 2: False
  1337. Callstack Depth Attack Vulnerability: False
  1338. Transaction-Ordering Dependence (TOD): False
  1339. Timestamp Dependency: False
  1340. Re-Entrancy Vulnerability: True
  1341. Assertion Failure: False
  1342. /home/alex/Work/augur-core/source/contracts/factories/MarketFactory.sol:17:9: Warning: Re-Entrancy Vulnerability.
  1343. _market.initialize.value(msg.value)(_universe, _endTime, _feePerEthInWei, _denominationToken, _designatedReporterAddress, _sender, _numOutcomes, _numTicks)
  1344. ====== Analysis Completed ======
  1345. contract /home/alex/Work/augur-core/source/contracts/factories/ReputationTokenFactory.sol:ReputationTokenFactory:
  1346. ============ Results ===========
  1347. EVM Code Coverage: 20.1%
  1348. Parity Multisig Bug 2: False
  1349. Callstack Depth Attack Vulnerability: False
  1350. Transaction-Ordering Dependence (TOD): False
  1351. Timestamp Dependency: False
  1352. Re-Entrancy Vulnerability: False
  1353. Assertion Failure: False
  1354. ====== Analysis Completed ======
  1355. contract /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
  1356. ============ Results ===========
  1357. EVM Code Coverage: 97.8%
  1358. Parity Multisig Bug 2: False
  1359. Callstack Depth Attack Vulnerability: False
  1360. Transaction-Ordering Dependence (TOD): True
  1361. Timestamp Dependency: False
  1362. Re-Entrancy Vulnerability: False
  1363. Assertion Failure: False
  1364. Flow1
  1365. Flow2
  1366. ====== Analysis Completed ======
  1367. contract /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:Delegator:
  1368. ============ Results ===========
  1369. EVM Code Coverage: 97.8%
  1370. Parity Multisig Bug 2: False
  1371. Callstack Depth Attack Vulnerability: False
  1372. Transaction-Ordering Dependence (TOD): True
  1373. Timestamp Dependency: False
  1374. Re-Entrancy Vulnerability: False
  1375. Assertion Failure: False
  1376. Flow1
  1377. /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
  1378. let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
  1379. ^
  1380. Spanning multiple lines.
  1381. Flow2
  1382. /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
  1383. let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
  1384. ^
  1385. Spanning multiple lines.
  1386. ====== Analysis Completed ======
  1387. contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
  1388. ============ Results ===========
  1389. EVM Code Coverage: 98.7%
  1390. Parity Multisig Bug 2: False
  1391. Callstack Depth Attack Vulnerability: False
  1392. Transaction-Ordering Dependence (TOD): False
  1393. Timestamp Dependency: False
  1394. Re-Entrancy Vulnerability: False
  1395. Assertion Failure: False
  1396. ====== Analysis Completed ======
  1397. contract /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
  1398. ============ Results ===========
  1399. EVM Code Coverage: 100.0%
  1400. Parity Multisig Bug 2: False
  1401. Callstack Depth Attack Vulnerability: False
  1402. Transaction-Ordering Dependence (TOD): False
  1403. Timestamp Dependency: False
  1404. Re-Entrancy Vulnerability: False
  1405. Assertion Failure: False
  1406. ====== Analysis Completed ======
  1407. contract /home/alex/Work/augur-core/source/contracts/reporting/Reporting.sol:Reporting:
  1408. ============ Results ===========
  1409. EVM Code Coverage: 100.0%
  1410. Parity Multisig Bug 2: False
  1411. Callstack Depth Attack Vulnerability: False
  1412. Transaction-Ordering Dependence (TOD): False
  1413. Timestamp Dependency: False
  1414. Re-Entrancy Vulnerability: False
  1415. Assertion Failure: False
  1416. ====== Analysis Completed ======
  1417. contract /home/alex/Work/augur-core/source/contracts/reporting/Universe.sol:Universe:
  1418. ============ Results ===========
  1419. EVM Code Coverage: 54.8%
  1420. Parity Multisig Bug 2: False
  1421. Callstack Depth Attack Vulnerability: False
  1422. Transaction-Ordering Dependence (TOD): True
  1423. Timestamp Dependency: False
  1424. Re-Entrancy Vulnerability: False
  1425. Assertion Failure: False
  1426. Flow1
  1427. /home/alex/Work/augur-core/source/contracts/reporting/Universe.sol:40:54: Warning: Transaction-Ordering Dependency.
  1428. mapping (address => uint256) private designatedReportStakeInAttoRep;
  1429. ^
  1430. Spanning multiple lines.
  1431. Flow2
  1432. /home/alex/Work/augur-core/source/contracts/reporting/Universe.sol:40:54: Warning: Transaction-Ordering Dependency.
  1433. mapping (address => uint256) private designatedReportStakeInAttoRep;
  1434. ^
  1435. Spanning multiple lines.
  1436. ====== Analysis Completed ======
  1437. contract /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
  1438. ============ Results ===========
  1439. EVM Code Coverage: 100.0%
  1440. Parity Multisig Bug 2: False
  1441. Callstack Depth Attack Vulnerability: False
  1442. Transaction-Ordering Dependence (TOD): False
  1443. Timestamp Dependency: False
  1444. Re-Entrancy Vulnerability: False
  1445. Assertion Failure: False
  1446. ====== Analysis Completed ======
  1447. contract /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
  1448. ============ Results ===========
  1449. EVM Code Coverage: 97.6%
  1450. Parity Multisig Bug 2: False
  1451. Callstack Depth Attack Vulnerability: False
  1452. Transaction-Ordering Dependence (TOD): True
  1453. Timestamp Dependency: False
  1454. Re-Entrancy Vulnerability: False
  1455. Assertion Failure: False
  1456. Flow1
  1457. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  1458. _target.transfer(this.balance)
  1459. Flow2
  1460. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  1461. _target.transfer(this.balance)
  1462. ====== Analysis Completed ======
  1463. contract /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
  1464. ============ Results ===========
  1465. EVM Code Coverage: 97.8%
  1466. Parity Multisig Bug 2: False
  1467. Callstack Depth Attack Vulnerability: False
  1468. Transaction-Ordering Dependence (TOD): True
  1469. Timestamp Dependency: False
  1470. Re-Entrancy Vulnerability: False
  1471. Assertion Failure: False
  1472. Flow1
  1473. Flow2
  1474. ====== Analysis Completed ======
  1475. contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
  1476. ============ Results ===========
  1477. EVM Code Coverage: 98.7%
  1478. Parity Multisig Bug 2: False
  1479. Callstack Depth Attack Vulnerability: False
  1480. Transaction-Ordering Dependence (TOD): False
  1481. Timestamp Dependency: False
  1482. Re-Entrancy Vulnerability: False
  1483. Assertion Failure: False
  1484. ====== Analysis Completed ======
  1485. contract /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
  1486. ============ Results ===========
  1487. EVM Code Coverage: 100.0%
  1488. Parity Multisig Bug 2: False
  1489. Callstack Depth Attack Vulnerability: False
  1490. Transaction-Ordering Dependence (TOD): False
  1491. Timestamp Dependency: False
  1492. Re-Entrancy Vulnerability: False
  1493. Assertion Failure: False
  1494. ====== Analysis Completed ======
  1495. contract /home/alex/Work/augur-core/source/contracts/reporting/DisputeCrowdsourcer.sol:DisputeCrowdsourcer:
  1496. ============ Results ===========
  1497. EVM Code Coverage: 75.1%
  1498. Parity Multisig Bug 2: False
  1499. Callstack Depth Attack Vulnerability: False
  1500. Transaction-Ordering Dependence (TOD): True
  1501. Timestamp Dependency: False
  1502. Re-Entrancy Vulnerability: False
  1503. Assertion Failure: True
  1504. Flow1
  1505. /home/alex/Work/augur-core/source/contracts/reporting/DisputeCrowdsourcer.sol:34:66: Warning: Transaction-Ordering Dependency.
  1506. uint256 _feeShare = _cashSupply.mul(_amount).div(_supply);
  1507. ^
  1508. Spanning multiple lines.
  1509. Flow2
  1510. /home/alex/Work/augur-core/source/contracts/reporting/DisputeCrowdsourcer.sol:34:66: Warning: Transaction-Ordering Dependency.
  1511. uint256 _feeShare = _cashSupply.mul(_amount).div(_supply);
  1512. ^
  1513. Spanning multiple lines.
  1514. /home/alex/Work/augur-core/source/contracts/reporting/DisputeCrowdsourcer.sol:64:36: Warning: Assertion Failure.
  1515. uint256 _reputationShare = _reputationSupply.mul(_attotokens).div(_supply)
  1516. Assertion violates when:
  1517. balances = 0
  1518. ====== Analysis Completed ======
  1519. contract /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
  1520. ============ Results ===========
  1521. EVM Code Coverage: 100.0%
  1522. Parity Multisig Bug 2: False
  1523. Callstack Depth Attack Vulnerability: False
  1524. Transaction-Ordering Dependence (TOD): False
  1525. Timestamp Dependency: False
  1526. Re-Entrancy Vulnerability: False
  1527. Assertion Failure: False
  1528. ====== Analysis Completed ======
  1529. contract /home/alex/Work/augur-core/source/contracts/libraries/Ownable.sol:Ownable:
  1530. ============ Results ===========
  1531. EVM Code Coverage: 99.5%
  1532. Parity Multisig Bug 2: False
  1533. Callstack Depth Attack Vulnerability: False
  1534. Transaction-Ordering Dependence (TOD): False
  1535. Timestamp Dependency: False
  1536. Re-Entrancy Vulnerability: False
  1537. Assertion Failure: False
  1538. ====== Analysis Completed ======
  1539. contract /home/alex/Work/augur-core/source/contracts/reporting/RepPriceOracle.sol:RepPriceOracle:
  1540. ============ Results ===========
  1541. EVM Code Coverage: 99.7%
  1542. Parity Multisig Bug 2: False
  1543. Callstack Depth Attack Vulnerability: False
  1544. Transaction-Ordering Dependence (TOD): False
  1545. Timestamp Dependency: False
  1546. Re-Entrancy Vulnerability: False
  1547. Assertion Failure: False
  1548. ====== Analysis Completed ======
  1549. contract /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
  1550. ============ Results ===========
  1551. EVM Code Coverage: 97.6%
  1552. Parity Multisig Bug 2: False
  1553. Callstack Depth Attack Vulnerability: False
  1554. Transaction-Ordering Dependence (TOD): True
  1555. Timestamp Dependency: False
  1556. Re-Entrancy Vulnerability: False
  1557. Assertion Failure: False
  1558. Flow1
  1559. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  1560. _target.transfer(this.balance)
  1561. Flow2
  1562. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  1563. _target.transfer(this.balance)
  1564. ====== Analysis Completed ======
  1565. contract /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
  1566. ============ Results ===========
  1567. EVM Code Coverage: 97.8%
  1568. Parity Multisig Bug 2: False
  1569. Callstack Depth Attack Vulnerability: False
  1570. Transaction-Ordering Dependence (TOD): True
  1571. Timestamp Dependency: False
  1572. Re-Entrancy Vulnerability: False
  1573. Assertion Failure: False
  1574. Flow1
  1575. Flow2
  1576. ====== Analysis Completed ======
  1577. contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
  1578. ============ Results ===========
  1579. EVM Code Coverage: 98.7%
  1580. Parity Multisig Bug 2: False
  1581. Callstack Depth Attack Vulnerability: False
  1582. Transaction-Ordering Dependence (TOD): False
  1583. Timestamp Dependency: False
  1584. Re-Entrancy Vulnerability: False
  1585. Assertion Failure: False
  1586. ====== Analysis Completed ======
  1587. contract /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
  1588. ============ Results ===========
  1589. EVM Code Coverage: 100.0%
  1590. Parity Multisig Bug 2: False
  1591. Callstack Depth Attack Vulnerability: False
  1592. Transaction-Ordering Dependence (TOD): False
  1593. Timestamp Dependency: False
  1594. Re-Entrancy Vulnerability: False
  1595. Assertion Failure: False
  1596. ====== Analysis Completed ======
  1597. contract /home/alex/Work/augur-core/source/contracts/reporting/Reporting.sol:Reporting:
  1598. ============ Results ===========
  1599. EVM Code Coverage: 100.0%
  1600. Parity Multisig Bug 2: False
  1601. Callstack Depth Attack Vulnerability: False
  1602. Transaction-Ordering Dependence (TOD): False
  1603. Timestamp Dependency: False
  1604. Re-Entrancy Vulnerability: False
  1605. Assertion Failure: False
  1606. ====== Analysis Completed ======
  1607. contract /home/alex/Work/augur-core/source/contracts/reporting/ReputationToken.sol:ReputationToken:
  1608. ============ Results ===========
  1609. EVM Code Coverage: 83.3%
  1610. Parity Multisig Bug 2: False
  1611. Callstack Depth Attack Vulnerability: False
  1612. Transaction-Ordering Dependence (TOD): True
  1613. Timestamp Dependency: False
  1614. Re-Entrancy Vulnerability: False
  1615. Assertion Failure: True
  1616. Flow1
  1617. /home/alex/Work/augur-core/source/contracts/reporting/ReputationToken.sol:49:47: Warning: Transaction-Ordering Dependency.
  1618. function initialize(IUniverse _universe) public onlyInGoodTimes beforeIn
  1619. Flow2
  1620. /home/alex/Work/augur-core/source/contracts/reporting/ReputationToken.sol:49:47: Warning: Transaction-Ordering Dependency.
  1621. function initialize(IUniverse _universe) public onlyInGoodTimes beforeIn
  1622. /home/alex/Work/augur-core/source/contracts/reporting/ReputationToken.sol:242:33: Warning: Assertion Failure.
  1623. ERC20 _legacyRepToken = getLegacyRepToken()
  1624. Assertion violates when:
  1625. isMigratingFromLegacy = 255
  1626. ====== Analysis Completed ======
  1627. contract /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
  1628. ============ Results ===========
  1629. EVM Code Coverage: 100.0%
  1630. Parity Multisig Bug 2: False
  1631. Callstack Depth Attack Vulnerability: False
  1632. Transaction-Ordering Dependence (TOD): False
  1633. Timestamp Dependency: False
  1634. Re-Entrancy Vulnerability: False
  1635. Assertion Failure: False
  1636. ====== Analysis Completed ======
  1637. contract /home/alex/Work/augur-core/source/contracts/reporting/Reporting.sol:Reporting:
  1638. ============ Results ===========
  1639. EVM Code Coverage: 100.0%
  1640. Parity Multisig Bug 2: False
  1641. Callstack Depth Attack Vulnerability: False
  1642. Transaction-Ordering Dependence (TOD): False
  1643. Timestamp Dependency: False
  1644. Re-Entrancy Vulnerability: False
  1645. Assertion Failure: False
  1646. ====== Analysis Completed ======
  1647. contract /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
  1648. ============ Results ===========
  1649. EVM Code Coverage: 97.6%
  1650. Parity Multisig Bug 2: False
  1651. Callstack Depth Attack Vulnerability: False
  1652. Transaction-Ordering Dependence (TOD): True
  1653. Timestamp Dependency: False
  1654. Re-Entrancy Vulnerability: False
  1655. Assertion Failure: False
  1656. Flow1
  1657. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  1658. _target.transfer(this.balance)
  1659. Flow2
  1660. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  1661. _target.transfer(this.balance)
  1662. ====== Analysis Completed ======
  1663. contract /home/alex/Work/augur-core/source/contracts/factories/FeeTokenFactory.sol:FeeTokenFactory:
  1664. ============ Results ===========
  1665. EVM Code Coverage: 20.1%
  1666. Parity Multisig Bug 2: False
  1667. Callstack Depth Attack Vulnerability: False
  1668. Transaction-Ordering Dependence (TOD): False
  1669. Timestamp Dependency: False
  1670. Re-Entrancy Vulnerability: False
  1671. Assertion Failure: False
  1672. ====== Analysis Completed ======
  1673. contract /home/alex/Work/augur-core/source/contracts/factories/MarketFactory.sol:MarketFactory:
  1674. ============ Results ===========
  1675. EVM Code Coverage: 38.0%
  1676. Parity Multisig Bug 2: False
  1677. Callstack Depth Attack Vulnerability: False
  1678. Transaction-Ordering Dependence (TOD): False
  1679. Timestamp Dependency: False
  1680. Re-Entrancy Vulnerability: True
  1681. Assertion Failure: False
  1682. /home/alex/Work/augur-core/source/contracts/factories/MarketFactory.sol:17:9: Warning: Re-Entrancy Vulnerability.
  1683. _market.initialize.value(msg.value)(_universe, _endTime, _feePerEthInWei, _denominationToken, _designatedReporterAddress, _sender, _numOutcomes, _numTicks)
  1684. ====== Analysis Completed ======
  1685. contract /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
  1686. ============ Results ===========
  1687. EVM Code Coverage: 97.8%
  1688. Parity Multisig Bug 2: False
  1689. Callstack Depth Attack Vulnerability: False
  1690. Transaction-Ordering Dependence (TOD): True
  1691. Timestamp Dependency: False
  1692. Re-Entrancy Vulnerability: False
  1693. Assertion Failure: False
  1694. Flow1
  1695. Flow2
  1696. ====== Analysis Completed ======
  1697. contract /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:Delegator:
  1698. ============ Results ===========
  1699. EVM Code Coverage: 97.8%
  1700. Parity Multisig Bug 2: False
  1701. Callstack Depth Attack Vulnerability: False
  1702. Transaction-Ordering Dependence (TOD): True
  1703. Timestamp Dependency: False
  1704. Re-Entrancy Vulnerability: False
  1705. Assertion Failure: False
  1706. Flow1
  1707. /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
  1708. let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
  1709. ^
  1710. Spanning multiple lines.
  1711. Flow2
  1712. /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
  1713. let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
  1714. ^
  1715. Spanning multiple lines.
  1716. ====== Analysis Completed ======
  1717. contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
  1718. ============ Results ===========
  1719. EVM Code Coverage: 98.7%
  1720. Parity Multisig Bug 2: False
  1721. Callstack Depth Attack Vulnerability: False
  1722. Transaction-Ordering Dependence (TOD): False
  1723. Timestamp Dependency: False
  1724. Re-Entrancy Vulnerability: False
  1725. Assertion Failure: False
  1726. ====== Analysis Completed ======
  1727. contract /home/alex/Work/augur-core/source/contracts/libraries/math/RunningAverage.sol:RunningAverage:
  1728. ============ Results ===========
  1729. EVM Code Coverage: 100.0%
  1730. Parity Multisig Bug 2: False
  1731. Callstack Depth Attack Vulnerability: False
  1732. Transaction-Ordering Dependence (TOD): False
  1733. Timestamp Dependency: False
  1734. Re-Entrancy Vulnerability: False
  1735. Assertion Failure: False
  1736. ====== Analysis Completed ======
  1737. contract /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
  1738. ============ Results ===========
  1739. EVM Code Coverage: 100.0%
  1740. Parity Multisig Bug 2: False
  1741. Callstack Depth Attack Vulnerability: False
  1742. Transaction-Ordering Dependence (TOD): False
  1743. Timestamp Dependency: False
  1744. Re-Entrancy Vulnerability: False
  1745. Assertion Failure: False
  1746. ====== Analysis Completed ======
  1747. contract /home/alex/Work/augur-core/source/contracts/reporting/FeeWindow.sol:FeeWindow:
  1748. ============ Results ===========
  1749. EVM Code Coverage: 76.3%
  1750. Parity Multisig Bug 2: False
  1751. Callstack Depth Attack Vulnerability: False
  1752. Transaction-Ordering Dependence (TOD): True
  1753. Timestamp Dependency: False
  1754. Re-Entrancy Vulnerability: False
  1755. Assertion Failure: True
  1756. Flow1
  1757. /home/alex/Work/augur-core/source/contracts/reporting/FeeWindow.sol:42:99: Warning: Transaction-Ordering Dependency.
  1758. function initialize(IUniverse _universe, uint256 _feeWindowId) public onlyInGoodTimes beforeInitialized returns (bool) {
  1759. ^
  1760. Spanning multiple lines.
  1761. Flow2
  1762. /home/alex/Work/augur-core/source/contracts/reporting/FeeWindow.sol:42:99: Warning: Transaction-Ordering Dependency.
  1763. function initialize(IUniverse _universe, uint256 _feeWindowId) public onlyInGoodTimes beforeInitialized returns (bool) {
  1764. ^
  1765. Spanning multiple lines.
  1766. /home/alex/Work/augur-core/source/contracts/reporting/FeeWindow.sol:156:16: Warning: Assertion Failure.
  1767. return reportingGasPrice.currentAverage()
  1768. ====== Analysis Completed ======
  1769. contract /home/alex/Work/augur-core/source/contracts/reporting/Reporting.sol:Reporting:
  1770. ============ Results ===========
  1771. EVM Code Coverage: 100.0%
  1772. Parity Multisig Bug 2: False
  1773. Callstack Depth Attack Vulnerability: False
  1774. Transaction-Ordering Dependence (TOD): False
  1775. Timestamp Dependency: False
  1776. Re-Entrancy Vulnerability: False
  1777. Assertion Failure: False
  1778. ====== Analysis Completed ======
  1779. contract /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
  1780. ============ Results ===========
  1781. EVM Code Coverage: 100.0%
  1782. Parity Multisig Bug 2: False
  1783. Callstack Depth Attack Vulnerability: False
  1784. Transaction-Ordering Dependence (TOD): False
  1785. Timestamp Dependency: False
  1786. Re-Entrancy Vulnerability: False
  1787. Assertion Failure: False
  1788. ====== Analysis Completed ======
  1789. contract /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
  1790. ============ Results ===========
  1791. EVM Code Coverage: 97.6%
  1792. Parity Multisig Bug 2: False
  1793. Callstack Depth Attack Vulnerability: False
  1794. Transaction-Ordering Dependence (TOD): True
  1795. Timestamp Dependency: False
  1796. Re-Entrancy Vulnerability: False
  1797. Assertion Failure: False
  1798. Flow1
  1799. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  1800. _target.transfer(this.balance)
  1801. Flow2
  1802. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  1803. _target.transfer(this.balance)
  1804. ====== Analysis Completed ======
  1805. contract /home/alex/Work/augur-core/source/contracts/factories/DisputeCrowdsourcerFactory.sol:DisputeCrowdsourcerFactory:
  1806. ============ Results ===========
  1807. EVM Code Coverage: 31.2%
  1808. Parity Multisig Bug 2: False
  1809. Callstack Depth Attack Vulnerability: False
  1810. Transaction-Ordering Dependence (TOD): False
  1811. Timestamp Dependency: False
  1812. Re-Entrancy Vulnerability: False
  1813. Assertion Failure: False
  1814. ====== Analysis Completed ======
  1815. contract /home/alex/Work/augur-core/source/contracts/factories/InitialReporterFactory.sol:InitialReporterFactory:
  1816. ============ Results ===========
  1817. EVM Code Coverage: 21.6%
  1818. Parity Multisig Bug 2: False
  1819. Callstack Depth Attack Vulnerability: False
  1820. Transaction-Ordering Dependence (TOD): False
  1821. Timestamp Dependency: False
  1822. Re-Entrancy Vulnerability: False
  1823. Assertion Failure: False
  1824. ====== Analysis Completed ======
  1825. contract /home/alex/Work/augur-core/source/contracts/factories/MailboxFactory.sol:MailboxFactory:
  1826. ============ Results ===========
  1827. EVM Code Coverage: 20.1%
  1828. Parity Multisig Bug 2: False
  1829. Callstack Depth Attack Vulnerability: False
  1830. Transaction-Ordering Dependence (TOD): False
  1831. Timestamp Dependency: False
  1832. Re-Entrancy Vulnerability: False
  1833. Assertion Failure: False
  1834. ====== Analysis Completed ======
  1835. contract /home/alex/Work/augur-core/source/contracts/factories/MapFactory.sol:MapFactory:
  1836. ============ Results ===========
  1837. EVM Code Coverage: 20.1%
  1838. Parity Multisig Bug 2: False
  1839. Callstack Depth Attack Vulnerability: False
  1840. Transaction-Ordering Dependence (TOD): False
  1841. Timestamp Dependency: False
  1842. Re-Entrancy Vulnerability: False
  1843. Assertion Failure: False
  1844. ====== Analysis Completed ======
  1845. contract /home/alex/Work/augur-core/source/contracts/factories/ShareTokenFactory.sol:ShareTokenFactory:
  1846. ============ Results ===========
  1847. EVM Code Coverage: 21.2%
  1848. Parity Multisig Bug 2: False
  1849. Callstack Depth Attack Vulnerability: False
  1850. Transaction-Ordering Dependence (TOD): False
  1851. Timestamp Dependency: False
  1852. Re-Entrancy Vulnerability: False
  1853. Assertion Failure: False
  1854. ====== Analysis Completed ======
  1855. contract /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
  1856. ============ Results ===========
  1857. EVM Code Coverage: 97.8%
  1858. Parity Multisig Bug 2: False
  1859. Callstack Depth Attack Vulnerability: False
  1860. Transaction-Ordering Dependence (TOD): True
  1861. Timestamp Dependency: False
  1862. Re-Entrancy Vulnerability: False
  1863. Assertion Failure: False
  1864. Flow1
  1865. Flow2
  1866. ====== Analysis Completed ======
  1867. contract /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:Delegator:
  1868. ============ Results ===========
  1869. EVM Code Coverage: 97.8%
  1870. Parity Multisig Bug 2: False
  1871. Callstack Depth Attack Vulnerability: False
  1872. Transaction-Ordering Dependence (TOD): True
  1873. Timestamp Dependency: False
  1874. Re-Entrancy Vulnerability: False
  1875. Assertion Failure: False
  1876. Flow1
  1877. /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
  1878. let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
  1879. ^
  1880. Spanning multiple lines.
  1881. Flow2
  1882. /home/alex/Work/augur-core/source/contracts/libraries/Delegator.sol:33:95: Warning: Transaction-Ordering Dependency.
  1883. let _retval := delegatecall(gas, _target, _calldataMemoryOffset, calldatasize, 0, 0)
  1884. ^
  1885. Spanning multiple lines.
  1886. ====== Analysis Completed ======
  1887. contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
  1888. ============ Results ===========
  1889. EVM Code Coverage: 98.7%
  1890. Parity Multisig Bug 2: False
  1891. Callstack Depth Attack Vulnerability: False
  1892. Transaction-Ordering Dependence (TOD): False
  1893. Timestamp Dependency: False
  1894. Re-Entrancy Vulnerability: False
  1895. Assertion Failure: False
  1896. ====== Analysis Completed ======
  1897. contract /home/alex/Work/augur-core/source/contracts/libraries/Ownable.sol:Ownable:
  1898. ============ Results ===========
  1899. EVM Code Coverage: 99.5%
  1900. Parity Multisig Bug 2: False
  1901. Callstack Depth Attack Vulnerability: False
  1902. Transaction-Ordering Dependence (TOD): False
  1903. Timestamp Dependency: False
  1904. Re-Entrancy Vulnerability: False
  1905. Assertion Failure: False
  1906. ====== Analysis Completed ======
  1907. contract /home/alex/Work/augur-core/source/contracts/libraries/collections/Map.sol:Map:
  1908. ============ Results ===========
  1909. EVM Code Coverage: 99.1%
  1910. Parity Multisig Bug 2: False
  1911. Callstack Depth Attack Vulnerability: False
  1912. Transaction-Ordering Dependence (TOD): True
  1913. Timestamp Dependency: False
  1914. Re-Entrancy Vulnerability: False
  1915. Assertion Failure: False
  1916. Flow1
  1917. /home/alex/Work/augur-core/source/contracts/libraries/collections/Map.sol:51:2: Warning: Transaction-Ordering Dependency.
  1918. function getAsAddressOrZero
  1919. Flow2
  1920. /home/alex/Work/augur-core/source/contracts/libraries/collections/Map.sol:51:2: Warning: Transaction-Ordering Dependency.
  1921. function getAsAddressOrZero
  1922. ====== Analysis Completed ======
  1923. contract /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathInt256.sol:SafeMathInt256:
  1924. ============ Results ===========
  1925. EVM Code Coverage: 100.0%
  1926. Parity Multisig Bug 2: False
  1927. Callstack Depth Attack Vulnerability: False
  1928. Transaction-Ordering Dependence (TOD): False
  1929. Timestamp Dependency: False
  1930. Re-Entrancy Vulnerability: False
  1931. Assertion Failure: False
  1932. ====== Analysis Completed ======
  1933. contract /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
  1934. ============ Results ===========
  1935. EVM Code Coverage: 100.0%
  1936. Parity Multisig Bug 2: False
  1937. Callstack Depth Attack Vulnerability: False
  1938. Transaction-Ordering Dependence (TOD): False
  1939. Timestamp Dependency: False
  1940. Re-Entrancy Vulnerability: False
  1941. Assertion Failure: False
  1942. ====== Analysis Completed ======
  1943. contract /home/alex/Work/augur-core/source/contracts/reporting/Market.sol:Market:
  1944. ============ Results ===========
  1945. EVM Code Coverage: 46.2%
  1946. Parity Multisig Bug 2: False
  1947. Callstack Depth Attack Vulnerability: False
  1948. Transaction-Ordering Dependence (TOD): True
  1949. Timestamp Dependency: False
  1950. Re-Entrancy Vulnerability: False
  1951. Assertion Failure: True
  1952. Flow1
  1953. /home/alex/Work/augur-core/source/contracts/reporting/Market.sol:42:19: Warning: Transaction-Ordering Dependency.
  1954. ICash private cash;
  1955. ^
  1956. Spanning multiple lines.
  1957. Flow2
  1958. /home/alex/Work/augur-core/source/contracts/reporting/Market.sol:42:19: Warning: Transaction-Ordering Dependency.
  1959. ICash private cash;
  1960. ^
  1961. Spanning multiple lines.
  1962. /home/alex/Work/augur-core/source/contracts/reporting/Market.sol:371:16: Warning: Assertion Failure.
  1963. return getInitialReporter()
  1964. Assertion violates when:
  1965. participants = 0
  1966. /home/alex/Work/augur-core/source/contracts/reporting/Market.sol:367:16: Warning: Assertion Failure.
  1967. return getInitialReporter()
  1968. Assertion violates when:
  1969. participants = 0
  1970. /home/alex/Work/augur-core/source/contracts/reporting/Market.sol:119:45: Warning: Assertion Failure.
  1971. IInitialReporter _initialReporter = getInitialReporter()
  1972. Assertion violates when:
  1973. participants = 0
  1974. /home/alex/Work/augur-core/source/contracts/reporting/Market.sol:463:16: Warning: Assertion Failure.
  1975. return getShareToken(_shadyShareToken.getOutcome())
  1976. Assertion violates when:
  1977. shareTokens = 0
  1978. /home/alex/Work/augur-core/source/contracts/reporting/Market.sol:384:16: Warning: Assertion Failure.
  1979. return getWinningReportingParticipant()
  1980. Assertion violates when:
  1981. participants = 0
  1982. winningPayoutDistributionHash = 115792089237316195423570985008687907853269984665640564039457584007913129639935
  1983. /home/alex/Work/augur-core/source/contracts/reporting/Market.sol:176:17: Warning: Assertion Failure.
  1984. require(getInitialReporter()
  1985. Assertion violates when:
  1986. participants = 0
  1987. winningPayoutDistributionHash = 0
  1988. /home/alex/Work/augur-core/source/contracts/reporting/Market.sol:363:16: Warning: Assertion Failure.
  1989. return getInitialReporter()
  1990. Assertion violates when:
  1991. participants = 0
  1992. /home/alex/Work/augur-core/source/contracts/reporting/Market.sol:282:48: Warning: Assertion Failure.
  1993. IInitialReporter _initialParticipant = getInitialReporter()
  1994. Assertion violates when:
  1995. participants = 0
  1996. winningPayoutDistributionHash = 0
  1997. /home/alex/Work/augur-core/source/contracts/reporting/Market.sol:483:13: Warning: Assertion Failure.
  1998. if (isFinalized()
  1999. Assertion violates when:
  2000. shareTokens = 0
  2001. winningPayoutDistributionHash = 0
  2002. /home/alex/Work/augur-core/source/contracts/reporting/Market.sol:308:48: Warning: Assertion Failure.
  2003. IInitialReporter _initialParticipant = getInitialReporter()
  2004. Assertion violates when:
  2005. participants = 0
  2006. winningPayoutDistributionHash = 0
  2007. /home/alex/Work/augur-core/source/contracts/reporting/Market.sol:405:16: Warning: Assertion Failure.
  2008. return getWinningReportingParticipant()
  2009. Assertion violates when:
  2010. participants = 0
  2011. winningPayoutDistributionHash = 115792089237316195423570985008687907853269984665640564039457584007913129639935
  2012. /home/alex/Work/augur-core/source/contracts/reporting/Market.sol:484:65: Warning: Assertion Failure.
  2013. IReportingParticipant _winningReportingPartcipant = getWinningReportingParticipant()
  2014. Assertion violates when:
  2015. participants = 0
  2016. winningPayoutDistributionHash = 115792089237316195423570985008687907853269984665640564039457584007913129639935
  2017. ====== Analysis Completed ======
  2018. contract /home/alex/Work/augur-core/source/contracts/reporting/Reporting.sol:Reporting:
  2019. ============ Results ===========
  2020. EVM Code Coverage: 100.0%
  2021. Parity Multisig Bug 2: False
  2022. Callstack Depth Attack Vulnerability: False
  2023. Transaction-Ordering Dependence (TOD): False
  2024. Timestamp Dependency: False
  2025. Re-Entrancy Vulnerability: False
  2026. Assertion Failure: False
  2027. ====== Analysis Completed ======
  2028. contract /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
  2029. ============ Results ===========
  2030. EVM Code Coverage: 100.0%
  2031. Parity Multisig Bug 2: False
  2032. Callstack Depth Attack Vulnerability: False
  2033. Transaction-Ordering Dependence (TOD): False
  2034. Timestamp Dependency: False
  2035. Re-Entrancy Vulnerability: False
  2036. Assertion Failure: False
  2037. ====== Analysis Completed ======
  2038. contract /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
  2039. ============ Results ===========
  2040. EVM Code Coverage: 97.6%
  2041. Parity Multisig Bug 2: False
  2042. Callstack Depth Attack Vulnerability: False
  2043. Transaction-Ordering Dependence (TOD): True
  2044. Timestamp Dependency: False
  2045. Re-Entrancy Vulnerability: False
  2046. Assertion Failure: False
  2047. Flow1
  2048. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  2049. _target.transfer(this.balance)
  2050. Flow2
  2051. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  2052. _target.transfer(this.balance)
  2053. ====== Analysis Completed ======
  2054. contract /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
  2055. ============ Results ===========
  2056. EVM Code Coverage: 97.8%
  2057. Parity Multisig Bug 2: False
  2058. Callstack Depth Attack Vulnerability: False
  2059. Transaction-Ordering Dependence (TOD): True
  2060. Timestamp Dependency: False
  2061. Re-Entrancy Vulnerability: False
  2062. Assertion Failure: False
  2063. Flow1
  2064. Flow2
  2065. ====== Analysis Completed ======
  2066. contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
  2067. ============ Results ===========
  2068. EVM Code Coverage: 98.7%
  2069. Parity Multisig Bug 2: False
  2070. Callstack Depth Attack Vulnerability: False
  2071. Transaction-Ordering Dependence (TOD): False
  2072. Timestamp Dependency: False
  2073. Re-Entrancy Vulnerability: False
  2074. Assertion Failure: False
  2075. ====== Analysis Completed ======
  2076. contract /home/alex/Work/augur-core/source/contracts/libraries/Ownable.sol:Ownable:
  2077. ============ Results ===========
  2078. EVM Code Coverage: 99.5%
  2079. Parity Multisig Bug 2: False
  2080. Callstack Depth Attack Vulnerability: False
  2081. Transaction-Ordering Dependence (TOD): False
  2082. Timestamp Dependency: False
  2083. Re-Entrancy Vulnerability: False
  2084. Assertion Failure: False
  2085. ====== Analysis Completed ======
  2086. contract /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
  2087. ============ Results ===========
  2088. EVM Code Coverage: 100.0%
  2089. Parity Multisig Bug 2: False
  2090. Callstack Depth Attack Vulnerability: False
  2091. Transaction-Ordering Dependence (TOD): False
  2092. Timestamp Dependency: False
  2093. Re-Entrancy Vulnerability: False
  2094. Assertion Failure: False
  2095. ====== Analysis Completed ======
  2096. contract /home/alex/Work/augur-core/source/contracts/reporting/Mailbox.sol:Mailbox:
  2097. ============ Results ===========
  2098. EVM Code Coverage: 97.0%
  2099. Parity Multisig Bug 2: False
  2100. Callstack Depth Attack Vulnerability: False
  2101. Transaction-Ordering Dependence (TOD): True
  2102. Timestamp Dependency: False
  2103. Re-Entrancy Vulnerability: False
  2104. Assertion Failure: False
  2105. Flow1
  2106. Flow2
  2107. ====== Analysis Completed ======
  2108. contract /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
  2109. ============ Results ===========
  2110. EVM Code Coverage: 100.0%
  2111. Parity Multisig Bug 2: False
  2112. Callstack Depth Attack Vulnerability: False
  2113. Transaction-Ordering Dependence (TOD): False
  2114. Timestamp Dependency: False
  2115. Re-Entrancy Vulnerability: False
  2116. Assertion Failure: False
  2117. ====== Analysis Completed ======
  2118. contract /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
  2119. ============ Results ===========
  2120. EVM Code Coverage: 97.6%
  2121. Parity Multisig Bug 2: False
  2122. Callstack Depth Attack Vulnerability: False
  2123. Transaction-Ordering Dependence (TOD): True
  2124. Timestamp Dependency: False
  2125. Re-Entrancy Vulnerability: False
  2126. Assertion Failure: False
  2127. Flow1
  2128. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  2129. _target.transfer(this.balance)
  2130. Flow2
  2131. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  2132. _target.transfer(this.balance)
  2133. ====== Analysis Completed ======
  2134. contract /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
  2135. ============ Results ===========
  2136. EVM Code Coverage: 97.8%
  2137. Parity Multisig Bug 2: False
  2138. Callstack Depth Attack Vulnerability: False
  2139. Transaction-Ordering Dependence (TOD): True
  2140. Timestamp Dependency: False
  2141. Re-Entrancy Vulnerability: False
  2142. Assertion Failure: False
  2143. Flow1
  2144. Flow2
  2145. ====== Analysis Completed ======
  2146. contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
  2147. ============ Results ===========
  2148. EVM Code Coverage: 98.7%
  2149. Parity Multisig Bug 2: False
  2150. Callstack Depth Attack Vulnerability: False
  2151. Transaction-Ordering Dependence (TOD): False
  2152. Timestamp Dependency: False
  2153. Re-Entrancy Vulnerability: False
  2154. Assertion Failure: False
  2155. ====== Analysis Completed ======
  2156. contract /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
  2157. ============ Results ===========
  2158. EVM Code Coverage: 100.0%
  2159. Parity Multisig Bug 2: False
  2160. Callstack Depth Attack Vulnerability: False
  2161. Transaction-Ordering Dependence (TOD): False
  2162. Timestamp Dependency: False
  2163. Re-Entrancy Vulnerability: False
  2164. Assertion Failure: False
  2165. ====== Analysis Completed ======
  2166. contract /home/alex/Work/augur-core/source/contracts/reporting/FeeToken.sol:FeeToken:
  2167. ============ Results ===========
  2168. EVM Code Coverage: 91.6%
  2169. Parity Multisig Bug 2: False
  2170. Callstack Depth Attack Vulnerability: False
  2171. Transaction-Ordering Dependence (TOD): True
  2172. Timestamp Dependency: False
  2173. Re-Entrancy Vulnerability: False
  2174. Assertion Failure: False
  2175. Flow1
  2176. /home/alex/Work/augur-core/source/contracts/reporting/FeeToken.sol:45:15: Warning: Transaction-Ordering Dependency.
  2177. controller.getAugur().logFeeTokenMin
  2178. Flow2
  2179. /home/alex/Work/augur-core/source/contracts/reporting/FeeToken.sol:45:15: Warning: Transaction-Ordering Dependency.
  2180. controller.getAugur().logFeeTokenMin
  2181. ====== Analysis Completed ======
  2182. contract /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
  2183. ============ Results ===========
  2184. EVM Code Coverage: 100.0%
  2185. Parity Multisig Bug 2: False
  2186. Callstack Depth Attack Vulnerability: False
  2187. Transaction-Ordering Dependence (TOD): False
  2188. Timestamp Dependency: False
  2189. Re-Entrancy Vulnerability: False
  2190. Assertion Failure: False
  2191. ====== Analysis Completed ======
  2192. contract /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
  2193. ============ Results ===========
  2194. EVM Code Coverage: 97.6%
  2195. Parity Multisig Bug 2: False
  2196. Callstack Depth Attack Vulnerability: False
  2197. Transaction-Ordering Dependence (TOD): True
  2198. Timestamp Dependency: False
  2199. Re-Entrancy Vulnerability: False
  2200. Assertion Failure: False
  2201. Flow1
  2202. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  2203. _target.transfer(this.balance)
  2204. Flow2
  2205. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  2206. _target.transfer(this.balance)
  2207. ====== Analysis Completed ======
  2208. contract /home/alex/Work/augur-core/source/contracts/libraries/CashAutoConverter.sol:CashAutoConverter:
  2209. ============ Results ===========
  2210. EVM Code Coverage: 97.6%
  2211. Parity Multisig Bug 2: False
  2212. Callstack Depth Attack Vulnerability: False
  2213. Transaction-Ordering Dependence (TOD): True
  2214. Timestamp Dependency: False
  2215. Re-Entrancy Vulnerability: False
  2216. Assertion Failure: False
  2217. Flow1
  2218. Flow2
  2219. ====== Analysis Completed ======
  2220. contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
  2221. ============ Results ===========
  2222. EVM Code Coverage: 98.7%
  2223. Parity Multisig Bug 2: False
  2224. Callstack Depth Attack Vulnerability: False
  2225. Transaction-Ordering Dependence (TOD): False
  2226. Timestamp Dependency: False
  2227. Re-Entrancy Vulnerability: False
  2228. Assertion Failure: False
  2229. ====== Analysis Completed ======
  2230. contract /home/alex/Work/augur-core/source/contracts/libraries/ReentrancyGuard.sol:ReentrancyGuard:
  2231. ============ Results ===========
  2232. EVM Code Coverage: 100.0%
  2233. Parity Multisig Bug 2: False
  2234. Callstack Depth Attack Vulnerability: False
  2235. Transaction-Ordering Dependence (TOD): False
  2236. Timestamp Dependency: False
  2237. Re-Entrancy Vulnerability: False
  2238. Assertion Failure: False
  2239. ====== Analysis Completed ======
  2240. contract /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
  2241. ============ Results ===========
  2242. EVM Code Coverage: 100.0%
  2243. Parity Multisig Bug 2: False
  2244. Callstack Depth Attack Vulnerability: False
  2245. Transaction-Ordering Dependence (TOD): False
  2246. Timestamp Dependency: False
  2247. Re-Entrancy Vulnerability: False
  2248. Assertion Failure: False
  2249. ====== Analysis Completed ======
  2250. contract /home/alex/Work/augur-core/source/contracts/trading/CancelOrder.sol:CancelOrder:
  2251. ============ Results ===========
  2252. EVM Code Coverage: 42.3%
  2253. Parity Multisig Bug 2: False
  2254. Callstack Depth Attack Vulnerability: False
  2255. Transaction-Ordering Dependence (TOD): True
  2256. Timestamp Dependency: False
  2257. Re-Entrancy Vulnerability: False
  2258. Assertion Failure: True
  2259. Flow1
  2260. /home/alex/Work/augur-core/source/contracts/trading/CancelOrder.sol:42:24: Warning: Transaction-Ordering Dependency.
  2261. _orders.removeOrder(_orderId);
  2262. ^
  2263. Spanning multiple lines.
  2264. Flow2
  2265. /home/alex/Work/augur-core/source/contracts/trading/CancelOrder.sol:42:24: Warning: Transaction-Ordering Dependency.
  2266. _orders.removeOrder(_orderId);
  2267. ^
  2268. Spanning multiple lines.
  2269. /home/alex/Work/augur-core/source/contracts/trading/CancelOrder.sol:44:9: Warning: Assertion Failure.
  2270. refundOrder(msg.sender, _type, _sharesEscrowed, _moneyEscrowed, _market, _outcome)
  2271. Assertion violates when:
  2272. _orderId = 115792089237316195423570985008687907853269984665640564039457584007913129639935
  2273. ====== Analysis Completed ======
  2274. contract /home/alex/Work/augur-core/source/contracts/trading/ICancelOrder.sol:ICancelOrder:
  2275. ============ Results ===========
  2276. EVM Code Coverage: 100.0%
  2277. Parity Multisig Bug 2: False
  2278. Callstack Depth Attack Vulnerability: False
  2279. Transaction-Ordering Dependence (TOD): False
  2280. Timestamp Dependency: False
  2281. Re-Entrancy Vulnerability: False
  2282. Assertion Failure: False
  2283. ====== Analysis Completed ======
  2284. contract /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
  2285. ============ Results ===========
  2286. EVM Code Coverage: 100.0%
  2287. Parity Multisig Bug 2: False
  2288. Callstack Depth Attack Vulnerability: False
  2289. Transaction-Ordering Dependence (TOD): False
  2290. Timestamp Dependency: False
  2291. Re-Entrancy Vulnerability: False
  2292. Assertion Failure: False
  2293. ====== Analysis Completed ======
  2294. contract /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
  2295. ============ Results ===========
  2296. EVM Code Coverage: 97.6%
  2297. Parity Multisig Bug 2: False
  2298. Callstack Depth Attack Vulnerability: False
  2299. Transaction-Ordering Dependence (TOD): True
  2300. Timestamp Dependency: False
  2301. Re-Entrancy Vulnerability: False
  2302. Assertion Failure: False
  2303. Flow1
  2304. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  2305. _target.transfer(this.balance)
  2306. Flow2
  2307. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  2308. _target.transfer(this.balance)
  2309. ====== Analysis Completed ======
  2310. contract /home/alex/Work/augur-core/source/contracts/libraries/CashAutoConverter.sol:CashAutoConverter:
  2311. ============ Results ===========
  2312. EVM Code Coverage: 97.6%
  2313. Parity Multisig Bug 2: False
  2314. Callstack Depth Attack Vulnerability: False
  2315. Transaction-Ordering Dependence (TOD): True
  2316. Timestamp Dependency: False
  2317. Re-Entrancy Vulnerability: False
  2318. Assertion Failure: False
  2319. Flow1
  2320. Flow2
  2321. ====== Analysis Completed ======
  2322. contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
  2323. ============ Results ===========
  2324. EVM Code Coverage: 98.7%
  2325. Parity Multisig Bug 2: False
  2326. Callstack Depth Attack Vulnerability: False
  2327. Transaction-Ordering Dependence (TOD): False
  2328. Timestamp Dependency: False
  2329. Re-Entrancy Vulnerability: False
  2330. Assertion Failure: False
  2331. ====== Analysis Completed ======
  2332. contract /home/alex/Work/augur-core/source/contracts/libraries/MarketValidator.sol:MarketValidator:
  2333. ============ Results ===========
  2334. EVM Code Coverage: 97.6%
  2335. Parity Multisig Bug 2: False
  2336. Callstack Depth Attack Vulnerability: False
  2337. Transaction-Ordering Dependence (TOD): True
  2338. Timestamp Dependency: False
  2339. Re-Entrancy Vulnerability: False
  2340. Assertion Failure: False
  2341. Flow1
  2342. Flow2
  2343. ====== Analysis Completed ======
  2344. contract /home/alex/Work/augur-core/source/contracts/libraries/ReentrancyGuard.sol:ReentrancyGuard:
  2345. ============ Results ===========
  2346. EVM Code Coverage: 100.0%
  2347. Parity Multisig Bug 2: False
  2348. Callstack Depth Attack Vulnerability: False
  2349. Transaction-Ordering Dependence (TOD): False
  2350. Timestamp Dependency: False
  2351. Re-Entrancy Vulnerability: False
  2352. Assertion Failure: False
  2353. ====== Analysis Completed ======
  2354. contract /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
  2355. ============ Results ===========
  2356. EVM Code Coverage: 100.0%
  2357. Parity Multisig Bug 2: False
  2358. Callstack Depth Attack Vulnerability: False
  2359. Transaction-Ordering Dependence (TOD): False
  2360. Timestamp Dependency: False
  2361. Re-Entrancy Vulnerability: False
  2362. Assertion Failure: False
  2363. ====== Analysis Completed ======
  2364. contract /home/alex/Work/augur-core/source/contracts/reporting/Reporting.sol:Reporting:
  2365. ============ Results ===========
  2366. EVM Code Coverage: 100.0%
  2367. Parity Multisig Bug 2: False
  2368. Callstack Depth Attack Vulnerability: False
  2369. Transaction-Ordering Dependence (TOD): False
  2370. Timestamp Dependency: False
  2371. Re-Entrancy Vulnerability: False
  2372. Assertion Failure: False
  2373. ====== Analysis Completed ======
  2374. contract /home/alex/Work/augur-core/source/contracts/trading/ClaimTradingProceeds.sol:ClaimTradingProceeds:
  2375. ============ Results ===========
  2376. EVM Code Coverage: 53.9%
  2377. Parity Multisig Bug 2: False
  2378. Callstack Depth Attack Vulnerability: False
  2379. Transaction-Ordering Dependence (TOD): True
  2380. Timestamp Dependency: False
  2381. Re-Entrancy Vulnerability: False
  2382. Assertion Failure: False
  2383. Flow1
  2384. /home/alex/Work/augur-core/source/contracts/trading/ClaimTradingProceeds.sol:38:45: Warning: Transaction-Ordering Dependency.
  2385. (_proceeds, _shareHolderShare, _creatorShare, _reporterShare)
  2386. Flow2
  2387. /home/alex/Work/augur-core/source/contracts/trading/ClaimTradingProceeds.sol:38:45: Warning: Transaction-Ordering Dependency.
  2388. (_proceeds, _shareHolderShare, _creatorShare, _reporterShare)
  2389. ====== Analysis Completed ======
  2390. contract /home/alex/Work/augur-core/source/contracts/trading/IClaimTradingProceeds.sol:IClaimTradingProceeds:
  2391. ============ Results ===========
  2392. EVM Code Coverage: 100.0%
  2393. Parity Multisig Bug 2: False
  2394. Callstack Depth Attack Vulnerability: False
  2395. Transaction-Ordering Dependence (TOD): False
  2396. Timestamp Dependency: False
  2397. Re-Entrancy Vulnerability: False
  2398. Assertion Failure: False
  2399. ====== Analysis Completed ======
  2400. contract /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
  2401. ============ Results ===========
  2402. EVM Code Coverage: 100.0%
  2403. Parity Multisig Bug 2: False
  2404. Callstack Depth Attack Vulnerability: False
  2405. Transaction-Ordering Dependence (TOD): False
  2406. Timestamp Dependency: False
  2407. Re-Entrancy Vulnerability: False
  2408. Assertion Failure: False
  2409. ====== Analysis Completed ======
  2410. contract /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
  2411. ============ Results ===========
  2412. EVM Code Coverage: 97.6%
  2413. Parity Multisig Bug 2: False
  2414. Callstack Depth Attack Vulnerability: False
  2415. Transaction-Ordering Dependence (TOD): True
  2416. Timestamp Dependency: False
  2417. Re-Entrancy Vulnerability: False
  2418. Assertion Failure: False
  2419. Flow1
  2420. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  2421. _target.transfer(this.balance)
  2422. Flow2
  2423. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  2424. _target.transfer(this.balance)
  2425. ====== Analysis Completed ======
  2426. contract /home/alex/Work/augur-core/source/contracts/libraries/CashAutoConverter.sol:CashAutoConverter:
  2427. ============ Results ===========
  2428. EVM Code Coverage: 97.6%
  2429. Parity Multisig Bug 2: False
  2430. Callstack Depth Attack Vulnerability: False
  2431. Transaction-Ordering Dependence (TOD): True
  2432. Timestamp Dependency: False
  2433. Re-Entrancy Vulnerability: False
  2434. Assertion Failure: False
  2435. Flow1
  2436. Flow2
  2437. ====== Analysis Completed ======
  2438. contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
  2439. ============ Results ===========
  2440. EVM Code Coverage: 98.7%
  2441. Parity Multisig Bug 2: False
  2442. Callstack Depth Attack Vulnerability: False
  2443. Transaction-Ordering Dependence (TOD): False
  2444. Timestamp Dependency: False
  2445. Re-Entrancy Vulnerability: False
  2446. Assertion Failure: False
  2447. ====== Analysis Completed ======
  2448. contract /home/alex/Work/augur-core/source/contracts/libraries/MarketValidator.sol:MarketValidator:
  2449. ============ Results ===========
  2450. EVM Code Coverage: 97.6%
  2451. Parity Multisig Bug 2: False
  2452. Callstack Depth Attack Vulnerability: False
  2453. Transaction-Ordering Dependence (TOD): True
  2454. Timestamp Dependency: False
  2455. Re-Entrancy Vulnerability: False
  2456. Assertion Failure: False
  2457. Flow1
  2458. Flow2
  2459. ====== Analysis Completed ======
  2460. contract /home/alex/Work/augur-core/source/contracts/libraries/ReentrancyGuard.sol:ReentrancyGuard:
  2461. ============ Results ===========
  2462. EVM Code Coverage: 100.0%
  2463. Parity Multisig Bug 2: False
  2464. Callstack Depth Attack Vulnerability: False
  2465. Transaction-Ordering Dependence (TOD): False
  2466. Timestamp Dependency: False
  2467. Re-Entrancy Vulnerability: False
  2468. Assertion Failure: False
  2469. ====== Analysis Completed ======
  2470. contract /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
  2471. ============ Results ===========
  2472. EVM Code Coverage: 100.0%
  2473. Parity Multisig Bug 2: False
  2474. Callstack Depth Attack Vulnerability: False
  2475. Transaction-Ordering Dependence (TOD): False
  2476. Timestamp Dependency: False
  2477. Re-Entrancy Vulnerability: False
  2478. Assertion Failure: False
  2479. ====== Analysis Completed ======
  2480. contract /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
  2481. ============ Results ===========
  2482. EVM Code Coverage: 100.0%
  2483. Parity Multisig Bug 2: False
  2484. Callstack Depth Attack Vulnerability: False
  2485. Transaction-Ordering Dependence (TOD): False
  2486. Timestamp Dependency: False
  2487. Re-Entrancy Vulnerability: False
  2488. Assertion Failure: False
  2489. ====== Analysis Completed ======
  2490. contract /home/alex/Work/augur-core/source/contracts/trading/Trade.sol:Trade:
  2491. ============ Results ===========
  2492. EVM Code Coverage: 74.2%
  2493. Parity Multisig Bug 2: False
  2494. Callstack Depth Attack Vulnerability: False
  2495. Transaction-Ordering Dependence (TOD): True
  2496. Timestamp Dependency: False
  2497. Re-Entrancy Vulnerability: True
  2498. Assertion Failure: True
  2499. Flow1
  2500. /home/alex/Work/augur-core/source/contracts/trading/Trade.sol:29:6: Warning: Transaction-Ordering Dependency.
  2501. return _result;
  2502. ^
  2503. Spanning multiple lines.
  2504. Flow2
  2505. /home/alex/Work/augur-core/source/contracts/trading/Trade.sol:29:6: Warning: Transaction-Ordering Dependency.
  2506. return _result;
  2507. ^
  2508. Spanning multiple lines.
  2509. /home/alex/Work/augur-core/source/contracts/trading/Trade.sol:61:28: Warning: Re-Entrancy Vulnerability.
  2510. bytes32 _orderId = _orders.getBestOrderId(_type, _market, _outcome)
  2511. /home/alex/Work/augur-core/source/contracts/trading/Trade.sol:20:61: Warning: Re-Entrancy Vulnerability.
  2512. function publicBuy(IMarket _market, uint256 _outcome, uint256 _fxpAmount, uint256 _price, bytes32 _betterOrderId, bytes32 _worseOrder
  2513. /home/alex/Work/augur-core/source/contracts/trading/Trade.sol:64:35: Warning: Re-Entrancy Vulnerability.
  2514. uint256 _orderPrice = _orders.getPrice(_orderId)
  2515. /home/alex/Work/augur-core/source/contracts/trading/Trade.sol:20:47: Warning: Re-Entrancy Vulnerability.
  2516. function publicBuy(IMarket _market, uint256 _outcome, uint256 _fxpAmou
  2517. /home/alex/Work/augur-core/source/contracts/trading/Trade.sol:60:35: Warning: Re-Entrancy Vulnerability.
  2518. IOrders _orders = IOrders(controller.lookup("Orders")
  2519. /home/alex/Work/augur-core/source/contracts/trading/Trade.sol:34:9: Warning: Re-Entrancy Vulnerability.
  2520. _market.assertBalances()
  2521. /home/alex/Work/augur-core/source/contracts/trading/Trade.sol:59:29: Warning: Assertion Failure.
  2522. Order.Types _type = Order.getOrderTradingTypeFromFillerDirection(_direction)
  2523. ====== Analysis Completed ======
  2524. contract /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
  2525. ============ Results ===========
  2526. EVM Code Coverage: 97.6%
  2527. Parity Multisig Bug 2: False
  2528. Callstack Depth Attack Vulnerability: False
  2529. Transaction-Ordering Dependence (TOD): True
  2530. Timestamp Dependency: False
  2531. Re-Entrancy Vulnerability: False
  2532. Assertion Failure: False
  2533. Flow1
  2534. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  2535. _target.transfer(this.balance)
  2536. Flow2
  2537. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  2538. _target.transfer(this.balance)
  2539. ====== Analysis Completed ======
  2540. contract /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
  2541. ============ Results ===========
  2542. EVM Code Coverage: 97.8%
  2543. Parity Multisig Bug 2: False
  2544. Callstack Depth Attack Vulnerability: False
  2545. Transaction-Ordering Dependence (TOD): True
  2546. Timestamp Dependency: False
  2547. Re-Entrancy Vulnerability: False
  2548. Assertion Failure: False
  2549. Flow1
  2550. Flow2
  2551. ====== Analysis Completed ======
  2552. contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
  2553. ============ Results ===========
  2554. EVM Code Coverage: 98.7%
  2555. Parity Multisig Bug 2: False
  2556. Callstack Depth Attack Vulnerability: False
  2557. Transaction-Ordering Dependence (TOD): False
  2558. Timestamp Dependency: False
  2559. Re-Entrancy Vulnerability: False
  2560. Assertion Failure: False
  2561. ====== Analysis Completed ======
  2562. contract /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
  2563. ============ Results ===========
  2564. EVM Code Coverage: 100.0%
  2565. Parity Multisig Bug 2: False
  2566. Callstack Depth Attack Vulnerability: False
  2567. Transaction-Ordering Dependence (TOD): False
  2568. Timestamp Dependency: False
  2569. Re-Entrancy Vulnerability: False
  2570. Assertion Failure: False
  2571. ====== Analysis Completed ======
  2572. contract /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
  2573. ============ Results ===========
  2574. EVM Code Coverage: 100.0%
  2575. Parity Multisig Bug 2: False
  2576. Callstack Depth Attack Vulnerability: False
  2577. Transaction-Ordering Dependence (TOD): False
  2578. Timestamp Dependency: False
  2579. Re-Entrancy Vulnerability: False
  2580. Assertion Failure: False
  2581. ====== Analysis Completed ======
  2582. contract /home/alex/Work/augur-core/source/contracts/trading/ShareToken.sol:ShareToken:
  2583. ============ Results ===========
  2584. EVM Code Coverage: 91.4%
  2585. Parity Multisig Bug 2: False
  2586. Callstack Depth Attack Vulnerability: False
  2587. Transaction-Ordering Dependence (TOD): True
  2588. Timestamp Dependency: False
  2589. Re-Entrancy Vulnerability: False
  2590. Assertion Failure: False
  2591. Flow1
  2592. /home/alex/Work/augur-core/source/contracts/trading/ShareToken.sol:42:134: Warning: Transaction-Ordering Dependency.
  2593. function trustedFillOrderTransfer(address _source, address _destination, uint256 _attotokens) public onlyCaller("FillOrder") onlyInGoodTimes afterInitialized r
  2594. Flow2
  2595. /home/alex/Work/augur-core/source/contracts/trading/ShareToken.sol:42:134: Warning: Transaction-Ordering Dependency.
  2596. function trustedFillOrderTransfer(address _source, address _destination, uint256 _attotokens) public onlyCaller("FillOrder") onlyInGoodTimes afterInitialized r
  2597. ====== Analysis Completed ======
  2598. contract /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
  2599. ============ Results ===========
  2600. EVM Code Coverage: 97.6%
  2601. Parity Multisig Bug 2: False
  2602. Callstack Depth Attack Vulnerability: False
  2603. Transaction-Ordering Dependence (TOD): True
  2604. Timestamp Dependency: False
  2605. Re-Entrancy Vulnerability: False
  2606. Assertion Failure: False
  2607. Flow1
  2608. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  2609. _target.transfer(this.balance)
  2610. Flow2
  2611. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  2612. _target.transfer(this.balance)
  2613. ====== Analysis Completed ======
  2614. contract /home/alex/Work/augur-core/source/contracts/libraries/CashAutoConverter.sol:CashAutoConverter:
  2615. ============ Results ===========
  2616. EVM Code Coverage: 97.6%
  2617. Parity Multisig Bug 2: False
  2618. Callstack Depth Attack Vulnerability: False
  2619. Transaction-Ordering Dependence (TOD): True
  2620. Timestamp Dependency: False
  2621. Re-Entrancy Vulnerability: False
  2622. Assertion Failure: False
  2623. Flow1
  2624. Flow2
  2625. ====== Analysis Completed ======
  2626. contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
  2627. ============ Results ===========
  2628. EVM Code Coverage: 98.7%
  2629. Parity Multisig Bug 2: False
  2630. Callstack Depth Attack Vulnerability: False
  2631. Transaction-Ordering Dependence (TOD): False
  2632. Timestamp Dependency: False
  2633. Re-Entrancy Vulnerability: False
  2634. Assertion Failure: False
  2635. ====== Analysis Completed ======
  2636. contract /home/alex/Work/augur-core/source/contracts/libraries/MarketValidator.sol:MarketValidator:
  2637. ============ Results ===========
  2638. EVM Code Coverage: 97.6%
  2639. Parity Multisig Bug 2: False
  2640. Callstack Depth Attack Vulnerability: False
  2641. Transaction-Ordering Dependence (TOD): True
  2642. Timestamp Dependency: False
  2643. Re-Entrancy Vulnerability: False
  2644. Assertion Failure: False
  2645. Flow1
  2646. Flow2
  2647. ====== Analysis Completed ======
  2648. contract /home/alex/Work/augur-core/source/contracts/libraries/ReentrancyGuard.sol:ReentrancyGuard:
  2649. ============ Results ===========
  2650. EVM Code Coverage: 100.0%
  2651. Parity Multisig Bug 2: False
  2652. Callstack Depth Attack Vulnerability: False
  2653. Transaction-Ordering Dependence (TOD): False
  2654. Timestamp Dependency: False
  2655. Re-Entrancy Vulnerability: False
  2656. Assertion Failure: False
  2657. ====== Analysis Completed ======
  2658. contract /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
  2659. ============ Results ===========
  2660. EVM Code Coverage: 100.0%
  2661. Parity Multisig Bug 2: False
  2662. Callstack Depth Attack Vulnerability: False
  2663. Transaction-Ordering Dependence (TOD): False
  2664. Timestamp Dependency: False
  2665. Re-Entrancy Vulnerability: False
  2666. Assertion Failure: False
  2667. ====== Analysis Completed ======
  2668. contract /home/alex/Work/augur-core/source/contracts/trading/CreateOrder.sol:CreateOrder:
  2669. ============ Results ===========
  2670. EVM Code Coverage: 36.3%
  2671. Parity Multisig Bug 2: False
  2672. Callstack Depth Attack Vulnerability: False
  2673. Transaction-Ordering Dependence (TOD): True
  2674. Timestamp Dependency: False
  2675. Re-Entrancy Vulnerability: True
  2676. Assertion Failure: False
  2677. Flow1
  2678. /home/alex/Work/augur-core/source/contracts/trading/CreateOrder.sol:25:111: Warning: Transaction-Ordering Dependency.
  2679. Order.Data memory _orderData = Order.create(controller, _creator, _outcome, _type, _attoshares, _displayPrice, _market, _betterOrder
  2680. Flow2
  2681. /home/alex/Work/augur-core/source/contracts/trading/CreateOrder.sol:25:111: Warning: Transaction-Ordering Dependency.
  2682. Order.Data memory _orderData = Order.create(controller, _creator, _outcome, _type, _attoshares, _displayPrice, _market, _betterOrder
  2683. /home/alex/Work/augur-core/source/contracts/trading/CreateOrder.sol:18:20: Warning: Re-Entrancy Vulnerability.
  2684. function publicCreateOrder(Order.Types _type, uint256 _attoshares, uint256 _displayPrice, IM
  2685. /home/alex/Work/augur-core/source/contracts/trading/CreateOrder.sol:19:68: Warning: Re-Entrancy Vulnerability.
  2686. bytes32 _result = this.createOrder(msg.sender, _type, _attoshares, _displayPrice
  2687. /home/alex/Work/augur-core/source/contracts/trading/CreateOrder.sol:18:215: Warning: Re-Entrancy Vulnerability.
  2688. function publicCreateOrder(Order.Types _type, uint256 _attoshares, uint256 _displayPrice, IMarket _market, uint256 _outcome, bytes32 _betterOrderId, bytes32 _worseOrderId, bytes32 _tradeGroupId) external payable marketIsLegit(_market)
  2689. /home/alex/Work/augur-core/source/contracts/trading/CreateOrder.sol:19:103: Warning: Re-Entrancy Vulnerability.
  2690. bytes32 _result = this.createOrder(msg.sender, _type, _attoshares, _displayPrice, _market, _outcome, _betterOrderId, _worseOrderId, _tradeGroupId);
  2691. ^
  2692. Spanning multiple lines.
  2693. /home/alex/Work/augur-core/source/contracts/trading/CreateOrder.sol:19:27: Warning: Re-Entrancy Vulnerability.
  2694. bytes32 _result = this.createOrder(msg.sender, _type, _attoshares, _displayPrice, _market, _outcome, _betterOrderId, _worseOrderId, _tradeGroupId)
  2695. /home/alex/Work/augur-core/source/contracts/trading/CreateOrder.sol:18:6: Warning: Re-Entrancy Vulnerability.
  2696. function publicCreateOrder(Or
  2697. /home/alex/Work/augur-core/source/contracts/trading/CreateOrder.sol:20:9: Warning: Re-Entrancy Vulnerability.
  2698. _market.assertBalances()
  2699. /home/alex/Work/augur-core/source/contracts/trading/CreateOrder.sol:20:22: Warning: Re-Entrancy Vulnerability.
  2700. _market.assertBalances();
  2701. ^
  2702. Spanning multiple lines.
  2703. /home/alex/Work/augur-core/source/contracts/trading/CreateOrder.sol:18:275: Warning: Re-Entrancy Vulnerability.
  2704. function publicCreateOrder(Order.Types _type, uint256 _attoshares, uint256 _displayPrice, IMarket _market, uint256 _outcome, bytes32 _betterOrderId, bytes32 _worseOrderId, bytes32 _tradeGroupId) external payable marketIsLegit(_market) convertToAndFromCash onlyInGoodTimes returns (bytes32) {
  2705. ^
  2706. Spanning multiple lines.
  2707. ====== Analysis Completed ======
  2708. contract /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
  2709. ============ Results ===========
  2710. EVM Code Coverage: 100.0%
  2711. Parity Multisig Bug 2: False
  2712. Callstack Depth Attack Vulnerability: False
  2713. Transaction-Ordering Dependence (TOD): False
  2714. Timestamp Dependency: False
  2715. Re-Entrancy Vulnerability: False
  2716. Assertion Failure: False
  2717. ====== Analysis Completed ======
  2718. contract /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
  2719. ============ Results ===========
  2720. EVM Code Coverage: 97.6%
  2721. Parity Multisig Bug 2: False
  2722. Callstack Depth Attack Vulnerability: False
  2723. Transaction-Ordering Dependence (TOD): True
  2724. Timestamp Dependency: False
  2725. Re-Entrancy Vulnerability: False
  2726. Assertion Failure: False
  2727. Flow1
  2728. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  2729. _target.transfer(this.balance)
  2730. Flow2
  2731. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  2732. _target.transfer(this.balance)
  2733. ====== Analysis Completed ======
  2734. contract /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
  2735. ============ Results ===========
  2736. EVM Code Coverage: 97.8%
  2737. Parity Multisig Bug 2: False
  2738. Callstack Depth Attack Vulnerability: False
  2739. Transaction-Ordering Dependence (TOD): True
  2740. Timestamp Dependency: False
  2741. Re-Entrancy Vulnerability: False
  2742. Assertion Failure: False
  2743. Flow1
  2744. Flow2
  2745. ====== Analysis Completed ======
  2746. contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
  2747. ============ Results ===========
  2748. EVM Code Coverage: 98.7%
  2749. Parity Multisig Bug 2: False
  2750. Callstack Depth Attack Vulnerability: False
  2751. Transaction-Ordering Dependence (TOD): False
  2752. Timestamp Dependency: False
  2753. Re-Entrancy Vulnerability: False
  2754. Assertion Failure: False
  2755. ====== Analysis Completed ======
  2756. contract /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
  2757. ============ Results ===========
  2758. EVM Code Coverage: 100.0%
  2759. Parity Multisig Bug 2: False
  2760. Callstack Depth Attack Vulnerability: False
  2761. Transaction-Ordering Dependence (TOD): False
  2762. Timestamp Dependency: False
  2763. Re-Entrancy Vulnerability: False
  2764. Assertion Failure: False
  2765. ====== Analysis Completed ======
  2766. contract /home/alex/Work/augur-core/source/contracts/trading/Cash.sol:Cash:
  2767. ============ Results ===========
  2768. EVM Code Coverage: 99.1%
  2769. Parity Multisig Bug 2: False
  2770. Callstack Depth Attack Vulnerability: False
  2771. Transaction-Ordering Dependence (TOD): True
  2772. Timestamp Dependency: False
  2773. Re-Entrancy Vulnerability: False
  2774. Assertion Failure: True
  2775. Flow1
  2776. /home/alex/Work/augur-core/source/contracts/trading/Cash.sol:47:4: Warning: Transaction-Ordering Dependency.
  2777. return true;
  2778. ^
  2779. Spanning multiple lines.
  2780. Flow2
  2781. /home/alex/Work/augur-core/source/contracts/trading/Cash.sol:47:4: Warning: Transaction-Ordering Dependency.
  2782. return true;
  2783. ^
  2784. Spanning multiple lines.
  2785. /home/alex/Work/augur-core/source/contracts/trading/Cash.sol:46:9: Warning: Assertion Failure.
  2786. assert(this.balance >= totalSupply())
  2787. Assertion violates when:
  2788. _amount = 1
  2789. balances = 1
  2790. ====== Analysis Completed ======
  2791. contract /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
  2792. ============ Results ===========
  2793. EVM Code Coverage: 100.0%
  2794. Parity Multisig Bug 2: False
  2795. Callstack Depth Attack Vulnerability: False
  2796. Transaction-Ordering Dependence (TOD): False
  2797. Timestamp Dependency: False
  2798. Re-Entrancy Vulnerability: False
  2799. Assertion Failure: False
  2800. ====== Analysis Completed ======
  2801. contract /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
  2802. ============ Results ===========
  2803. EVM Code Coverage: 97.6%
  2804. Parity Multisig Bug 2: False
  2805. Callstack Depth Attack Vulnerability: False
  2806. Transaction-Ordering Dependence (TOD): True
  2807. Timestamp Dependency: False
  2808. Re-Entrancy Vulnerability: False
  2809. Assertion Failure: False
  2810. Flow1
  2811. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  2812. _target.transfer(this.balance)
  2813. Flow2
  2814. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  2815. _target.transfer(this.balance)
  2816. ====== Analysis Completed ======
  2817. contract /home/alex/Work/augur-core/source/contracts/libraries/CashAutoConverter.sol:CashAutoConverter:
  2818. ============ Results ===========
  2819. EVM Code Coverage: 97.6%
  2820. Parity Multisig Bug 2: False
  2821. Callstack Depth Attack Vulnerability: False
  2822. Transaction-Ordering Dependence (TOD): True
  2823. Timestamp Dependency: False
  2824. Re-Entrancy Vulnerability: False
  2825. Assertion Failure: False
  2826. Flow1
  2827. Flow2
  2828. ====== Analysis Completed ======
  2829. contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
  2830. ============ Results ===========
  2831. EVM Code Coverage: 98.7%
  2832. Parity Multisig Bug 2: False
  2833. Callstack Depth Attack Vulnerability: False
  2834. Transaction-Ordering Dependence (TOD): False
  2835. Timestamp Dependency: False
  2836. Re-Entrancy Vulnerability: False
  2837. Assertion Failure: False
  2838. ====== Analysis Completed ======
  2839. contract /home/alex/Work/augur-core/source/contracts/libraries/MarketValidator.sol:MarketValidator:
  2840. ============ Results ===========
  2841. EVM Code Coverage: 97.6%
  2842. Parity Multisig Bug 2: False
  2843. Callstack Depth Attack Vulnerability: False
  2844. Transaction-Ordering Dependence (TOD): True
  2845. Timestamp Dependency: False
  2846. Re-Entrancy Vulnerability: False
  2847. Assertion Failure: False
  2848. Flow1
  2849. Flow2
  2850. ====== Analysis Completed ======
  2851. contract /home/alex/Work/augur-core/source/contracts/libraries/ReentrancyGuard.sol:ReentrancyGuard:
  2852. ============ Results ===========
  2853. EVM Code Coverage: 100.0%
  2854. Parity Multisig Bug 2: False
  2855. Callstack Depth Attack Vulnerability: False
  2856. Transaction-Ordering Dependence (TOD): False
  2857. Timestamp Dependency: False
  2858. Re-Entrancy Vulnerability: False
  2859. Assertion Failure: False
  2860. ====== Analysis Completed ======
  2861. contract /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
  2862. ============ Results ===========
  2863. EVM Code Coverage: 100.0%
  2864. Parity Multisig Bug 2: False
  2865. Callstack Depth Attack Vulnerability: False
  2866. Transaction-Ordering Dependence (TOD): False
  2867. Timestamp Dependency: False
  2868. Re-Entrancy Vulnerability: False
  2869. Assertion Failure: False
  2870. ====== Analysis Completed ======
  2871. contract /home/alex/Work/augur-core/source/contracts/trading/CompleteSets.sol:CompleteSets:
  2872. ============ Results ===========
  2873. EVM Code Coverage: 80.5%
  2874. Parity Multisig Bug 2: False
  2875. Callstack Depth Attack Vulnerability: False
  2876. Transaction-Ordering Dependence (TOD): True
  2877. Timestamp Dependency: False
  2878. Re-Entrancy Vulnerability: True
  2879. Assertion Failure: False
  2880. Flow1
  2881. /home/alex/Work/augur-core/source/contracts/trading/CompleteSets.sol:38:34: Warning: Transaction-Ordering Dependency.
  2882. require(_augur.trustedTransfer(_denominationToken, _sen
  2883. Flow2
  2884. /home/alex/Work/augur-core/source/contracts/trading/CompleteSets.sol:38:34: Warning: Transaction-Ordering Dependency.
  2885. require(_augur.trustedTransfer(_denominationToken, _sen
  2886. /home/alex/Work/augur-core/source/contracts/trading/CompleteSets.sol:26:9: Warning: Re-Entrancy Vulnerability.
  2887. _market.assertBalances()
  2888. /home/alex/Work/augur-core/source/contracts/trading/CompleteSets.sol:21:43: Warning: Re-Entrancy Vulnerability.
  2889. * Buys `_amount` shares of every outcome in the specified market.
  2890. ^
  2891. Spanning multiple lines.
  2892. /home/alex/Work/augur-core/source/contracts/trading/CompleteSets.sol:25:85: Warning: Re-Entrancy Vulnerability.
  2893. controller.getAugur().logCompleteSetsPurchased(_market.getUniverse(), _market, msg.sender, _amoun
  2894. /home/alex/Work/augur-core/source/contracts/trading/CompleteSets.sol:23:159: Warning: Re-Entrancy Vulnerability.
  2895. function publicBuyCompleteSets(IMarket _market, uint256 _amount) external marketIsLegit(_market) payable convertToAndFromCash onlyInGoodTimes returns (bool) {
  2896. ^
  2897. Spanning multiple lines.
  2898. /home/alex/Work/augur-core/source/contracts/trading/CompleteSets.sol:26:11: Warning: Re-Entrancy Vulnerability.
  2899. _market.assertBalances();
  2900. ^
  2901. Spanning multiple lines.
  2902. /home/alex/Work/augur-core/source/contracts/trading/CompleteSets.sol:25:9: Warning: Re-Entrancy Vulnerability.
  2903. controller.getAugur()
  2904. /home/alex/Work/augur-core/source/contracts/trading/CompleteSets.sol:21:29: Warning: Re-Entrancy Vulnerability.
  2905. * Buys `_amount` shares of every outcome in the spe
  2906. /home/alex/Work/augur-core/source/contracts/trading/CompleteSets.sol:25:9: Warning: Re-Entrancy Vulnerability.
  2907. controller.getAugur().logCompleteSetsPurchased(_market.getUniverse(), _market, msg.sender, _amount)
  2908. /home/alex/Work/augur-core/source/contracts/trading/CompleteSets.sol:25:56: Warning: Re-Entrancy Vulnerability.
  2909. controller.getAugur().logCompleteSetsPurchased(_market.getUniverse()
  2910. /home/alex/Work/augur-core/source/contracts/trading/CompleteSets.sol:30:24: Warning: Re-Entrancy Vulnerability.
  2911. function buyCompleteSets(address _sender, IMarket _market, uint256
  2912. /home/alex/Work/augur-core/source/contracts/trading/CompleteSets.sol:24:9: Warning: Re-Entrancy Vulnerability.
  2913. this.buyCompleteSets(msg.sender, _market, _amount)
  2914. /home/alex/Work/augur-core/source/contracts/trading/CompleteSets.sol:24:56: Warning: Re-Entrancy Vulnerability.
  2915. this.buyCompleteSets(msg.sender, _market, _amount);
  2916. ^
  2917. Spanning multiple lines.
  2918. ====== Analysis Completed ======
  2919. contract /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
  2920. ============ Results ===========
  2921. EVM Code Coverage: 100.0%
  2922. Parity Multisig Bug 2: False
  2923. Callstack Depth Attack Vulnerability: False
  2924. Transaction-Ordering Dependence (TOD): False
  2925. Timestamp Dependency: False
  2926. Re-Entrancy Vulnerability: False
  2927. Assertion Failure: False
  2928. ====== Analysis Completed ======
  2929. contract /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
  2930. ============ Results ===========
  2931. EVM Code Coverage: 97.6%
  2932. Parity Multisig Bug 2: False
  2933. Callstack Depth Attack Vulnerability: False
  2934. Transaction-Ordering Dependence (TOD): True
  2935. Timestamp Dependency: False
  2936. Re-Entrancy Vulnerability: False
  2937. Assertion Failure: False
  2938. Flow1
  2939. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  2940. _target.transfer(this.balance)
  2941. Flow2
  2942. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  2943. _target.transfer(this.balance)
  2944. ====== Analysis Completed ======
  2945. contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
  2946. ============ Results ===========
  2947. EVM Code Coverage: 98.7%
  2948. Parity Multisig Bug 2: False
  2949. Callstack Depth Attack Vulnerability: False
  2950. Transaction-Ordering Dependence (TOD): False
  2951. Timestamp Dependency: False
  2952. Re-Entrancy Vulnerability: False
  2953. Assertion Failure: False
  2954. ====== Analysis Completed ======
  2955. contract /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
  2956. ============ Results ===========
  2957. EVM Code Coverage: 100.0%
  2958. Parity Multisig Bug 2: False
  2959. Callstack Depth Attack Vulnerability: False
  2960. Transaction-Ordering Dependence (TOD): False
  2961. Timestamp Dependency: False
  2962. Re-Entrancy Vulnerability: False
  2963. Assertion Failure: False
  2964. ====== Analysis Completed ======
  2965. contract /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
  2966. ============ Results ===========
  2967. EVM Code Coverage: 100.0%
  2968. Parity Multisig Bug 2: False
  2969. Callstack Depth Attack Vulnerability: False
  2970. Transaction-Ordering Dependence (TOD): False
  2971. Timestamp Dependency: False
  2972. Re-Entrancy Vulnerability: False
  2973. Assertion Failure: False
  2974. ====== Analysis Completed ======
  2975. contract /home/alex/Work/augur-core/source/contracts/trading/OrdersFetcher.sol:OrdersFetcher:
  2976. ============ Results ===========
  2977. EVM Code Coverage: 87.4%
  2978. Parity Multisig Bug 2: False
  2979. Callstack Depth Attack Vulnerability: False
  2980. Transaction-Ordering Dependence (TOD): True
  2981. Timestamp Dependency: False
  2982. Re-Entrancy Vulnerability: False
  2983. Assertion Failure: True
  2984. Flow1
  2985. /home/alex/Work/augur-core/source/contracts/trading/OrdersFetcher.sol:36:68: Warning: Transaction-Ordering Dependency.
  2986. _worseOrderId = _orders.getBetterOrderId(_worseOrderId);
  2987. ^
  2988. Spanning multiple lines.
  2989. Flow2
  2990. /home/alex/Work/augur-core/source/contracts/trading/OrdersFetcher.sol:36:68: Warning: Transaction-Ordering Dependency.
  2991. _worseOrderId = _orders.getBetterOrderId(_worseOrderId);
  2992. ^
  2993. Spanning multiple lines.
  2994. /home/alex/Work/augur-core/source/contracts/trading/OrdersFetcher.sol:96:21: Warning: Assertion Failure.
  2995. return (descendOrderList(_type, _price, _bestOrderId)
  2996. Assertion violates when:
  2997. _type = 254
  2998. _worstOrderId = 0
  2999. _bestOrderId = 115792089237316195423570985008687907853269984665640564039457584007913129639935
  3000. _worseOrderId = 0
  3001. _betterOrderId = 0
  3002. ====== Analysis Completed ======
  3003. contract /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
  3004. ============ Results ===========
  3005. EVM Code Coverage: 97.6%
  3006. Parity Multisig Bug 2: False
  3007. Callstack Depth Attack Vulnerability: False
  3008. Transaction-Ordering Dependence (TOD): True
  3009. Timestamp Dependency: False
  3010. Re-Entrancy Vulnerability: False
  3011. Assertion Failure: False
  3012. Flow1
  3013. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  3014. _target.transfer(this.balance)
  3015. Flow2
  3016. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  3017. _target.transfer(this.balance)
  3018. ====== Analysis Completed ======
  3019. contract /home/alex/Work/augur-core/source/contracts/libraries/CashAutoConverter.sol:CashAutoConverter:
  3020. ============ Results ===========
  3021. EVM Code Coverage: 97.6%
  3022. Parity Multisig Bug 2: False
  3023. Callstack Depth Attack Vulnerability: False
  3024. Transaction-Ordering Dependence (TOD): True
  3025. Timestamp Dependency: False
  3026. Re-Entrancy Vulnerability: False
  3027. Assertion Failure: False
  3028. Flow1
  3029. Flow2
  3030. ====== Analysis Completed ======
  3031. contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
  3032. ============ Results ===========
  3033. EVM Code Coverage: 98.7%
  3034. Parity Multisig Bug 2: False
  3035. Callstack Depth Attack Vulnerability: False
  3036. Transaction-Ordering Dependence (TOD): False
  3037. Timestamp Dependency: False
  3038. Re-Entrancy Vulnerability: False
  3039. Assertion Failure: False
  3040. ====== Analysis Completed ======
  3041. contract /home/alex/Work/augur-core/source/contracts/libraries/ReentrancyGuard.sol:ReentrancyGuard:
  3042. ============ Results ===========
  3043. EVM Code Coverage: 100.0%
  3044. Parity Multisig Bug 2: False
  3045. Callstack Depth Attack Vulnerability: False
  3046. Transaction-Ordering Dependence (TOD): False
  3047. Timestamp Dependency: False
  3048. Re-Entrancy Vulnerability: False
  3049. Assertion Failure: False
  3050. ====== Analysis Completed ======
  3051. contract /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
  3052. ============ Results ===========
  3053. EVM Code Coverage: 100.0%
  3054. Parity Multisig Bug 2: False
  3055. Callstack Depth Attack Vulnerability: False
  3056. Transaction-Ordering Dependence (TOD): False
  3057. Timestamp Dependency: False
  3058. Re-Entrancy Vulnerability: False
  3059. Assertion Failure: False
  3060. ====== Analysis Completed ======
  3061. contract /home/alex/Work/augur-core/source/contracts/trading/FillOrder.sol:DirectionExtensions:
  3062. ============ Results ===========
  3063. EVM Code Coverage: 100.0%
  3064. Parity Multisig Bug 2: False
  3065. Callstack Depth Attack Vulnerability: False
  3066. Transaction-Ordering Dependence (TOD): False
  3067. Timestamp Dependency: False
  3068. Re-Entrancy Vulnerability: False
  3069. Assertion Failure: False
  3070. ====== Analysis Completed ======
  3071. contract /home/alex/Work/augur-core/source/contracts/trading/FillOrder.sol:FillOrder:
  3072. ============ Results ===========
  3073. EVM Code Coverage: 23.1%
  3074. Parity Multisig Bug 2: False
  3075. Callstack Depth Attack Vulnerability: False
  3076. Transaction-Ordering Dependence (TOD): True
  3077. Timestamp Dependency: False
  3078. Re-Entrancy Vulnerability: True
  3079. Assertion Failure: False
  3080. Flow1
  3081. /home/alex/Work/augur-core/source/contracts/trading/FillOrder.sol:56:19: Warning: Transaction-Ordering Dependency.
  3082. Participant creator;
  3083. ^
  3084. Spanning multiple lines.
  3085. Flow2
  3086. /home/alex/Work/augur-core/source/contracts/trading/FillOrder.sol:17:198: Warning: Transaction-Ordering Dependency.
  3087. // CONSIDER: At some point it would probably be a good idea to shift much of the logic from trading contracts into extensions. In particular this means sorting for making and WCL calculcations + order walking for taking.
  3088. ^
  3089. Spanning multiple lines.
  3090. /home/alex/Work/augur-core/source/contracts/trading/FillOrder.sol:379:27: Warning: Re-Entrancy Vulnerability.
  3091. uint256 _result = this.fillOrder(msg.sender, _orderId, _amountFillerWants, _tradeGroupId)
  3092. /home/alex/Work/augur-core/source/contracts/trading/FillOrder.sol:17:198: Warning: Re-Entrancy Vulnerability.
  3093. // CONSIDER: At some point it would probably be a good idea to shift much of the logic from trading contracts into extensions. In particular this means sorting for making and WCL calculcations + order walking for taking.
  3094. ^
  3095. Spanning multiple lines.
  3096. /home/alex/Work/augur-core/source/contracts/trading/FillOrder.sol:32:33: Warning: Re-Entrancy Vulnerability.
  3097. IShareToken[] shortShareTokens;
  3098. ^
  3099. Spanning multiple lines.
  3100. /home/alex/Work/augur-core/source/contracts/trading/FillOrder.sol:28:13: Warning: Re-Entrancy Vulnerability.
  3101. IMarket market;
  3102. ^
  3103. Spanning multiple lines.
  3104. /home/alex/Work/augur-core/source/contracts/trading/FillOrder.sol:381:9: Warning: Re-Entrancy Vulnerability.
  3105. _market.assertBalances()
  3106. /home/alex/Work/augur-core/source/contracts/trading/FillOrder.sol:34:6: Warning: Re-Entrancy Vulnerability.
  3107. }
  3108. ^
  3109. Spanning multiple lines.
  3110. /home/alex/Work/augur-core/source/contracts/trading/FillOrder.sol:17:184: Warning: Re-Entrancy Vulnerability.
  3111. // CONSIDER: At some point it would probably be a good idea to shift much of the logic from trading contracts into extensions. In particular this means sorting for making and WCL calculcations + order walking fo
  3112. /home/alex/Work/augur-core/source/contracts/trading/FillOrder.sol:380:35: Warning: Re-Entrancy Vulnerability.
  3113. IMarket _market = IOrders(controller.lookup("Orders")
  3114. /home/alex/Work/augur-core/source/contracts/trading/FillOrder.sol:380:27: Warning: Re-Entrancy Vulnerability.
  3115. IMarket _market = IOrders(controller.lookup("Orders")).getMarket(_orderId)
  3116. /home/alex/Work/augur-core/source/contracts/trading/FillOrder.sol:38:24: Warning: Re-Entrancy Vulnerability.
  3117. uint256 outcome;
  3118. ^
  3119. Spanning multiple lines.
  3120. /home/alex/Work/augur-core/source/contracts/trading/FillOrder.sol:30:13: Warning: Re-Entrancy Vulnerability.
  3121. ICash denominationToken;
  3122. ^
  3123. Spanning multiple lines.
  3124. ====== Analysis Completed ======
  3125. contract /home/alex/Work/augur-core/source/contracts/trading/FillOrder.sol:Trade:
  3126. ============ Results ===========
  3127. EVM Code Coverage: 100.0%
  3128. Parity Multisig Bug 2: False
  3129. Callstack Depth Attack Vulnerability: False
  3130. Transaction-Ordering Dependence (TOD): False
  3131. Timestamp Dependency: False
  3132. Re-Entrancy Vulnerability: False
  3133. Assertion Failure: False
  3134. ====== Analysis Completed ======
  3135. contract /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
  3136. ============ Results ===========
  3137. EVM Code Coverage: 100.0%
  3138. Parity Multisig Bug 2: False
  3139. Callstack Depth Attack Vulnerability: False
  3140. Transaction-Ordering Dependence (TOD): False
  3141. Timestamp Dependency: False
  3142. Re-Entrancy Vulnerability: False
  3143. Assertion Failure: False
  3144. ====== Analysis Completed ======
  3145. contract /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
  3146. ============ Results ===========
  3147. EVM Code Coverage: 97.6%
  3148. Parity Multisig Bug 2: False
  3149. Callstack Depth Attack Vulnerability: False
  3150. Transaction-Ordering Dependence (TOD): True
  3151. Timestamp Dependency: False
  3152. Re-Entrancy Vulnerability: False
  3153. Assertion Failure: False
  3154. Flow1
  3155. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  3156. _target.transfer(this.balance)
  3157. Flow2
  3158. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  3159. _target.transfer(this.balance)
  3160. ====== Analysis Completed ======
  3161. contract /home/alex/Work/augur-core/source/contracts/libraries/CashAutoConverter.sol:CashAutoConverter:
  3162. ============ Results ===========
  3163. EVM Code Coverage: 97.6%
  3164. Parity Multisig Bug 2: False
  3165. Callstack Depth Attack Vulnerability: False
  3166. Transaction-Ordering Dependence (TOD): True
  3167. Timestamp Dependency: False
  3168. Re-Entrancy Vulnerability: False
  3169. Assertion Failure: False
  3170. Flow1
  3171. Flow2
  3172. ====== Analysis Completed ======
  3173. contract /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
  3174. ============ Results ===========
  3175. EVM Code Coverage: 97.8%
  3176. Parity Multisig Bug 2: False
  3177. Callstack Depth Attack Vulnerability: False
  3178. Transaction-Ordering Dependence (TOD): True
  3179. Timestamp Dependency: False
  3180. Re-Entrancy Vulnerability: False
  3181. Assertion Failure: False
  3182. Flow1
  3183. Flow2
  3184. ====== Analysis Completed ======
  3185. contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
  3186. ============ Results ===========
  3187. EVM Code Coverage: 98.7%
  3188. Parity Multisig Bug 2: False
  3189. Callstack Depth Attack Vulnerability: False
  3190. Transaction-Ordering Dependence (TOD): False
  3191. Timestamp Dependency: False
  3192. Re-Entrancy Vulnerability: False
  3193. Assertion Failure: False
  3194. ====== Analysis Completed ======
  3195. contract /home/alex/Work/augur-core/source/contracts/libraries/MarketValidator.sol:MarketValidator:
  3196. ============ Results ===========
  3197. EVM Code Coverage: 97.6%
  3198. Parity Multisig Bug 2: False
  3199. Callstack Depth Attack Vulnerability: False
  3200. Transaction-Ordering Dependence (TOD): True
  3201. Timestamp Dependency: False
  3202. Re-Entrancy Vulnerability: False
  3203. Assertion Failure: False
  3204. Flow1
  3205. Flow2
  3206. ====== Analysis Completed ======
  3207. contract /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
  3208. ============ Results ===========
  3209. EVM Code Coverage: 100.0%
  3210. Parity Multisig Bug 2: False
  3211. Callstack Depth Attack Vulnerability: False
  3212. Transaction-Ordering Dependence (TOD): False
  3213. Timestamp Dependency: False
  3214. Re-Entrancy Vulnerability: False
  3215. Assertion Failure: False
  3216. ====== Analysis Completed ======
  3217. contract /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
  3218. ============ Results ===========
  3219. EVM Code Coverage: 100.0%
  3220. Parity Multisig Bug 2: False
  3221. Callstack Depth Attack Vulnerability: False
  3222. Transaction-Ordering Dependence (TOD): False
  3223. Timestamp Dependency: False
  3224. Re-Entrancy Vulnerability: False
  3225. Assertion Failure: False
  3226. ====== Analysis Completed ======
  3227. contract /home/alex/Work/augur-core/source/contracts/trading/TradingEscapeHatch.sol:TradingEscapeHatch:
  3228. ============ Results ===========
  3229. EVM Code Coverage: 52.9%
  3230. Parity Multisig Bug 2: False
  3231. Callstack Depth Attack Vulnerability: False
  3232. Transaction-Ordering Dependence (TOD): False
  3233. Timestamp Dependency: False
  3234. Re-Entrancy Vulnerability: False
  3235. Assertion Failure: False
  3236. ====== Analysis Completed ======
  3237. contract /home/alex/Work/augur-core/source/contracts/Controlled.sol:Controlled:
  3238. ============ Results ===========
  3239. EVM Code Coverage: 97.6%
  3240. Parity Multisig Bug 2: False
  3241. Callstack Depth Attack Vulnerability: False
  3242. Transaction-Ordering Dependence (TOD): True
  3243. Timestamp Dependency: False
  3244. Re-Entrancy Vulnerability: False
  3245. Assertion Failure: False
  3246. Flow1
  3247. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  3248. _target.transfer(this.balance)
  3249. Flow2
  3250. /home/alex/Work/augur-core/source/contracts/Controlled.sol:59:9: Warning: Transaction-Ordering Dependency.
  3251. _target.transfer(this.balance)
  3252. ====== Analysis Completed ======
  3253. contract /home/alex/Work/augur-core/source/contracts/libraries/DelegationTarget.sol:DelegationTarget:
  3254. ============ Results ===========
  3255. EVM Code Coverage: 97.8%
  3256. Parity Multisig Bug 2: False
  3257. Callstack Depth Attack Vulnerability: False
  3258. Transaction-Ordering Dependence (TOD): True
  3259. Timestamp Dependency: False
  3260. Re-Entrancy Vulnerability: False
  3261. Assertion Failure: False
  3262. Flow1
  3263. Flow2
  3264. ====== Analysis Completed ======
  3265. contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
  3266. ============ Results ===========
  3267. EVM Code Coverage: 98.7%
  3268. Parity Multisig Bug 2: False
  3269. Callstack Depth Attack Vulnerability: False
  3270. Transaction-Ordering Dependence (TOD): False
  3271. Timestamp Dependency: False
  3272. Re-Entrancy Vulnerability: False
  3273. Assertion Failure: False
  3274. ====== Analysis Completed ======
  3275. contract /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathInt256.sol:SafeMathInt256:
  3276. ============ Results ===========
  3277. EVM Code Coverage: 100.0%
  3278. Parity Multisig Bug 2: False
  3279. Callstack Depth Attack Vulnerability: False
  3280. Transaction-Ordering Dependence (TOD): False
  3281. Timestamp Dependency: False
  3282. Re-Entrancy Vulnerability: False
  3283. Assertion Failure: False
  3284. ====== Analysis Completed ======
  3285. contract /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
  3286. ============ Results ===========
  3287. EVM Code Coverage: 100.0%
  3288. Parity Multisig Bug 2: False
  3289. Callstack Depth Attack Vulnerability: False
  3290. Transaction-Ordering Dependence (TOD): False
  3291. Timestamp Dependency: False
  3292. Re-Entrancy Vulnerability: False
  3293. Assertion Failure: False
  3294. ====== Analysis Completed ======
  3295. contract /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
  3296. ============ Results ===========
  3297. EVM Code Coverage: 100.0%
  3298. Parity Multisig Bug 2: False
  3299. Callstack Depth Attack Vulnerability: False
  3300. Transaction-Ordering Dependence (TOD): False
  3301. Timestamp Dependency: False
  3302. Re-Entrancy Vulnerability: False
  3303. Assertion Failure: False
  3304. ====== Analysis Completed ======
  3305. contract /home/alex/Work/augur-core/source/contracts/trading/Orders.sol:Orders:
  3306. ============ Results ===========
  3307. EVM Code Coverage: 77.5%
  3308. Parity Multisig Bug 2: False
  3309. Callstack Depth Attack Vulnerability: False
  3310. Transaction-Ordering Dependence (TOD): True
  3311. Timestamp Dependency: False
  3312. Re-Entrancy Vulnerability: False
  3313. Assertion Failure: True
  3314. Flow1
  3315. /home/alex/Work/augur-core/source/contracts/trading/Orders.sol:52:53: Warning: Transaction-Ordering Dependency.
  3316. function getOrderCreator(bytes32 _orderId) public view returns (address) {
  3317. ^
  3318. Spanning multiple lines.
  3319. Flow2
  3320. /home/alex/Work/augur-core/source/contracts/trading/Orders.sol:52:53: Warning: Transaction-Ordering Dependency.
  3321. function getOrderCreator(bytes32 _orderId) public view returns (address) {
  3322. ^
  3323. Spanning multiple lines.
  3324. /home/alex/Work/augur-core/source/contracts/trading/Orders.sol:85:27: Warning: Assertion Failure.
  3325. return worstOrder[getBestOrderWorstOrderHash(_market, _outcome, _type)
  3326. Assertion violates when:
  3327. _type = 254
  3328. /home/alex/Work/augur-core/source/contracts/trading/Orders.sol:149:20: Warning: Assertion Failure.
  3329. _orderId = getOrderId(_type, _market, _amount, _price, _sender, block.number, _outcome, _moneyEscrowed, _sharesEscrowed)
  3330. Assertion violates when:
  3331. _type = 254
  3332. _outcome = 18004803423401827660848029348735919068346528269279243844115834335381596143615
  3333. /home/alex/Work/augur-core/source/contracts/trading/Orders.sol:225:23: Warning: Assertion Failure.
  3334. if (bestOrder[getBestOrderWorstOrderHash(_market, _outcome, _type)
  3335. Assertion violates when:
  3336. orders = 254
  3337. /home/alex/Work/augur-core/source/contracts/trading/Orders.sol:184:34: Warning: Assertion Failure.
  3338. uint256 _fillPrice = _order.market.getNumTicks().sub(_order.price)
  3339. Assertion violates when:
  3340. _tokensFilled = 0
  3341. _sharesFilled = 0
  3342. _orderId = 115792089237316195423570985008687907853269984665640564039457584007913129639935
  3343. /home/alex/Work/augur-core/source/contracts/trading/Orders.sol:81:26: Warning: Assertion Failure.
  3344. return bestOrder[getBestOrderWorstOrderHash(_market, _outcome, _type)
  3345. Assertion violates when:
  3346. _type = 254
  3347. ====== Analysis Completed ======
  3348. contract /home/alex/Work/augur-core/source/contracts/libraries/Initializable.sol:Initializable:
  3349. ============ Results ===========
  3350. EVM Code Coverage: 98.7%
  3351. Parity Multisig Bug 2: False
  3352. Callstack Depth Attack Vulnerability: False
  3353. Transaction-Ordering Dependence (TOD): False
  3354. Timestamp Dependency: False
  3355. Re-Entrancy Vulnerability: False
  3356. Assertion Failure: False
  3357. ====== Analysis Completed ======
  3358. contract /home/alex/Work/augur-core/source/contracts/libraries/math/SafeMathUint256.sol:SafeMathUint256:
  3359. ============ Results ===========
  3360. EVM Code Coverage: 100.0%
  3361. Parity Multisig Bug 2: False
  3362. Callstack Depth Attack Vulnerability: False
  3363. Transaction-Ordering Dependence (TOD): False
  3364. Timestamp Dependency: False
  3365. Re-Entrancy Vulnerability: False
  3366. Assertion Failure: False
  3367. ====== Analysis Completed ======
  3368. contract /home/alex/Work/augur-core/source/contracts/trading/Order.sol:Order:
  3369. ============ Results ===========
  3370. EVM Code Coverage: 100.0%
  3371. Parity Multisig Bug 2: False
  3372. Callstack Depth Attack Vulnerability: False
  3373. Transaction-Ordering Dependence (TOD): False
  3374. Timestamp Dependency: False
  3375. Re-Entrancy Vulnerability: False
  3376. Assertion Failure: False
  3377. ====== Analysis Completed ======
Add Comment
Please, Sign In to add comment
Public Pastes
We use cookies for various purposes including analytics. By continuing to use Pastebin, you agree to our use of cookies as described in the Cookies Policy.  OK, I Understand
Not a member of Pastebin yet?
Sign Up, it unlocks many cool features!