API tools faq
paste
Advertisement
Guest User

Untitled

a guest
Jul 16th, 2018
75
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 16.69 KB | None | 0 0
raw download clone embed print report
  1. {
  2. "name": "uscc17-christophjentzsch-with-analysis",
  3. "num-bugs": 2,
  4. "covered-paths": 25,
  5. "num-costly-ops": 207644,
  6. "num-costly-ops-avoided": 63904,
  7. "last-bug-time": "20.28",
  8. "time-total": "0.73",
  9. "time-prefix": "0.27",
  10. "time-trigger-failed": "0.19",
  11. "percent-success": "17.85",
  12. "percent-success-run": "40.91",
  13. "percent-cached": "99.99"
  14. }
  15. {
  16. "name": "uscc17-christophjentzsch-without-analysis",
  17. "num-bugs": 2,
  18. "covered-paths": 26,
  19. "num-costly-ops": 228837,
  20. "num-costly-ops-avoided": 0,
  21. "last-bug-time": "15.83",
  22. "time-total": "",
  23. "time-prefix": "",
  24. "time-trigger-failed": "",
  25. "percent-success": "",
  26. "percent-success-run": "",
  27. "percent-cached": ""
  28. }
  29. {
  30. "name": "uscc17-doughoyte-with-analysis",
  31. "num-bugs": 2,
  32. "covered-paths": 33,
  33. "num-costly-ops": 156248,
  34. "num-costly-ops-avoided": 73237,
  35. "last-bug-time": "53.80",
  36. "time-total": "1.02",
  37. "time-prefix": "0.37",
  38. "time-trigger-failed": "0.23",
  39. "percent-success": "15.01",
  40. "percent-success-run": "47.50",
  41. "percent-cached": "99.99"
  42. }
  43. {
  44. "name": "uscc17-doughoyte-without-analysis",
  45. "num-bugs": 2,
  46. "covered-paths": 35,
  47. "num-costly-ops": 233167,
  48. "num-costly-ops-avoided": 0,
  49. "last-bug-time": "12.50",
  50. "time-total": "",
  51. "time-prefix": "",
  52. "time-trigger-failed": "",
  53. "percent-success": "",
  54. "percent-success-run": "",
  55. "percent-cached": ""
  56. }
  57. {
  58. "name": "uscc17-joaocarvalho-with-analysis",
  59. "num-bugs": 0,
  60. "covered-paths": 46,
  61. "num-costly-ops": 145632,
  62. "num-costly-ops-avoided": 15804,
  63. "last-bug-time": "-1.00",
  64. "time-total": "0.89",
  65. "time-prefix": "0.28",
  66. "time-trigger-failed": "0.18",
  67. "percent-success": "3.43",
  68. "percent-success-run": "17.05",
  69. "percent-cached": "99.98"
  70. }
  71. {
  72. "name": "uscc17-joaocarvalho-without-analysis",
  73. "num-bugs": 0,
  74. "covered-paths": 49,
  75. "num-costly-ops": 154164,
  76. "num-costly-ops-avoided": 0,
  77. "last-bug-time": "-1.00",
  78. "time-total": "",
  79. "time-prefix": "",
  80. "time-trigger-failed": "",
  81. "percent-success": "",
  82. "percent-success-run": "",
  83. "percent-cached": ""
  84. }
  85. {
  86. "name": "uscc17-martinswende-with-analysis",
  87. "num-bugs": 6,
  88. "covered-paths": 21,
  89. "num-costly-ops": 218697,
  90. "num-costly-ops-avoided": 8542,
  91. "last-bug-time": "50.39",
  92. "time-total": "0.73",
  93. "time-prefix": "0.27",
  94. "time-trigger-failed": "0.18",
  95. "percent-success": "4.09",
  96. "percent-success-run": "18.18",
  97. "percent-cached": "99.99"
  98. }
  99. {
  100. "name": "uscc17-martinswende-without-analysis",
  101. "num-bugs": 6,
  102. "covered-paths": 21,
  103. "num-costly-ops": 298815,
  104. "num-costly-ops-avoided": 0,
  105. "last-bug-time": "23.55",
  106. "time-total": "",
  107. "time-prefix": "",
  108. "time-trigger-failed": "",
  109. "percent-success": "",
  110. "percent-success-run": "",
  111. "percent-cached": ""
  112. }
  113. {
  114. "name": "uscc17-ricmoo-with-analysis",
  115. "num-bugs": 0,
  116. "covered-paths": 22,
  117. "num-costly-ops": 123087,
  118. "num-costly-ops-avoided": 243962,
  119. "last-bug-time": "-1.00",
  120. "time-total": "0.88",
  121. "time-prefix": "0.31",
  122. "time-trigger-failed": "0.21",
  123. "percent-success": "46.86",
  124. "percent-success-run": "75.00",
  125. "percent-cached": "99.99"
  126. }
  127. {
  128. "name": "uscc17-ricmoo-without-analysis",
  129. "num-bugs": 0,
  130. "covered-paths": 22,
  131. "num-costly-ops": 302485,
  132. "num-costly-ops-avoided": 0,
  133. "last-bug-time": "-1.00",
  134. "time-total": "",
  135. "time-prefix": "",
  136. "time-trigger-failed": "",
  137. "percent-success": "",
  138. "percent-success-run": "",
  139. "percent-cached": ""
  140. }
  141. {
  142. "name": "auctions-ens-with-analysis",
  143. "num-bugs": 0,
  144. "covered-paths": 57,
  145. "num-costly-ops": 89122,
  146. "num-costly-ops-avoided": 3849,
  147. "last-bug-time": "-1.00",
  148. "time-total": "1.11",
  149. "time-prefix": "0.25",
  150. "time-trigger-failed": "0.14",
  151. "percent-success": "2.29",
  152. "percent-success-run": "29.41",
  153. "percent-cached": "99.97"
  154. }
  155. {
  156. "name": "auctions-ens-without-analysis",
  157. "num-bugs": 0,
  158. "covered-paths": 45,
  159. "num-costly-ops": 104589,
  160. "num-costly-ops-avoided": 0,
  161. "last-bug-time": "-1.00",
  162. "time-total": "",
  163. "time-prefix": "",
  164. "time-trigger-failed": "",
  165. "percent-success": "",
  166. "percent-success-run": "",
  167. "percent-cached": ""
  168. }
  169. {
  170. "name": "others-the-dao-with-analysis",
  171. "num-bugs": 4,
  172. "covered-paths": 36,
  173. "num-costly-ops": 81931,
  174. "num-costly-ops-avoided": 1955,
  175. "last-bug-time": "38.11",
  176. "time-total": "0.67",
  177. "time-prefix": "0.18",
  178. "time-trigger-failed": "0.11",
  179. "percent-success": "0.89",
  180. "percent-success-run": "24.59",
  181. "percent-cached": "99.98"
  182. }
  183. {
  184. "name": "others-the-dao-without-analysis",
  185. "num-bugs": 4,
  186. "covered-paths": 35,
  187. "num-costly-ops": 76228,
  188. "num-costly-ops-avoided": 0,
  189. "last-bug-time": "27.22",
  190. "time-total": "",
  191. "time-prefix": "",
  192. "time-trigger-failed": "",
  193. "percent-success": "",
  194. "percent-success-run": "",
  195. "percent-cached": ""
  196. }
  197. {
  198. "name": "others-microraiden-with-analysis",
  199. "num-bugs": 0,
  200. "covered-paths": 29,
  201. "num-costly-ops": 62833,
  202. "num-costly-ops-avoided": 13372,
  203. "last-bug-time": "-1.00",
  204. "time-total": "0.94",
  205. "time-prefix": "0.19",
  206. "time-trigger-failed": "0.11",
  207. "percent-success": "4.00",
  208. "percent-success-run": "22.00",
  209. "percent-cached": "99.98"
  210. }
  211. {
  212. "name": "others-microraiden-without-analysis",
  213. "num-bugs": 0,
  214. "covered-paths": 36,
  215. "num-costly-ops": 81555,
  216. "num-costly-ops-avoided": 0,
  217. "last-bug-time": "-1.00",
  218. "time-total": "",
  219. "time-prefix": "",
  220. "time-trigger-failed": "",
  221. "percent-success": "",
  222. "percent-success-run": "",
  223. "percent-cached": ""
  224. }
  225. {
  226. "name": "others-payment-channel-with-analysis",
  227. "num-bugs": 0,
  228. "covered-paths": 17,
  229. "num-costly-ops": 159020,
  230. "num-costly-ops-avoided": 30035,
  231. "last-bug-time": "-1.00",
  232. "time-total": "0.66",
  233. "time-prefix": "0.24",
  234. "time-trigger-failed": "0.15",
  235. "percent-success": "9.55",
  236. "percent-success-run": "36.84",
  237. "percent-cached": "99.99"
  238. }
  239. {
  240. "name": "others-payment-channel-without-analysis",
  241. "num-bugs": 0,
  242. "covered-paths": 17,
  243. "num-costly-ops": 226799,
  244. "num-costly-ops-avoided": 0,
  245. "last-bug-time": "-1.00",
  246. "time-total": "",
  247. "time-prefix": "",
  248. "time-trigger-failed": "",
  249. "percent-success": "",
  250. "percent-success-run": "",
  251. "percent-cached": ""
  252. }
  253. {
  254. "name": "others-consensys-tokens-with-analysis",
  255. "num-bugs": 0,
  256. "covered-paths": 2,
  257. "num-costly-ops": 13993,
  258. "num-costly-ops-avoided": 18467,
  259. "last-bug-time": "-1.00",
  260. "time-total": "0.22",
  261. "time-prefix": "0.04",
  262. "time-trigger-failed": "0.03",
  263. "percent-success": "100.00",
  264. "percent-success-run": "100.00",
  265. "percent-cached": "99.98"
  266. }
  267. {
  268. "name": "others-consensys-tokens-without-analysis",
  269. "num-bugs": 0,
  270. "covered-paths": 19,
  271. "num-costly-ops": 48955,
  272. "num-costly-ops-avoided": 0,
  273. "last-bug-time": "-1.00",
  274. "time-total": "",
  275. "time-prefix": "",
  276. "time-trigger-failed": "",
  277. "percent-success": "",
  278. "percent-success-run": "",
  279. "percent-cached": ""
  280. }
  281. {
  282. "name": "multisig-wallets-consensys-wallet-1-with-analysis",
  283. "num-bugs": 2,
  284. "covered-paths": 49,
  285. "num-costly-ops": 66681,
  286. "num-costly-ops-avoided": 54677,
  287. "last-bug-time": "41.55",
  288. "time-total": "1.31",
  289. "time-prefix": "0.26",
  290. "time-trigger-failed": "0.17",
  291. "percent-success": "9.62",
  292. "percent-success-run": "30.97",
  293. "percent-cached": "99.98"
  294. }
  295. {
  296. "name": "multisig-wallets-consensys-wallet-1-without-analysis",
  297. "num-bugs": 1,
  298. "covered-paths": 46,
  299. "num-costly-ops": 106770,
  300. "num-costly-ops-avoided": 0,
  301. "last-bug-time": "10.17",
  302. "time-total": "",
  303. "time-prefix": "",
  304. "time-trigger-failed": "",
  305. "percent-success": "",
  306. "percent-success-run": "",
  307. "percent-cached": ""
  308. }
  309. {
  310. "name": "multisig-wallets-consensys-wallet-2-with-analysis",
  311. "num-bugs": 2,
  312. "covered-paths": 43,
  313. "num-costly-ops": 97298,
  314. "num-costly-ops-avoided": 14751,
  315. "last-bug-time": "50.76",
  316. "time-total": "1.15",
  317. "time-prefix": "0.25",
  318. "time-trigger-failed": "0.16",
  319. "percent-success": "6.46",
  320. "percent-success-run": "25.44",
  321. "percent-cached": "99.97"
  322. }
  323. {
  324. "name": "multisig-wallets-consensys-wallet-2-without-analysis",
  325. "num-bugs": 1,
  326. "covered-paths": 37,
  327. "num-costly-ops": 98819,
  328. "num-costly-ops-avoided": 0,
  329. "last-bug-time": "11.35",
  330. "time-total": "",
  331. "time-prefix": "",
  332. "time-trigger-failed": "",
  333. "percent-success": "",
  334. "percent-success-run": "",
  335. "percent-cached": ""
  336. }
  337. {
  338. "name": "others-valid-token-with-analysis",
  339. "num-bugs": 0,
  340. "covered-paths": 41,
  341. "num-costly-ops": 122858,
  342. "num-costly-ops-avoided": 35875,
  343. "last-bug-time": "-1.00",
  344. "time-total": "1.09",
  345. "time-prefix": "0.35",
  346. "time-trigger-failed": "0.22",
  347. "percent-success": "10.26",
  348. "percent-success-run": "35.19",
  349. "percent-cached": "99.99"
  350. }
  351. {
  352. "name": "others-valid-token-without-analysis",
  353. "num-bugs": 0,
  354. "covered-paths": 39,
  355. "num-costly-ops": 178392,
  356. "num-costly-ops-avoided": 0,
  357. "last-bug-time": "-1.00",
  358. "time-total": "",
  359. "time-prefix": "",
  360. "time-trigger-failed": "",
  361. "percent-success": "",
  362. "percent-success-run": "",
  363. "percent-cached": ""
  364. }
  365. {
  366. "name": "multisig-wallets-gnosis-wallet-1-with-analysis",
  367. "num-bugs": 2,
  368. "covered-paths": 51,
  369. "num-costly-ops": 61244,
  370. "num-costly-ops-avoided": 37451,
  371. "last-bug-time": "27.77",
  372. "time-total": "1.04",
  373. "time-prefix": "0.21",
  374. "time-trigger-failed": "0.14",
  375. "percent-success": "7.77",
  376. "percent-success-run": "31.73",
  377. "percent-cached": "99.97"
  378. }
  379. {
  380. "name": "multisig-wallets-gnosis-wallet-1-without-analysis",
  381. "num-bugs": 2,
  382. "covered-paths": 41,
  383. "num-costly-ops": 88298,
  384. "num-costly-ops-avoided": 0,
  385. "last-bug-time": "54.75",
  386. "time-total": "",
  387. "time-prefix": "",
  388. "time-trigger-failed": "",
  389. "percent-success": "",
  390. "percent-success-run": "",
  391. "percent-cached": ""
  392. }
  393. {
  394. "name": "multisig-wallets-gnosis-wallet-2-with-analysis",
  395. "num-bugs": 1,
  396. "covered-paths": 34,
  397. "num-costly-ops": 64280,
  398. "num-costly-ops-avoided": 12647,
  399. "last-bug-time": "30.57",
  400. "time-total": "0.85",
  401. "time-prefix": "0.19",
  402. "time-trigger-failed": "0.12",
  403. "percent-success": "8.25",
  404. "percent-success-run": "20.27",
  405. "percent-cached": "99.98"
  406. }
  407. {
  408. "name": "multisig-wallets-gnosis-wallet-2-without-analysis",
  409. "num-bugs": 1,
  410. "covered-paths": 35,
  411. "num-costly-ops": 79889,
  412. "num-costly-ops-avoided": 0,
  413. "last-bug-time": "12.29",
  414. "time-total": "",
  415. "time-prefix": "",
  416. "time-trigger-failed": "",
  417. "percent-success": "",
  418. "percent-success-run": "",
  419. "percent-cached": ""
  420. }
  421. {
  422. "name": "others-ercfund-with-analysis",
  423. "num-bugs": 0,
  424. "covered-paths": 37,
  425. "num-costly-ops": 155542,
  426. "num-costly-ops-avoided": 2050,
  427. "last-bug-time": "-1.00",
  428. "time-total": "0.99",
  429. "time-prefix": "0.28",
  430. "time-trigger-failed": "0.18",
  431. "percent-success": "4.20",
  432. "percent-success-run": "32.65",
  433. "percent-cached": "99.99"
  434. }
  435. {
  436. "name": "others-ercfund-without-analysis",
  437. "num-bugs": 0,
  438. "covered-paths": 31,
  439. "num-costly-ops": 161878,
  440. "num-costly-ops-avoided": 0,
  441. "last-bug-time": "-1.00",
  442. "time-total": "",
  443. "time-prefix": "",
  444. "time-trigger-failed": "",
  445. "percent-success": "",
  446. "percent-success-run": "",
  447. "percent-cached": ""
  448. }
  449. {
  450. "name": "others-request-token-with-analysis",
  451. "num-bugs": 0,
  452. "covered-paths": 35,
  453. "num-costly-ops": 49074,
  454. "num-costly-ops-avoided": 18424,
  455. "last-bug-time": "-1.00",
  456. "time-total": "0.63",
  457. "time-prefix": "0.14",
  458. "time-trigger-failed": "0.08",
  459. "percent-success": "13.12",
  460. "percent-success-run": "34.33",
  461. "percent-cached": "99.97"
  462. }
  463. {
  464. "name": "others-request-token-without-analysis",
  465. "num-bugs": 0,
  466. "covered-paths": 31,
  467. "num-costly-ops": 66408,
  468. "num-costly-ops-avoided": 0,
  469. "last-bug-time": "-1.00",
  470. "time-total": "",
  471. "time-prefix": "",
  472. "time-trigger-failed": "",
  473. "percent-success": "",
  474. "percent-success-run": "",
  475. "percent-cached": ""
  476. }
  477. {
  478. "name": "others-request-token-sale-with-analysis",
  479. "num-bugs": 0,
  480. "covered-paths": 27,
  481. "num-costly-ops": 109925,
  482. "num-costly-ops-avoided": 2701,
  483. "last-bug-time": "-1.00",
  484. "time-total": "1.02",
  485. "time-prefix": "0.34",
  486. "time-trigger-failed": "0.19",
  487. "percent-success": "18.12",
  488. "percent-success-run": "33.85",
  489. "percent-cached": "99.98"
  490. }
  491. {
  492. "name": "others-request-token-sale-without-analysis",
  493. "num-bugs": 0,
  494. "covered-paths": 22,
  495. "num-costly-ops": 126586,
  496. "num-costly-ops-avoided": 0,
  497. "last-bug-time": "-1.00",
  498. "time-total": "",
  499. "time-prefix": "",
  500. "time-trigger-failed": "",
  501. "percent-success": "",
  502. "percent-success-run": "",
  503. "percent-cached": ""
  504. }
  505. {
  506. "name": "others-havven-payment-network-1-with-analysis",
  507. "num-bugs": 0,
  508. "covered-paths": 39,
  509. "num-costly-ops": 25906,
  510. "num-costly-ops-avoided": 6718,
  511. "last-bug-time": "-1.00",
  512. "time-total": "0.89",
  513. "time-prefix": "0.14",
  514. "time-trigger-failed": "0.08",
  515. "percent-success": "2.84",
  516. "percent-success-run": "31.33",
  517. "percent-cached": "99.97"
  518. }
  519. {
  520. "name": "others-havven-payment-network-1-without-analysis",
  521. "num-bugs": 0,
  522. "covered-paths": 23,
  523. "num-costly-ops": 35349,
  524. "num-costly-ops-avoided": 0,
  525. "last-bug-time": "-1.00",
  526. "time-total": "",
  527. "time-prefix": "",
  528. "time-trigger-failed": "",
  529. "percent-success": "",
  530. "percent-success-run": "",
  531. "percent-cached": ""
  532. }
  533. {
  534. "name": "others-havven-payment-network-2-with-analysis",
  535. "num-bugs": 0,
  536. "covered-paths": 31,
  537. "num-costly-ops": 24204,
  538. "num-costly-ops-avoided": 3848,
  539. "last-bug-time": "-1.00",
  540. "time-total": "1.33",
  541. "time-prefix": "0.13",
  542. "time-trigger-failed": "0.07",
  543. "percent-success": "2.23",
  544. "percent-success-run": "12.03",
  545. "percent-cached": "99.95"
  546. }
  547. {
  548. "name": "others-havven-payment-network-2-without-analysis",
  549. "num-bugs": 0,
  550. "covered-paths": 45,
  551. "num-costly-ops": 33479,
  552. "num-costly-ops-avoided": 0,
  553. "last-bug-time": "-1.00",
  554. "time-total": "",
  555. "time-prefix": "",
  556. "time-trigger-failed": "",
  557. "percent-success": "",
  558. "percent-success-run": "",
  559. "percent-cached": ""
  560. }
  561. {
  562. "name": "others-havven-payment-network-3-with-analysis",
  563. "num-bugs": 0,
  564. "covered-paths": 25,
  565. "num-costly-ops": 24078,
  566. "num-costly-ops-avoided": 5534,
  567. "last-bug-time": "-1.00",
  568. "time-total": "0.63",
  569. "time-prefix": "0.09",
  570. "time-trigger-failed": "0.05",
  571. "percent-success": "6.01",
  572. "percent-success-run": "21.67",
  573. "percent-cached": "99.96"
  574. }
  575. {
  576. "name": "others-havven-payment-network-3-without-analysis",
  577. "num-bugs": 0,
  578. "covered-paths": 24,
  579. "num-costly-ops": 35246,
  580. "num-costly-ops-avoided": 0,
  581. "last-bug-time": "-1.00",
  582. "time-total": "",
  583. "time-prefix": "",
  584. "time-trigger-failed": "",
  585. "percent-success": "",
  586. "percent-success-run": "",
  587. "percent-cached": ""
  588. }
  589. {
  590. "name": "others-havven-payment-network-4-with-analysis",
  591. "num-bugs": 3,
  592. "covered-paths": 21,
  593. "num-costly-ops": 28302,
  594. "num-costly-ops-avoided": 4869,
  595. "last-bug-time": "31.07",
  596. "time-total": "0.45",
  597. "time-prefix": "0.10",
  598. "time-trigger-failed": "0.05",
  599. "percent-success": "2.76",
  600. "percent-success-run": "20.00",
  601. "percent-cached": "99.96"
  602. }
  603. {
  604. "name": "others-havven-payment-network-4-without-analysis",
  605. "num-bugs": 2,
  606. "covered-paths": 27,
  607. "num-costly-ops": 36991,
  608. "num-costly-ops-avoided": 0,
  609. "last-bug-time": "26.24",
  610. "time-total": "",
  611. "time-prefix": "",
  612. "time-trigger-failed": "",
  613. "percent-success": "",
  614. "percent-success-run": "",
  615. "percent-cached": ""
  616. }
  617. {
  618. "InvalidJumpDestFail": "0.79 (52568)",
  619. "InvalidOpcodeFail": "62.90 (4164458)",
  620. "JumpToTopFail": "15.57 (1030643)",
  621. "UnsupportedOpcodeFail": "20.74 (1373127)"
  622. }
  623. # better: 4
  624. # worse: 5
  625. # zero: 13
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
Public Pastes
Advertisement
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!