API tools faq
paste
Advertisement
Guest User

Untitled

a guest
Nov 25th, 2013
77
0
Never
Add comment
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 11.82 KB | None | 0 0
raw download clone embed print report
  1. ---
  2. bug: anti-simplify
  3. model: |
  4. %tobool21 = icmp ne i8* %incdec.ptr, null, !dbg !187
  5. --> true
  6. stack:
  7. - /home/martin/OpenSC/src/scconf/parse.c:276:0
  8. ncore: 1
  9. core:
  10. - /home/martin/OpenSC/src/scconf/parse.c:270:0
  11. - pointer overflow
  12. ---
  13. bug: anti-simplify
  14. model: |
  15. %tobool21 = icmp ne i8* %incdec.ptr, null, !dbg !187
  16. --> true
  17. stack:
  18. - /home/martin/OpenSC/src/scconf/parse.c:276:0
  19. ncore: 1
  20. core:
  21. - /home/martin/OpenSC/src/scconf/parse.c:270:0
  22. - pointer overflow
  23. ---
  24. bug: anti-simplify
  25. model: |
  26. %tobool = icmp ne %struct.sc_card* %card, null, !dbg !1576
  27. --> true
  28. stack:
  29. - /home/martin/OpenSC/src/pkcs15init/pkcs15-iasecc.c:584:0
  30. ncore: 1
  31. core:
  32. - /home/martin/OpenSC/src/pkcs15init/pkcs15-iasecc.c:576:0
  33. - null pointer dereference
  34. ---
  35. bug: anti-simplify
  36. model: |
  37. %tobool33 = icmp ne %struct.sc_pkcs15_card* %p15card, null, !dbg !1685
  38. --> true
  39. stack:
  40. - /home/martin/OpenSC/src/pkcs15init/pkcs15-lib.c:3235:0
  41. ncore: 1
  42. core:
  43. - /home/martin/OpenSC/src/pkcs15init/pkcs15-lib.c:3192:0
  44. - null pointer dereference
  45. ---
  46. bug: anti-simplify
  47. model: |
  48. %tobool18 = icmp ne %struct.sc_pkcs15_object* %pin_obj, null, !dbg !1353
  49. --> true
  50. stack:
  51. - /home/martin/OpenSC/src/pkcs15init/pkcs15-entersafe.c:295:0
  52. ncore: 1
  53. core:
  54. - /home/martin/OpenSC/src/pkcs15init/pkcs15-entersafe.c:272:0
  55. - null pointer dereference
  56. ---
  57. bug: anti-simplify
  58. model: |
  59. %tobool = icmp ne %struct.sc_pkcs15_card* %p15card, null, !dbg !1329
  60. --> true
  61. stack:
  62. - /home/martin/OpenSC/src/pkcs15init/pkcs15-oberthur.c:72:0
  63. ncore: 1
  64. core:
  65. - /home/martin/OpenSC/src/pkcs15init/pkcs15-oberthur.c:66:0
  66. - null pointer dereference
  67. ---
  68. bug: anti-simplify
  69. model: |
  70. %tobool = icmp ne %struct.sc_pkcs15_card* %p15card, null, !dbg !1329
  71. --> true
  72. stack:
  73. - /home/martin/OpenSC/src/pkcs15init/pkcs15-oberthur.c:72:0
  74. ncore: 1
  75. core:
  76. - /home/martin/OpenSC/src/pkcs15init/pkcs15-oberthur.c:66:0
  77. - null pointer dereference
  78. ---
  79. bug: anti-simplify
  80. model: |
  81. %tobool18 = icmp ne %struct.sc_pkcs15_object* %pin_obj, null, !dbg !1353
  82. --> true
  83. stack:
  84. - /home/martin/OpenSC/src/pkcs15init/pkcs15-entersafe.c:295:0
  85. ncore: 1
  86. core:
  87. - /home/martin/OpenSC/src/pkcs15init/pkcs15-entersafe.c:272:0
  88. - null pointer dereference
  89. ---
  90. bug: anti-simplify
  91. model: |
  92. %tobool2 = icmp ne %struct.sc_pkcs15_card* %p15card, null, !dbg !1338
  93. --> true
  94. stack:
  95. - /home/martin/OpenSC/src/pkcs15init/pkcs15-myeid.c:212:0
  96. ncore: 1
  97. core:
  98. - /home/martin/OpenSC/src/pkcs15init/pkcs15-myeid.c:192:0
  99. - null pointer dereference
  100. ---
  101. bug: anti-simplify
  102. model: |
  103. %tobool33 = icmp ne %struct.sc_pkcs15_card* %p15card, null, !dbg !1685
  104. --> true
  105. stack:
  106. - /home/martin/OpenSC/src/pkcs15init/pkcs15-lib.c:3235:0
  107. ncore: 1
  108. core:
  109. - /home/martin/OpenSC/src/pkcs15init/pkcs15-lib.c:3192:0
  110. - null pointer dereference
  111. ---
  112. bug: anti-simplify
  113. model: |
  114. %tobool = icmp ne %struct.sc_card* %card, null, !dbg !1576
  115. --> true
  116. stack:
  117. - /home/martin/OpenSC/src/pkcs15init/pkcs15-iasecc.c:584:0
  118. ncore: 1
  119. core:
  120. - /home/martin/OpenSC/src/pkcs15init/pkcs15-iasecc.c:576:0
  121. - null pointer dereference
  122. ---
  123. bug: anti-simplify
  124. model: |
  125. %tobool2 = icmp ne %struct.sc_pkcs15_card* %p15card, null, !dbg !1338
  126. --> true
  127. stack:
  128. - /home/martin/OpenSC/src/pkcs15init/pkcs15-myeid.c:212:0
  129. ncore: 1
  130. core:
  131. - /home/martin/OpenSC/src/pkcs15init/pkcs15-myeid.c:192:0
  132. - null pointer dereference
  133. ---
  134. bug: anti-simplify
  135. model: |
  136. %tobool2 = icmp ne %struct.sc_file* %0, null, !dbg !1420
  137. --> true
  138. stack:
  139. - /home/martin/OpenSC/src/tools/westcos-tool.c:318:0
  140. ncore: 1
  141. core:
  142. - /home/martin/OpenSC/src/tools/westcos-tool.c:316:0
  143. - null pointer dereference
  144. ---
  145. bug: anti-dce
  146. model: |
  147. %cmp50 = icmp eq i8* %add.ptr, null, !dbg !1173
  148. --> false
  149. ************************************************************
  150. if.then51:
  151. call void (i8*, ...)* @util_fatal(i8* getelementptr inbounds ([20 x i8]* @.str605, i32 0, i32 0), i8* %type), !dbg !1175
  152. br label %if.end, !dbg !1175
  153. stack:
  154. - /home/martin/OpenSC/src/tools/pkcs11-tool.c:1532:0
  155. ncore: 1
  156. core:
  157. - /home/martin/OpenSC/src/tools/pkcs11-tool.c:1529:0
  158. - pointer overflow
  159. ---
  160. bug: anti-simplify
  161. model: |
  162. %tobool = icmp ne %struct.sc_card* %card, null, !dbg !907
  163. --> true
  164. stack:
  165. - /home/martin/OpenSC/src/libopensc/card-oberthur.c:1127:0
  166. ncore: 1
  167. core:
  168. - /home/martin/OpenSC/src/libopensc/card-oberthur.c:1125:0
  169. - null pointer dereference
  170. ---
  171. bug: anti-simplify
  172. model: |
  173. %tobool9 = icmp ne %struct.sc_apdu* %from, null, !dbg !1400
  174. --> true
  175. stack:
  176. - /home/martin/OpenSC/src/libopensc/cwa14890.c:1449:0
  177. ncore: 1
  178. core:
  179. - /home/martin/OpenSC/src/libopensc/cwa14890.c:1438:0
  180. - null pointer dereference
  181. ---
  182. bug: anti-simplify
  183. model: |
  184. %tobool = icmp ne %struct.sc_card* %card, null, !dbg !1242
  185. --> true
  186. stack:
  187. - /home/martin/OpenSC/src/libopensc/card-iasecc.c:3259:0
  188. ncore: 1
  189. core:
  190. - /home/martin/OpenSC/src/libopensc/card-iasecc.c:3253:0
  191. - null pointer dereference
  192. ---
  193. bug: anti-simplify
  194. model: |
  195. %tobool = icmp ne %struct.sc_path* %path, null, !dbg !1171
  196. --> true
  197. stack:
  198. - /home/martin/OpenSC/src/libopensc/card-authentic.c:688:0
  199. ncore: 1
  200. core:
  201. - /home/martin/OpenSC/src/libopensc/card-authentic.c:688:0
  202. - null pointer dereference
  203. ---
  204. bug: bugon-bounds
  205. model: |
  206. %19 = load i8* %add.ptr21, align 1, !dbg !853
  207. stack:
  208. - /home/martin/OpenSC/src/libopensc/reader-pcsc.c:799:0
  209. ---
  210. bug: bugon-bounds
  211. model: |
  212. %20 = load i8* %add.ptr21, align 1, !dbg !857
  213. stack:
  214. - /home/martin/OpenSC/src/libopensc/reader-pcsc.c:801:0
  215. ---
  216. bug: bugon-bounds
  217. model: |
  218. %21 = load i8* %add.ptr21, align 1, !dbg !860
  219. stack:
  220. - /home/martin/OpenSC/src/libopensc/reader-pcsc.c:803:0
  221. ---
  222. bug: bugon-bounds
  223. model: |
  224. %22 = load i8* %add.ptr21, align 1, !dbg !863
  225. stack:
  226. - /home/martin/OpenSC/src/libopensc/reader-pcsc.c:805:0
  227. ---
  228. bug: anti-dce
  229. model: |
  230. %cmp17 = icmp ne i32 %conv16, 1, !dbg !850
  231. --> true
  232. ************************************************************
  233. if.end20:
  234. %23 = ptrtoint i8* %add.ptr to i65
  235. %24 = add i65 %23, 2
  236. %25 = icmp sgt i65 %24, 18446744073709551615
  237. call void @opt.bugon(i1 %25), !dbg !853, !bug !849
  238. %26 = icmp slt i65 %24, 0
  239. call void @opt.bugon(i1 %26), !dbg !853, !bug !849
  240. %add.ptr21 = getelementptr inbounds i8* %add.ptr, i64 2, !dbg !853
  241. call void @opt.bugon(i1 true), !dbg !854, !bug !856
  242. %27 = load i8* %add.ptr21, align 1, !dbg !854
  243. %conv22 = zext i8 %27 to i32, !dbg !854
  244. %and = and i32 %conv22, 16, !dbg !854
  245. %tobool23 = icmp ne i32 %and, 0, !dbg !854
  246. br i1 %tobool23, label %if.then24, label %if.end25, !dbg !854
  247. stack:
  248. - /home/martin/OpenSC/src/libopensc/reader-pcsc.c:797:0
  249. ncore: 1
  250. core:
  251. - /home/martin/OpenSC/src/libopensc/reader-pcsc.c:799:0
  252. - buffer overflow
  253. ---
  254. bug: anti-simplify
  255. model: |
  256. %cmp21 = icmp eq %struct.priv_data_t* %3, null, !dbg !973
  257. --> false
  258. stack:
  259. - /home/martin/OpenSC/src/libopensc/card-westcos.c:1141:0
  260. ncore: 1
  261. core:
  262. - /home/martin/OpenSC/src/libopensc/card-westcos.c:1114:0
  263. - null pointer dereference
  264. ---
  265. bug: anti-simplify
  266. model: |
  267. %cmp75 = icmp sgt i32 %inc, 4, !dbg !939
  268. --> false
  269. stack:
  270. - /home/martin/OpenSC/src/libopensc/pkcs15-postecert.c:228:0
  271. ncore: 2
  272. core:
  273. - /home/martin/OpenSC/src/libopensc/pkcs15-postecert.c:225:0
  274. - buffer overflow
  275. - /home/martin/OpenSC/src/libopensc/pkcs15-postecert.c:225:0
  276. - buffer overflow
  277. ---
  278. bug: anti-simplify
  279. model: |
  280. %tobool9 = icmp ne %struct.sc_apdu* %from, null, !dbg !1400
  281. --> true
  282. stack:
  283. - /home/martin/OpenSC/src/libopensc/cwa14890.c:1449:0
  284. ncore: 1
  285. core:
  286. - /home/martin/OpenSC/src/libopensc/cwa14890.c:1438:0
  287. - null pointer dereference
  288. ---
  289. bug: anti-simplify
  290. model: |
  291. %tobool = icmp ne %struct.sc_card* %card, null, !dbg !907
  292. --> true
  293. stack:
  294. - /home/martin/OpenSC/src/libopensc/card-oberthur.c:1127:0
  295. ncore: 1
  296. core:
  297. - /home/martin/OpenSC/src/libopensc/card-oberthur.c:1125:0
  298. - null pointer dereference
  299. ---
  300. bug: bugon-bounds
  301. model: |
  302. %19 = load i8* %add.ptr21, align 1, !dbg !853
  303. stack:
  304. - /home/martin/OpenSC/src/libopensc/reader-pcsc.c:799:0
  305. ---
  306. bug: bugon-bounds
  307. model: |
  308. %20 = load i8* %add.ptr21, align 1, !dbg !857
  309. stack:
  310. - /home/martin/OpenSC/src/libopensc/reader-pcsc.c:801:0
  311. ---
  312. bug: bugon-bounds
  313. model: |
  314. %21 = load i8* %add.ptr21, align 1, !dbg !860
  315. stack:
  316. - /home/martin/OpenSC/src/libopensc/reader-pcsc.c:803:0
  317. ---
  318. bug: bugon-bounds
  319. model: |
  320. %22 = load i8* %add.ptr21, align 1, !dbg !863
  321. stack:
  322. - /home/martin/OpenSC/src/libopensc/reader-pcsc.c:805:0
  323. ---
  324. bug: anti-dce
  325. model: |
  326. %cmp17 = icmp ne i32 %conv16, 1, !dbg !850
  327. --> true
  328. ************************************************************
  329. if.end20:
  330. %23 = ptrtoint i8* %add.ptr to i65
  331. %24 = add i65 %23, 2
  332. %25 = icmp sgt i65 %24, 18446744073709551615
  333. call void @opt.bugon(i1 %25), !dbg !853, !bug !849
  334. %26 = icmp slt i65 %24, 0
  335. call void @opt.bugon(i1 %26), !dbg !853, !bug !849
  336. %add.ptr21 = getelementptr inbounds i8* %add.ptr, i64 2, !dbg !853
  337. call void @opt.bugon(i1 true), !dbg !854, !bug !856
  338. %27 = load i8* %add.ptr21, align 1, !dbg !854
  339. %conv22 = zext i8 %27 to i32, !dbg !854
  340. %and = and i32 %conv22, 16, !dbg !854
  341. %tobool23 = icmp ne i32 %and, 0, !dbg !854
  342. br i1 %tobool23, label %if.then24, label %if.end25, !dbg !854
  343. stack:
  344. - /home/martin/OpenSC/src/libopensc/reader-pcsc.c:797:0
  345. ncore: 1
  346. core:
  347. - /home/martin/OpenSC/src/libopensc/reader-pcsc.c:799:0
  348. - buffer overflow
  349. ---
  350. bug: anti-simplify
  351. model: |
  352. %tobool = icmp ne %struct.sc_path* %path, null, !dbg !1171
  353. --> true
  354. stack:
  355. - /home/martin/OpenSC/src/libopensc/card-authentic.c:688:0
  356. ncore: 1
  357. core:
  358. - /home/martin/OpenSC/src/libopensc/card-authentic.c:688:0
  359. - null pointer dereference
  360. ---
  361. bug: anti-simplify
  362. model: |
  363. %tobool = icmp ne %struct.sc_card* %card, null, !dbg !1242
  364. --> true
  365. stack:
  366. - /home/martin/OpenSC/src/libopensc/card-iasecc.c:3259:0
  367. ncore: 1
  368. core:
  369. - /home/martin/OpenSC/src/libopensc/card-iasecc.c:3253:0
  370. - null pointer dereference
  371. ---
  372. bug: anti-simplify
  373. model: |
  374. %cmp = icmp eq %struct.sc_card* %card, null, !dbg !836
  375. --> false
  376. stack:
  377. - /home/martin/OpenSC/src/libopensc/card.c:324:0
  378. ncore: 1
  379. core:
  380. - /home/martin/OpenSC/src/libopensc/card.c:322:0
  381. - null pointer dereference
  382. ---
  383. bug: anti-simplify
  384. model: |
  385. %cmp3 = icmp eq %struct.sc_atr* %atr, null, !dbg !836
  386. --> false
  387. stack:
  388. - /home/martin/OpenSC/src/libopensc/card.c:872:0
  389. ncore: 1
  390. core:
  391. - /home/martin/OpenSC/src/libopensc/card.c:867:0
  392. - null pointer dereference
  393. ---
  394. bug: anti-simplify
  395. model: |
  396. %cmp21 = icmp eq %struct.priv_data_t* %3, null, !dbg !973
  397. --> false
  398. stack:
  399. - /home/martin/OpenSC/src/libopensc/card-westcos.c:1141:0
  400. ncore: 1
  401. core:
  402. - /home/martin/OpenSC/src/libopensc/card-westcos.c:1114:0
  403. - null pointer dereference
  404. ---
  405. bug: anti-simplify
  406. model: |
  407. %cmp75 = icmp sgt i32 %inc, 4, !dbg !939
  408. --> false
  409. stack:
  410. - /home/martin/OpenSC/src/libopensc/pkcs15-postecert.c:228:0
  411. ncore: 2
  412. core:
  413. - /home/martin/OpenSC/src/libopensc/pkcs15-postecert.c:225:0
  414. - buffer overflow
  415. - /home/martin/OpenSC/src/libopensc/pkcs15-postecert.c:225:0
  416. - buffer overflow
  417. ---
  418. bug: anti-simplify
  419. model: |
  420. %cmp = icmp eq %struct.sc_card* %card, null, !dbg !836
  421. --> false
  422. stack:
  423. - /home/martin/OpenSC/src/libopensc/card.c:324:0
  424. ncore: 1
  425. core:
  426. - /home/martin/OpenSC/src/libopensc/card.c:322:0
  427. - null pointer dereference
  428. ---
  429. bug: anti-simplify
  430. model: |
  431. %cmp3 = icmp eq %struct.sc_atr* %atr, null, !dbg !836
  432. --> false
  433. stack:
  434. - /home/martin/OpenSC/src/libopensc/card.c:872:0
  435. ncore: 1
  436. core:
  437. - /home/martin/OpenSC/src/libopensc/card.c:867:0
  438. - null pointer dereference
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!