FreshPorts -- The Place For Ports If you buy from Amazon USA, please support us by using this link.
Follow us
Blog
Twitter

We also have a status page: https://freshports.wordpress.com/

Port details
frama-c Extensible platform for source-code analysis of C
20161101 devel on this many watch lists=1 search for ports that depend on this port Find issues related to this port Report an issue related to this port
Maintainer: mmokhi@FreeBSD.org search for ports maintained by this maintainer
Port Added: 18 Sep 2011 15:38:50
Also Listed In: lang
License: LGPL21
Frama-C is a suite of tools dedicated to the analysis of the source code of
software written in C.

Frama-C gathers several static analysis techniques in a single collaborative
framework, which allows static analyzers to build upon the results already
computed by other analyzers in the framework, and provides sophisticated
tools, such as a slicer and dependency analysis.

Frama-C is closer to heuristic bug-finding tools than it is to software metrics
tools, but it has two important differences with the former: it aims at being
"correct" -- that is, never to remain silent for a location in the source
code where an error can happen at run-time. And it allows its user to
manipulate functional specifications, and to prove that the source code
satisfies these specifications.

WWW: http://frama-c.com/index.html
SVNWeb : Homepage : PortsMon
    Pseudo-pkg-plist information, but much better, from make generate-plist
    Expand this list (1161 items)
  1. /usr/local/share/licenses/frama-c-20161101/catalog.mk
  2. /usr/local/share/licenses/frama-c-20161101/LICENSE
  3. /usr/local/share/licenses/frama-c-20161101/LGPL21
  4. bin/frama-c
  5. bin/frama-c-config
  6. bin/frama-c-gui
  7. bin/frama-c-gui.byte
  8. bin/frama-c.byte
  9. bin/ptests.opt
  10. lib/frama-c/FCBuffer.cmi
  11. lib/frama-c/FCBuffer.cmo
  12. lib/frama-c/FCBuffer.cmx
  13. lib/frama-c/FCBuffer.o
  14. lib/frama-c/FCDynlink.cmi
  15. lib/frama-c/FCDynlink.cmo
  16. lib/frama-c/FCDynlink.cmx
  17. lib/frama-c/FCDynlink.o
  18. lib/frama-c/FCHashtbl.cmi
  19. lib/frama-c/FCHashtbl.cmo
  20. lib/frama-c/FCHashtbl.cmx
  21. lib/frama-c/FCHashtbl.o
  22. lib/frama-c/FCMap.cmi
  23. lib/frama-c/FCMap.cmo
  24. lib/frama-c/FCMap.cmx
  25. lib/frama-c/FCMap.o
  26. lib/frama-c/FCSet.cmi
  27. lib/frama-c/FCSet.cmo
  28. lib/frama-c/FCSet.cmx
  29. lib/frama-c/FCSet.o
  30. lib/frama-c/Qed.cmi
  31. lib/frama-c/Qed.cmo
  32. lib/frama-c/Qed.cmx
  33. lib/frama-c/Qed.o
  34. lib/frama-c/abstract_interp.cmi
  35. lib/frama-c/abstract_interp.cmo
  36. lib/frama-c/abstract_interp.cmx
  37. lib/frama-c/abstract_interp.o
  38. lib/frama-c/alarms.cmi
  39. lib/frama-c/alarms.cmo
  40. lib/frama-c/alarms.cmx
  41. lib/frama-c/alarms.o
  42. lib/frama-c/allocates.cmi
  43. lib/frama-c/allocates.cmo
  44. lib/frama-c/allocates.cmx
  45. lib/frama-c/allocates.o
  46. lib/frama-c/alpha.cmi
  47. lib/frama-c/alpha.cmo
  48. lib/frama-c/alpha.cmx
  49. lib/frama-c/alpha.o
  50. lib/frama-c/analyses_manager.cmi
  51. lib/frama-c/analyses_manager.cmo
  52. lib/frama-c/analyses_manager.cmx
  53. lib/frama-c/analyses_manager.o
  54. lib/frama-c/annotations.cmi
  55. lib/frama-c/annotations.cmo
  56. lib/frama-c/annotations.cmx
  57. lib/frama-c/annotations.o
  58. lib/frama-c/asm_contracts.cmi
  59. lib/frama-c/asm_contracts.cmo
  60. lib/frama-c/asm_contracts.cmx
  61. lib/frama-c/asm_contracts.o
  62. lib/frama-c/ast.cmi
  63. lib/frama-c/ast.cmo
  64. lib/frama-c/ast.cmx
  65. lib/frama-c/ast.o
  66. lib/frama-c/ast_info.cmi
  67. lib/frama-c/ast_info.cmo
  68. lib/frama-c/ast_info.cmx
  69. lib/frama-c/ast_info.o
  70. lib/frama-c/bag.cmi
  71. lib/frama-c/bag.cmo
  72. lib/frama-c/bag.cmx
  73. lib/frama-c/bag.o
  74. lib/frama-c/base.cmi
  75. lib/frama-c/base.cmo
  76. lib/frama-c/base.cmx
  77. lib/frama-c/base.o
  78. lib/frama-c/binary_cache.cmi
  79. lib/frama-c/binary_cache.cmo
  80. lib/frama-c/binary_cache.cmx
  81. lib/frama-c/binary_cache.o
  82. lib/frama-c/bit_utils.cmi
  83. lib/frama-c/bit_utils.cmo
  84. lib/frama-c/bit_utils.cmx
  85. lib/frama-c/bit_utils.o
  86. lib/frama-c/bitvector.cmi
  87. lib/frama-c/bitvector.cmo
  88. lib/frama-c/bitvector.cmx
  89. lib/frama-c/bitvector.o
  90. lib/frama-c/book_manager.cmi
  91. lib/frama-c/book_manager.cmo
  92. lib/frama-c/book_manager.cmx
  93. lib/frama-c/book_manager.o
  94. lib/frama-c/boot.cmi
  95. lib/frama-c/boot.cmo
  96. lib/frama-c/boot.cmx
  97. lib/frama-c/boot.o
  98. lib/frama-c/bottom.cmi
  99. lib/frama-c/bottom.cmo
  100. lib/frama-c/bottom.cmx
  101. lib/frama-c/bottom.o
  102. lib/frama-c/c_bindings.o
  103. lib/frama-c/cabs.cmi
  104. lib/frama-c/cabs.cmo
  105. lib/frama-c/cabs.cmx
  106. lib/frama-c/cabs.o
  107. lib/frama-c/cabs2cil.cmi
  108. lib/frama-c/cabs2cil.cmo
  109. lib/frama-c/cabs2cil.cmx
  110. lib/frama-c/cabs2cil.o
  111. lib/frama-c/cabs_debug.cmi
  112. lib/frama-c/cabs_debug.cmo
  113. lib/frama-c/cabs_debug.cmx
  114. lib/frama-c/cabs_debug.o
  115. lib/frama-c/cabshelper.cmi
  116. lib/frama-c/cabshelper.cmo
  117. lib/frama-c/cabshelper.cmx
  118. lib/frama-c/cabshelper.o
  119. lib/frama-c/cabsvisit.cmi
  120. lib/frama-c/cabsvisit.cmo
  121. lib/frama-c/cabsvisit.cmx
  122. lib/frama-c/cabsvisit.o
  123. lib/frama-c/cfg.cmi
  124. lib/frama-c/cfg.cmo
  125. lib/frama-c/cfg.cmx
  126. lib/frama-c/cfg.o
  127. lib/frama-c/cil.cmi
  128. lib/frama-c/cil.cmo
  129. lib/frama-c/cil.cmx
  130. lib/frama-c/cil.o
  131. lib/frama-c/cilE.cmi
  132. lib/frama-c/cilE.cmo
  133. lib/frama-c/cilE.cmx
  134. lib/frama-c/cilE.o
  135. lib/frama-c/cil_const.cmi
  136. lib/frama-c/cil_const.cmo
  137. lib/frama-c/cil_const.cmx
  138. lib/frama-c/cil_const.o
  139. lib/frama-c/cil_datatype.cmi
  140. lib/frama-c/cil_datatype.cmo
  141. lib/frama-c/cil_datatype.cmx
  142. lib/frama-c/cil_datatype.o
  143. lib/frama-c/cil_descriptive_printer.cmi
  144. lib/frama-c/cil_descriptive_printer.cmo
  145. lib/frama-c/cil_descriptive_printer.cmx
  146. lib/frama-c/cil_descriptive_printer.o
  147. lib/frama-c/cil_printer.cmi
  148. lib/frama-c/cil_printer.cmo
  149. lib/frama-c/cil_printer.cmx
  150. lib/frama-c/cil_printer.o
  151. lib/frama-c/cil_state_builder.cmi
  152. lib/frama-c/cil_state_builder.cmo
  153. lib/frama-c/cil_state_builder.cmx
  154. lib/frama-c/cil_state_builder.o
  155. lib/frama-c/cil_types.cmi
  156. lib/frama-c/cilconfig.cmi
  157. lib/frama-c/cilconfig.cmo
  158. lib/frama-c/cilconfig.cmx
  159. lib/frama-c/cilconfig.o
  160. lib/frama-c/clexer.cmi
  161. lib/frama-c/clexer.cmo
  162. lib/frama-c/clexer.cmx
  163. lib/frama-c/clexer.o
  164. lib/frama-c/clone.cmi
  165. lib/frama-c/clone.cmo
  166. lib/frama-c/clone.cmx
  167. lib/frama-c/clone.o
  168. lib/frama-c/cmdline.cmi
  169. lib/frama-c/cmdline.cmo
  170. lib/frama-c/cmdline.cmx
  171. lib/frama-c/cmdline.o
  172. lib/frama-c/command.cmi
  173. lib/frama-c/command.cmo
  174. lib/frama-c/command.cmx
  175. lib/frama-c/command.o
  176. lib/frama-c/config.cmi
  177. lib/frama-c/config.cmo
  178. lib/frama-c/config.cmx
  179. lib/frama-c/config.o
  180. lib/frama-c/cparser.cmi
  181. lib/frama-c/cparser.cmo
  182. lib/frama-c/cparser.cmx
  183. lib/frama-c/cparser.o
  184. lib/frama-c/cprint.cmi
  185. lib/frama-c/cprint.cmo
  186. lib/frama-c/cprint.cmx
  187. lib/frama-c/cprint.o
  188. lib/frama-c/cvalue.cmi
  189. lib/frama-c/cvalue.cmo
  190. lib/frama-c/cvalue.cmx
  191. lib/frama-c/cvalue.o
  192. lib/frama-c/dataflow.cmi
  193. lib/frama-c/dataflow.cmo
  194. lib/frama-c/dataflow.cmx
  195. lib/frama-c/dataflow.o
  196. lib/frama-c/dataflow2.cmi
  197. lib/frama-c/dataflow2.cmo
  198. lib/frama-c/dataflow2.cmx
  199. lib/frama-c/dataflow2.o
  200. lib/frama-c/dataflows.cmi
  201. lib/frama-c/dataflows.cmo
  202. lib/frama-c/dataflows.cmx
  203. lib/frama-c/dataflows.o
  204. lib/frama-c/datatype.cmi
  205. lib/frama-c/datatype.cmo
  206. lib/frama-c/datatype.cmx
  207. lib/frama-c/datatype.o
  208. lib/frama-c/db.cmi
  209. lib/frama-c/db.cmo
  210. lib/frama-c/db.cmx
  211. lib/frama-c/db.o
  212. lib/frama-c/debug_manager.cmi
  213. lib/frama-c/debug_manager.cmo
  214. lib/frama-c/debug_manager.cmx
  215. lib/frama-c/debug_manager.o
  216. lib/frama-c/descr.cmi
  217. lib/frama-c/descr.cmo
  218. lib/frama-c/descr.cmx
  219. lib/frama-c/descr.o
  220. lib/frama-c/description.cmi
  221. lib/frama-c/description.cmo
  222. lib/frama-c/description.cmx
  223. lib/frama-c/description.o
  224. lib/frama-c/design.cmi
  225. lib/frama-c/design.cmo
  226. lib/frama-c/design.cmx
  227. lib/frama-c/design.o
  228. lib/frama-c/dominators.cmi
  229. lib/frama-c/dominators.cmo
  230. lib/frama-c/dominators.cmx
  231. lib/frama-c/dominators.o
  232. lib/frama-c/dynamic.cmi
  233. lib/frama-c/dynamic.cmo
  234. lib/frama-c/dynamic.cmx
  235. lib/frama-c/dynamic.o
  236. lib/frama-c/emitter.cmi
  237. lib/frama-c/emitter.cmo
  238. lib/frama-c/emitter.cmx
  239. lib/frama-c/emitter.o
  240. lib/frama-c/errorloc.cmi
  241. lib/frama-c/errorloc.cmo
  242. lib/frama-c/errorloc.cmx
  243. lib/frama-c/errorloc.o
  244. lib/frama-c/escape.cmi
  245. lib/frama-c/escape.cmo
  246. lib/frama-c/escape.cmx
  247. lib/frama-c/escape.o
  248. lib/frama-c/exn_flow.cmi
  249. lib/frama-c/exn_flow.cmo
  250. lib/frama-c/exn_flow.cmx
  251. lib/frama-c/exn_flow.o
  252. lib/frama-c/extlib.cmi
  253. lib/frama-c/extlib.cmo
  254. lib/frama-c/extlib.cmx
  255. lib/frama-c/extlib.o
  256. lib/frama-c/file.cmi
  257. lib/frama-c/file.cmo
  258. lib/frama-c/file.cmx
  259. lib/frama-c/file.o
  260. lib/frama-c/file_manager.cmi
  261. lib/frama-c/file_manager.cmo
  262. lib/frama-c/file_manager.cmx
  263. lib/frama-c/file_manager.o
  264. lib/frama-c/filecheck.cmi
  265. lib/frama-c/filecheck.cmo
  266. lib/frama-c/filecheck.cmx
  267. lib/frama-c/filecheck.o
  268. lib/frama-c/filepath.cmi
  269. lib/frama-c/filepath.cmo
  270. lib/frama-c/filepath.cmx
  271. lib/frama-c/filepath.o
  272. lib/frama-c/filetree.cmi
  273. lib/frama-c/filetree.cmo
  274. lib/frama-c/filetree.cmx
  275. lib/frama-c/filetree.o
  276. lib/frama-c/filter.cmi
  277. lib/frama-c/filter.cmo
  278. lib/frama-c/filter.cmx
  279. lib/frama-c/filter.o
  280. lib/frama-c/floating_point.cmi
  281. lib/frama-c/floating_point.cmo
  282. lib/frama-c/floating_point.cmx
  283. lib/frama-c/floating_point.o
  284. lib/frama-c/frama_c_init.cmi
  285. lib/frama-c/frama_c_init.cmo
  286. lib/frama-c/frama_c_init.cmx
  287. lib/frama-c/frama_c_init.o
  288. lib/frama-c/frontc.cmi
  289. lib/frama-c/frontc.cmo
  290. lib/frama-c/frontc.cmx
  291. lib/frama-c/frontc.o
  292. lib/frama-c/function_Froms.cmi
  293. lib/frama-c/function_Froms.cmo
  294. lib/frama-c/function_Froms.cmx
  295. lib/frama-c/function_Froms.o
  296. lib/frama-c/fval.cmi
  297. lib/frama-c/fval.cmo
  298. lib/frama-c/fval.cmx
  299. lib/frama-c/fval.o
  300. lib/frama-c/globals.cmi
  301. lib/frama-c/globals.cmo
  302. lib/frama-c/globals.cmx
  303. lib/frama-c/globals.o
  304. lib/frama-c/gtk_form.cmi
  305. lib/frama-c/gtk_form.cmo
  306. lib/frama-c/gtk_form.cmx
  307. lib/frama-c/gtk_form.o
  308. lib/frama-c/gtk_helper.cmi
  309. lib/frama-c/gtk_helper.cmo
  310. lib/frama-c/gtk_helper.cmx
  311. lib/frama-c/gtk_helper.o
  312. lib/frama-c/gui_parameters.cmi
  313. lib/frama-c/gui_parameters.cmo
  314. lib/frama-c/gui_parameters.cmx
  315. lib/frama-c/gui_parameters.o
  316. lib/frama-c/gui_printers.cmi
  317. lib/frama-c/gui_printers.cmo
  318. lib/frama-c/gui_printers.cmx
  319. lib/frama-c/gui_printers.o
  320. lib/frama-c/help_manager.cmi
  321. lib/frama-c/help_manager.cmo
  322. lib/frama-c/help_manager.cmx
  323. lib/frama-c/help_manager.o
  324. lib/frama-c/history.cmi
  325. lib/frama-c/history.cmo
  326. lib/frama-c/history.cmx
  327. lib/frama-c/history.o
  328. lib/frama-c/hook.cmi
  329. lib/frama-c/hook.cmo
  330. lib/frama-c/hook.cmx
  331. lib/frama-c/hook.o
  332. lib/frama-c/hptmap.cmi
  333. lib/frama-c/hptmap.cmo
  334. lib/frama-c/hptmap.cmx
  335. lib/frama-c/hptmap.o
  336. lib/frama-c/hptmap_sig.cmi
  337. lib/frama-c/hptset.cmi
  338. lib/frama-c/hptset.cmo
  339. lib/frama-c/hptset.cmx
  340. lib/frama-c/hptset.o
  341. lib/frama-c/indexer.cmi
  342. lib/frama-c/indexer.cmo
  343. lib/frama-c/indexer.cmx
  344. lib/frama-c/indexer.o
  345. lib/frama-c/infer_annotations.cmi
  346. lib/frama-c/infer_annotations.cmo
  347. lib/frama-c/infer_annotations.cmx
  348. lib/frama-c/infer_annotations.o
  349. lib/frama-c/inout_type.cmi
  350. lib/frama-c/inout_type.cmo
  351. lib/frama-c/inout_type.cmx
  352. lib/frama-c/inout_type.o
  353. lib/frama-c/int_Base.cmi
  354. lib/frama-c/int_Base.cmo
  355. lib/frama-c/int_Base.cmx
  356. lib/frama-c/int_Base.o
  357. lib/frama-c/int_Intervals.cmi
  358. lib/frama-c/int_Intervals.cmo
  359. lib/frama-c/int_Intervals.cmx
  360. lib/frama-c/int_Intervals.o
  361. lib/frama-c/int_Intervals_sig.cmi
  362. lib/frama-c/integer.cmi
  363. lib/frama-c/integer.cmo
  364. lib/frama-c/integer.cmx
  365. lib/frama-c/integer.o
  366. lib/frama-c/ival.cmi
  367. lib/frama-c/ival.cmo
  368. lib/frama-c/ival.cmx
  369. lib/frama-c/ival.o
  370. lib/frama-c/journal.cmi
  371. lib/frama-c/journal.cmo
  372. lib/frama-c/journal.cmx
  373. lib/frama-c/journal.o
  374. lib/frama-c/json.cmi
  375. lib/frama-c/json.cmo
  376. lib/frama-c/json.cmx
  377. lib/frama-c/json.o
  378. lib/frama-c/kernel.cmi
  379. lib/frama-c/kernel.cmo
  380. lib/frama-c/kernel.cmx
  381. lib/frama-c/kernel.o
  382. lib/frama-c/kernel_function.cmi
  383. lib/frama-c/kernel_function.cmo
  384. lib/frama-c/kernel_function.cmx
  385. lib/frama-c/kernel_function.o
  386. lib/frama-c/lattice_messages.cmi
  387. lib/frama-c/lattice_messages.cmo
  388. lib/frama-c/lattice_messages.cmx
  389. lib/frama-c/lattice_messages.o
  390. lib/frama-c/lattice_type.cmi
  391. lib/frama-c/launcher.cmi
  392. lib/frama-c/launcher.cmo
  393. lib/frama-c/launcher.cmx
  394. lib/frama-c/launcher.o
  395. lib/frama-c/leftistheap.cmi
  396. lib/frama-c/leftistheap.cmo
  397. lib/frama-c/leftistheap.cmx
  398. lib/frama-c/leftistheap.o
  399. lib/frama-c/lexerhack.cmi
  400. lib/frama-c/lexerhack.cmo
  401. lib/frama-c/lexerhack.cmx
  402. lib/frama-c/lexerhack.o
  403. lib/frama-c/lmap.cmi
  404. lib/frama-c/lmap.cmo
  405. lib/frama-c/lmap.cmx
  406. lib/frama-c/lmap.o
  407. lib/frama-c/lmap_bitwise.cmi
  408. lib/frama-c/lmap_bitwise.cmo
  409. lib/frama-c/lmap_bitwise.cmx
  410. lib/frama-c/lmap_bitwise.o
  411. lib/frama-c/lmap_sig.cmi
  412. lib/frama-c/locations.cmi
  413. lib/frama-c/locations.cmo
  414. lib/frama-c/locations.cmx
  415. lib/frama-c/locations.o
  416. lib/frama-c/log.cmi
  417. lib/frama-c/log.cmo
  418. lib/frama-c/log.cmx
  419. lib/frama-c/log.o
  420. lib/frama-c/logic_builtin.cmi
  421. lib/frama-c/logic_builtin.cmo
  422. lib/frama-c/logic_builtin.cmx
  423. lib/frama-c/logic_builtin.o
  424. lib/frama-c/logic_const.cmi
  425. lib/frama-c/logic_const.cmo
  426. lib/frama-c/logic_const.cmx
  427. lib/frama-c/logic_const.o
  428. lib/frama-c/logic_env.cmi
  429. lib/frama-c/logic_env.cmo
  430. lib/frama-c/logic_env.cmx
  431. lib/frama-c/logic_env.o
  432. lib/frama-c/logic_interp.cmi
  433. lib/frama-c/logic_interp.cmo
  434. lib/frama-c/logic_interp.cmx
  435. lib/frama-c/logic_interp.o
  436. lib/frama-c/logic_lexer.cmi
  437. lib/frama-c/logic_lexer.cmo
  438. lib/frama-c/logic_lexer.cmx
  439. lib/frama-c/logic_lexer.o
  440. lib/frama-c/logic_parser.cmi
  441. lib/frama-c/logic_parser.cmo
  442. lib/frama-c/logic_parser.cmx
  443. lib/frama-c/logic_parser.o
  444. lib/frama-c/logic_preprocess.cmi
  445. lib/frama-c/logic_preprocess.cmo
  446. lib/frama-c/logic_preprocess.cmx
  447. lib/frama-c/logic_preprocess.o
  448. lib/frama-c/logic_print.cmi
  449. lib/frama-c/logic_print.cmo
  450. lib/frama-c/logic_print.cmx
  451. lib/frama-c/logic_print.o
  452. lib/frama-c/logic_ptree.cmi
  453. lib/frama-c/logic_typing.cmi
  454. lib/frama-c/logic_typing.cmo
  455. lib/frama-c/logic_typing.cmx
  456. lib/frama-c/logic_typing.o
  457. lib/frama-c/logic_utils.cmi
  458. lib/frama-c/logic_utils.cmo
  459. lib/frama-c/logic_utils.cmx
  460. lib/frama-c/logic_utils.o
  461. lib/frama-c/loop.cmi
  462. lib/frama-c/loop.cmo
  463. lib/frama-c/loop.cmx
  464. lib/frama-c/loop.o
  465. lib/frama-c/machdeps.cmi
  466. lib/frama-c/machdeps.cmo
  467. lib/frama-c/machdeps.cmx
  468. lib/frama-c/machdeps.o
  469. lib/frama-c/map_Lattice.cmi
  470. lib/frama-c/map_Lattice.cmo
  471. lib/frama-c/map_Lattice.cmx
  472. lib/frama-c/map_Lattice.o
  473. lib/frama-c/menu_manager.cmi
  474. lib/frama-c/menu_manager.cmo
  475. lib/frama-c/menu_manager.cmx
  476. lib/frama-c/menu_manager.o
  477. lib/frama-c/mergecil.cmi
  478. lib/frama-c/mergecil.cmo
  479. lib/frama-c/mergecil.cmx
  480. lib/frama-c/mergecil.o
  481. lib/frama-c/messages.cmi
  482. lib/frama-c/messages.cmo
  483. lib/frama-c/messages.cmx
  484. lib/frama-c/messages.o
  485. lib/frama-c/offsetmap.cmi
  486. lib/frama-c/offsetmap.cmo
  487. lib/frama-c/offsetmap.cmx
  488. lib/frama-c/offsetmap.o
  489. lib/frama-c/offsetmap_bitwise_sig.cmi
  490. lib/frama-c/offsetmap_lattice_with_isotropy.cmi
  491. lib/frama-c/offsetmap_sig.cmi
  492. lib/frama-c/oneret.cmi
  493. lib/frama-c/oneret.cmo
  494. lib/frama-c/oneret.cmx
  495. lib/frama-c/oneret.o
  496. lib/frama-c/ordered_stmt.cmi
  497. lib/frama-c/ordered_stmt.cmo
  498. lib/frama-c/ordered_stmt.cmx
  499. lib/frama-c/ordered_stmt.o
  500. lib/frama-c/origin.cmi
  501. lib/frama-c/origin.cmo
  502. lib/frama-c/origin.cmx
  503. lib/frama-c/origin.o
  504. lib/frama-c/parameter_builder.cmi
  505. lib/frama-c/parameter_builder.cmo
  506. lib/frama-c/parameter_builder.cmx
  507. lib/frama-c/parameter_builder.o
  508. lib/frama-c/parameter_category.cmi
  509. lib/frama-c/parameter_category.cmo
  510. lib/frama-c/parameter_category.cmx
  511. lib/frama-c/parameter_category.o
  512. lib/frama-c/parameter_customize.cmi
  513. lib/frama-c/parameter_customize.cmo
  514. lib/frama-c/parameter_customize.cmx
  515. lib/frama-c/parameter_customize.o
  516. lib/frama-c/parameter_sig.cmi
  517. lib/frama-c/parameter_state.cmi
  518. lib/frama-c/parameter_state.cmo
  519. lib/frama-c/parameter_state.cmx
  520. lib/frama-c/parameter_state.o
  521. lib/frama-c/pdgIndex.cmi
  522. lib/frama-c/pdgIndex.cmo
  523. lib/frama-c/pdgIndex.cmx
  524. lib/frama-c/pdgIndex.o
  525. lib/frama-c/pdgMarks.cmi
  526. lib/frama-c/pdgMarks.cmo
  527. lib/frama-c/pdgMarks.cmx
  528. lib/frama-c/pdgMarks.o
  529. lib/frama-c/pdgTypes.cmi
  530. lib/frama-c/pdgTypes.cmo
  531. lib/frama-c/pdgTypes.cmx
  532. lib/frama-c/pdgTypes.o
  533. lib/frama-c/plugin.cmi
  534. lib/frama-c/plugin.cmo
  535. lib/frama-c/plugin.cmx
  536. lib/frama-c/plugin.o
  537. lib/frama-c/plugins/Aorai.cmi
  538. lib/frama-c/plugins/Callgraph.cmi
  539. lib/frama-c/plugins/Constant_Propagation.cmi
  540. lib/frama-c/plugins/From.cmi
  541. lib/frama-c/plugins/Impact.cmi
  542. lib/frama-c/plugins/Inout.cmi
  543. lib/frama-c/plugins/LoopAnalysis.cmi
  544. lib/frama-c/plugins/META.frama-c-aorai
  545. lib/frama-c/plugins/META.frama-c-callgraph
  546. lib/frama-c/plugins/META.frama-c-constant_propagation
  547. lib/frama-c/plugins/META.frama-c-from
  548. lib/frama-c/plugins/META.frama-c-impact
  549. lib/frama-c/plugins/META.frama-c-inout
  550. lib/frama-c/plugins/META.frama-c-loopanalysis
  551. lib/frama-c/plugins/META.frama-c-metrics
  552. lib/frama-c/plugins/META.frama-c-nonterm
  553. lib/frama-c/plugins/META.frama-c-obfuscator
  554. lib/frama-c/plugins/META.frama-c-occurrence
  555. lib/frama-c/plugins/META.frama-c-pdg
  556. lib/frama-c/plugins/META.frama-c-postdominators
  557. lib/frama-c/plugins/META.frama-c-print_api
  558. lib/frama-c/plugins/META.frama-c-report
  559. lib/frama-c/plugins/META.frama-c-rtegen
  560. lib/frama-c/plugins/META.frama-c-scope
  561. lib/frama-c/plugins/META.frama-c-security_slicing
  562. lib/frama-c/plugins/META.frama-c-slicing
  563. lib/frama-c/plugins/META.frama-c-sparecode
  564. lib/frama-c/plugins/META.frama-c-users
  565. lib/frama-c/plugins/META.frama-c-value
  566. lib/frama-c/plugins/META.frama-c-variadic
  567. lib/frama-c/plugins/META.frama-c-wp
  568. lib/frama-c/plugins/Metrics.cmi
  569. lib/frama-c/plugins/Nonterm.cmi
  570. lib/frama-c/plugins/Obfuscator.cmi
  571. lib/frama-c/plugins/Occurrence.cmi
  572. lib/frama-c/plugins/Pdg.cmi
  573. lib/frama-c/plugins/Postdominators.cmi
  574. lib/frama-c/plugins/Print_api.cmi
  575. lib/frama-c/plugins/Report.cmi
  576. lib/frama-c/plugins/RteGen.cmi
  577. lib/frama-c/plugins/Scope.cmi
  578. lib/frama-c/plugins/Security_slicing.cmi
  579. lib/frama-c/plugins/Slicing.cmi
  580. lib/frama-c/plugins/Sparecode.cmi
  581. lib/frama-c/plugins/Users.cmi
  582. lib/frama-c/plugins/Value.cmi
  583. lib/frama-c/plugins/Variadic.cmi
  584. lib/frama-c/plugins/Wp.cmi
  585. lib/frama-c/plugins/gui/Callgraph.cmi
  586. lib/frama-c/plugins/gui/Callgraph.cmo
  587. lib/frama-c/plugins/gui/Callgraph.cmxs
  588. lib/frama-c/plugins/gui/From.cmi
  589. lib/frama-c/plugins/gui/From.cmo
  590. lib/frama-c/plugins/gui/From.cmxs
  591. lib/frama-c/plugins/gui/Impact.cmi
  592. lib/frama-c/plugins/gui/Impact.cmo
  593. lib/frama-c/plugins/gui/Impact.cmxs
  594. lib/frama-c/plugins/gui/Metrics.cmi
  595. lib/frama-c/plugins/gui/Metrics.cmo
  596. lib/frama-c/plugins/gui/Metrics.cmxs
  597. lib/frama-c/plugins/gui/Occurrence.cmi
  598. lib/frama-c/plugins/gui/Occurrence.cmo
  599. lib/frama-c/plugins/gui/Occurrence.cmxs
  600. lib/frama-c/plugins/gui/Scope.cmi
  601. lib/frama-c/plugins/gui/Scope.cmo
  602. lib/frama-c/plugins/gui/Scope.cmxs
  603. lib/frama-c/plugins/gui/Security_slicing.cmi
  604. lib/frama-c/plugins/gui/Security_slicing.cmo
  605. lib/frama-c/plugins/gui/Security_slicing.cmxs
  606. lib/frama-c/plugins/gui/Slicing.cmi
  607. lib/frama-c/plugins/gui/Slicing.cmo
  608. lib/frama-c/plugins/gui/Slicing.cmxs
  609. lib/frama-c/plugins/gui/Value.cmi
  610. lib/frama-c/plugins/gui/Value.cmo
  611. lib/frama-c/plugins/gui/Value.cmxs
  612. lib/frama-c/plugins/gui/Wp.cma
  613. lib/frama-c/plugins/gui/Wp.cmi
  614. lib/frama-c/plugins/gui/Wp.cmxs
  615. lib/frama-c/plugins/top/Aorai.cmo
  616. lib/frama-c/plugins/top/Aorai.cmx
  617. lib/frama-c/plugins/top/Aorai.cmxs
  618. lib/frama-c/plugins/top/Callgraph.cmo
  619. lib/frama-c/plugins/top/Callgraph.cmx
  620. lib/frama-c/plugins/top/Callgraph.cmxs
  621. lib/frama-c/plugins/top/Constant_Propagation.cmo
  622. lib/frama-c/plugins/top/Constant_Propagation.cmx
  623. lib/frama-c/plugins/top/Constant_Propagation.cmxs
  624. lib/frama-c/plugins/top/From.cmo
  625. lib/frama-c/plugins/top/From.cmx
  626. lib/frama-c/plugins/top/From.cmxs
  627. lib/frama-c/plugins/top/Impact.cmo
  628. lib/frama-c/plugins/top/Impact.cmx
  629. lib/frama-c/plugins/top/Impact.cmxs
  630. lib/frama-c/plugins/top/Inout.cmo
  631. lib/frama-c/plugins/top/Inout.cmx
  632. lib/frama-c/plugins/top/Inout.cmxs
  633. lib/frama-c/plugins/top/LoopAnalysis.cmo
  634. lib/frama-c/plugins/top/LoopAnalysis.cmx
  635. lib/frama-c/plugins/top/LoopAnalysis.cmxs
  636. lib/frama-c/plugins/top/Metrics.cmo
  637. lib/frama-c/plugins/top/Metrics.cmx
  638. lib/frama-c/plugins/top/Metrics.cmxs
  639. lib/frama-c/plugins/top/Nonterm.cmo
  640. lib/frama-c/plugins/top/Nonterm.cmx
  641. lib/frama-c/plugins/top/Nonterm.cmxs
  642. lib/frama-c/plugins/top/Obfuscator.cmo
  643. lib/frama-c/plugins/top/Obfuscator.cmx
  644. lib/frama-c/plugins/top/Obfuscator.cmxs
  645. lib/frama-c/plugins/top/Occurrence.cmo
  646. lib/frama-c/plugins/top/Occurrence.cmx
  647. lib/frama-c/plugins/top/Occurrence.cmxs
  648. lib/frama-c/plugins/top/Pdg.cmo
  649. lib/frama-c/plugins/top/Pdg.cmx
  650. lib/frama-c/plugins/top/Pdg.cmxs
  651. lib/frama-c/plugins/top/Postdominators.cmo
  652. lib/frama-c/plugins/top/Postdominators.cmx
  653. lib/frama-c/plugins/top/Postdominators.cmxs
  654. lib/frama-c/plugins/top/Print_api.cmo
  655. lib/frama-c/plugins/top/Print_api.cmx
  656. lib/frama-c/plugins/top/Print_api.cmxs
  657. lib/frama-c/plugins/top/Report.cmo
  658. lib/frama-c/plugins/top/Report.cmx
  659. lib/frama-c/plugins/top/Report.cmxs
  660. lib/frama-c/plugins/top/RteGen.cmo
  661. lib/frama-c/plugins/top/RteGen.cmx
  662. lib/frama-c/plugins/top/RteGen.cmxs
  663. lib/frama-c/plugins/top/Scope.cmo
  664. lib/frama-c/plugins/top/Scope.cmx
  665. lib/frama-c/plugins/top/Scope.cmxs
  666. lib/frama-c/plugins/top/Security_slicing.cmo
  667. lib/frama-c/plugins/top/Security_slicing.cmx
  668. lib/frama-c/plugins/top/Security_slicing.cmxs
  669. lib/frama-c/plugins/top/Slicing.cmo
  670. lib/frama-c/plugins/top/Slicing.cmx
  671. lib/frama-c/plugins/top/Slicing.cmxs
  672. lib/frama-c/plugins/top/Sparecode.cmo
  673. lib/frama-c/plugins/top/Sparecode.cmx
  674. lib/frama-c/plugins/top/Sparecode.cmxs
  675. lib/frama-c/plugins/top/Users.cmo
  676. lib/frama-c/plugins/top/Users.cmx
  677. lib/frama-c/plugins/top/Users.cmxs
  678. lib/frama-c/plugins/top/Value.cmo
  679. lib/frama-c/plugins/top/Value.cmx
  680. lib/frama-c/plugins/top/Value.cmxs
  681. lib/frama-c/plugins/top/Variadic.cmo
  682. lib/frama-c/plugins/top/Variadic.cmx
  683. lib/frama-c/plugins/top/Variadic.cmxs
  684. lib/frama-c/plugins/top/Wp.cma
  685. lib/frama-c/plugins/top/Wp.cmx
  686. lib/frama-c/plugins/top/Wp.cmxa
  687. lib/frama-c/plugins/top/Wp.cmxs
  688. lib/frama-c/precise_locs.cmi
  689. lib/frama-c/precise_locs.cmo
  690. lib/frama-c/precise_locs.cmx
  691. lib/frama-c/precise_locs.o
  692. lib/frama-c/pretty_source.cmi
  693. lib/frama-c/pretty_source.cmo
  694. lib/frama-c/pretty_source.cmx
  695. lib/frama-c/pretty_source.o
  696. lib/frama-c/pretty_utils.cmi
  697. lib/frama-c/pretty_utils.cmo
  698. lib/frama-c/pretty_utils.cmx
  699. lib/frama-c/pretty_utils.o
  700. lib/frama-c/printer.cmi
  701. lib/frama-c/printer.cmo
  702. lib/frama-c/printer.cmx
  703. lib/frama-c/printer.o
  704. lib/frama-c/printer_api.cmi
  705. lib/frama-c/printer_builder.cmi
  706. lib/frama-c/printer_builder.cmo
  707. lib/frama-c/printer_builder.cmx
  708. lib/frama-c/printer_builder.o
  709. lib/frama-c/project.cmi
  710. lib/frama-c/project.cmo
  711. lib/frama-c/project.cmx
  712. lib/frama-c/project.o
  713. lib/frama-c/project_manager.cmi
  714. lib/frama-c/project_manager.cmo
  715. lib/frama-c/project_manager.cmx
  716. lib/frama-c/project_manager.o
  717. lib/frama-c/project_skeleton.cmi
  718. lib/frama-c/project_skeleton.cmo
  719. lib/frama-c/project_skeleton.cmx
  720. lib/frama-c/project_skeleton.o
  721. lib/frama-c/property.cmi
  722. lib/frama-c/property.cmo
  723. lib/frama-c/property.cmx
  724. lib/frama-c/property.o
  725. lib/frama-c/property_navigator.cmi
  726. lib/frama-c/property_navigator.cmo
  727. lib/frama-c/property_navigator.cmx
  728. lib/frama-c/property_navigator.o
  729. lib/frama-c/property_status.cmi
  730. lib/frama-c/property_status.cmo
  731. lib/frama-c/property_status.cmx
  732. lib/frama-c/property_status.o
  733. lib/frama-c/ptests_config.cmi
  734. lib/frama-c/ptests_config.cmx
  735. lib/frama-c/ptests_config.o
  736. lib/frama-c/qstack.cmi
  737. lib/frama-c/qstack.cmo
  738. lib/frama-c/qstack.cmx
  739. lib/frama-c/qstack.o
  740. lib/frama-c/rangemap.cmi
  741. lib/frama-c/rangemap.cmo
  742. lib/frama-c/rangemap.cmx
  743. lib/frama-c/rangemap.o
  744. lib/frama-c/rgmap.cmi
  745. lib/frama-c/rgmap.cmo
  746. lib/frama-c/rgmap.cmx
  747. lib/frama-c/rgmap.o
  748. lib/frama-c/rmtmps.cmi
  749. lib/frama-c/rmtmps.cmo
  750. lib/frama-c/rmtmps.cmx
  751. lib/frama-c/rmtmps.o
  752. lib/frama-c/service_graph.cmi
  753. lib/frama-c/service_graph.cmo
  754. lib/frama-c/service_graph.cmx
  755. lib/frama-c/service_graph.o
  756. lib/frama-c/slicingInternals.cmi
  757. lib/frama-c/slicingInternals.cmo
  758. lib/frama-c/slicingInternals.cmx
  759. lib/frama-c/slicingInternals.o
  760. lib/frama-c/slicingTypes.cmi
  761. lib/frama-c/slicingTypes.cmo
  762. lib/frama-c/slicingTypes.cmx
  763. lib/frama-c/slicingTypes.o
  764. lib/frama-c/source_manager.cmi
  765. lib/frama-c/source_manager.cmo
  766. lib/frama-c/source_manager.cmx
  767. lib/frama-c/source_manager.o
  768. lib/frama-c/source_viewer.cmi
  769. lib/frama-c/source_viewer.cmo
  770. lib/frama-c/source_viewer.cmx
  771. lib/frama-c/source_viewer.o
  772. lib/frama-c/special_hooks.cmi
  773. lib/frama-c/special_hooks.cmo
  774. lib/frama-c/special_hooks.cmx
  775. lib/frama-c/special_hooks.o
  776. lib/frama-c/state.cmi
  777. lib/frama-c/state.cmo
  778. lib/frama-c/state.cmx
  779. lib/frama-c/state.o
  780. lib/frama-c/state_builder.cmi
  781. lib/frama-c/state_builder.cmo
  782. lib/frama-c/state_builder.cmx
  783. lib/frama-c/state_builder.o
  784. lib/frama-c/state_dependency_graph.cmi
  785. lib/frama-c/state_dependency_graph.cmo
  786. lib/frama-c/state_dependency_graph.cmx
  787. lib/frama-c/state_dependency_graph.o
  788. lib/frama-c/state_selection.cmi
  789. lib/frama-c/state_selection.cmo
  790. lib/frama-c/state_selection.cmx
  791. lib/frama-c/state_selection.o
  792. lib/frama-c/state_topological.cmi
  793. lib/frama-c/state_topological.cmo
  794. lib/frama-c/state_topological.cmx
  795. lib/frama-c/state_topological.o
  796. lib/frama-c/statuses_by_call.cmi
  797. lib/frama-c/statuses_by_call.cmo
  798. lib/frama-c/statuses_by_call.cmx
  799. lib/frama-c/statuses_by_call.o
  800. lib/frama-c/stmts_graph.cmi
  801. lib/frama-c/stmts_graph.cmo
  802. lib/frama-c/stmts_graph.cmx
  803. lib/frama-c/stmts_graph.o
  804. lib/frama-c/structural_descr.cmi
  805. lib/frama-c/structural_descr.cmo
  806. lib/frama-c/structural_descr.cmx
  807. lib/frama-c/structural_descr.o
  808. lib/frama-c/task.cmi
  809. lib/frama-c/task.cmo
  810. lib/frama-c/task.cmx
  811. lib/frama-c/task.o
  812. lib/frama-c/tr_offset.cmi
  813. lib/frama-c/tr_offset.cmo
  814. lib/frama-c/tr_offset.cmx
  815. lib/frama-c/tr_offset.o
  816. lib/frama-c/trace.cmi
  817. lib/frama-c/trace.cmo
  818. lib/frama-c/trace.cmx
  819. lib/frama-c/trace.o
  820. lib/frama-c/transitioning.cmi
  821. lib/frama-c/transitioning.cmo
  822. lib/frama-c/transitioning.cmx
  823. lib/frama-c/transitioning.o
  824. lib/frama-c/translate_lightweight.cmi
  825. lib/frama-c/translate_lightweight.cmo
  826. lib/frama-c/translate_lightweight.cmx
  827. lib/frama-c/translate_lightweight.o
  828. lib/frama-c/type.cmi
  829. lib/frama-c/type.cmo
  830. lib/frama-c/type.cmx
  831. lib/frama-c/type.o
  832. lib/frama-c/typed_parameter.cmi
  833. lib/frama-c/typed_parameter.cmo
  834. lib/frama-c/typed_parameter.cmx
  835. lib/frama-c/typed_parameter.o
  836. lib/frama-c/unicode.cmi
  837. lib/frama-c/unicode.cmo
  838. lib/frama-c/unicode.cmx
  839. lib/frama-c/unicode.o
  840. lib/frama-c/unmarshal.cmi
  841. lib/frama-c/unmarshal.cmo
  842. lib/frama-c/unmarshal.cmx
  843. lib/frama-c/unmarshal.o
  844. lib/frama-c/unmarshal_nums.cmi
  845. lib/frama-c/unmarshal_nums.cmo
  846. lib/frama-c/unmarshal_nums.cmx
  847. lib/frama-c/unmarshal_nums.o
  848. lib/frama-c/unmarshal_z.cmi
  849. lib/frama-c/unmarshal_z.cmo
  850. lib/frama-c/unmarshal_z.cmx
  851. lib/frama-c/unmarshal_z.o
  852. lib/frama-c/unroll_loops.cmi
  853. lib/frama-c/unroll_loops.cmo
  854. lib/frama-c/unroll_loops.cmx
  855. lib/frama-c/unroll_loops.o
  856. lib/frama-c/utf8_logic.cmi
  857. lib/frama-c/utf8_logic.cmo
  858. lib/frama-c/utf8_logic.cmx
  859. lib/frama-c/utf8_logic.o
  860. lib/frama-c/value_types.cmi
  861. lib/frama-c/value_types.cmo
  862. lib/frama-c/value_types.cmx
  863. lib/frama-c/value_types.o
  864. lib/frama-c/vector.cmi
  865. lib/frama-c/vector.cmo
  866. lib/frama-c/vector.cmx
  867. lib/frama-c/vector.o
  868. lib/frama-c/visitor.cmi
  869. lib/frama-c/visitor.cmo
  870. lib/frama-c/visitor.cmx
  871. lib/frama-c/visitor.o
  872. lib/frama-c/warning_manager.cmi
  873. lib/frama-c/warning_manager.cmo
  874. lib/frama-c/warning_manager.cmx
  875. lib/frama-c/warning_manager.o
  876. lib/frama-c/wbox.cmi
  877. lib/frama-c/wbox.cmo
  878. lib/frama-c/wbox.cmx
  879. lib/frama-c/wbox.o
  880. lib/frama-c/wfile.cmi
  881. lib/frama-c/wfile.cmo
  882. lib/frama-c/wfile.cmx
  883. lib/frama-c/wfile.o
  884. lib/frama-c/widen_type.cmi
  885. lib/frama-c/widen_type.cmo
  886. lib/frama-c/widen_type.cmx
  887. lib/frama-c/widen_type.o
  888. lib/frama-c/widget.cmi
  889. lib/frama-c/widget.cmo
  890. lib/frama-c/widget.cmx
  891. lib/frama-c/widget.o
  892. lib/frama-c/wpalette.cmi
  893. lib/frama-c/wpalette.cmo
  894. lib/frama-c/wpalette.cmx
  895. lib/frama-c/wpalette.o
  896. lib/frama-c/wpane.cmi
  897. lib/frama-c/wpane.cmo
  898. lib/frama-c/wpane.cmx
  899. lib/frama-c/wpane.o
  900. lib/frama-c/wtable.cmi
  901. lib/frama-c/wtable.cmo
  902. lib/frama-c/wtable.cmx
  903. lib/frama-c/wtable.o
  904. lib/frama-c/wtext.cmi
  905. lib/frama-c/wtext.cmo
  906. lib/frama-c/wtext.cmx
  907. lib/frama-c/wtext.o
  908. lib/frama-c/wto.cmi
  909. lib/frama-c/wto.cmo
  910. lib/frama-c/wto.cmx
  911. lib/frama-c/wto.o
  912. lib/frama-c/wto_statement.cmi
  913. lib/frama-c/wto_statement.cmo
  914. lib/frama-c/wto_statement.cmx
  915. lib/frama-c/wto_statement.o
  916. lib/frama-c/wutil.cmi
  917. lib/frama-c/wutil.cmo
  918. lib/frama-c/wutil.cmx
  919. lib/frama-c/wutil.o
  920. share/frama-c/Makefile.common
  921. share/frama-c/Makefile.config
  922. share/frama-c/Makefile.dynamic
  923. share/frama-c/Makefile.dynamic_config
  924. share/frama-c/Makefile.generic
  925. share/frama-c/Makefile.kernel
  926. share/frama-c/Makefile.plugin.template
  927. share/frama-c/builtin.h
  928. share/frama-c/configure.ac
  929. share/frama-c/doc/code/docgen.ml
  930. share/frama-c/doc/code/intro_kernel_plugin.txt
  931. share/frama-c/doc/code/intro_plugin.txt
  932. share/frama-c/doc/code/intro_plugin_default.txt
  933. share/frama-c/doc/code/style.css
  934. share/frama-c/doc/code/toc_head.htm
  935. share/frama-c/doc/code/toc_tail.htm
  936. share/frama-c/emacs/acsl.el
  937. share/frama-c/emacs/frama-c-dev.el
  938. share/frama-c/emacs/frama-c-init.el
  939. share/frama-c/emacs/frama-c-recommended.el
  940. share/frama-c/frama-c.ico
  941. share/frama-c/frama-c.png
  942. share/frama-c/frama-c.rc
  943. share/frama-c/libc.c
  944. share/frama-c/libc/__fc_builtin.c
  945. share/frama-c/libc/__fc_builtin.h
  946. share/frama-c/libc/__fc_builtin_for_normalization.i
  947. share/frama-c/libc/__fc_define_blkcnt_t.h
  948. share/frama-c/libc/__fc_define_blksize_t.h
  949. share/frama-c/libc/__fc_define_dev_t.h
  950. share/frama-c/libc/__fc_define_eof.h
  951. share/frama-c/libc/__fc_define_fd_set_t.h
  952. share/frama-c/libc/__fc_define_file.h
  953. share/frama-c/libc/__fc_define_fpos_t.h
  954. share/frama-c/libc/__fc_define_id_t.h
  955. share/frama-c/libc/__fc_define_ino_t.h
  956. share/frama-c/libc/__fc_define_intptr_t.h
  957. share/frama-c/libc/__fc_define_iovec.h
  958. share/frama-c/libc/__fc_define_mode_t.h
  959. share/frama-c/libc/__fc_define_nlink_t.h
  960. share/frama-c/libc/__fc_define_null.h
  961. share/frama-c/libc/__fc_define_off_t.h
  962. share/frama-c/libc/__fc_define_pid_t.h
  963. share/frama-c/libc/__fc_define_sa_family_t.h
  964. share/frama-c/libc/__fc_define_seek_macros.h
  965. share/frama-c/libc/__fc_define_sigset_t.h
  966. share/frama-c/libc/__fc_define_size_t.h
  967. share/frama-c/libc/__fc_define_sockaddr.h
  968. share/frama-c/libc/__fc_define_ssize_t.h
  969. share/frama-c/libc/__fc_define_stat.h
  970. share/frama-c/libc/__fc_define_suseconds_t.h
  971. share/frama-c/libc/__fc_define_time_t.h
  972. share/frama-c/libc/__fc_define_timespec.h
  973. share/frama-c/libc/__fc_define_uid_and_gid.h
  974. share/frama-c/libc/__fc_define_useconds_t.h
  975. share/frama-c/libc/__fc_define_wchar_t.h
  976. share/frama-c/libc/__fc_define_wint_t.h
  977. share/frama-c/libc/__fc_machdep.h
  978. share/frama-c/libc/__fc_machdep_linux_gcc_shared.h
  979. share/frama-c/libc/__fc_select.h
  980. share/frama-c/libc/__fc_string_axiomatic.h
  981. share/frama-c/libc/arpa/inet.h
  982. share/frama-c/libc/assert.c
  983. share/frama-c/libc/assert.h
  984. share/frama-c/libc/byteswap.h
  985. share/frama-c/libc/complex.h
  986. share/frama-c/libc/ctype.c
  987. share/frama-c/libc/ctype.h
  988. share/frama-c/libc/dirent.h
  989. share/frama-c/libc/dlfcn.h
  990. share/frama-c/libc/endian.h
  991. share/frama-c/libc/errno.c
  992. share/frama-c/libc/errno.h
  993. share/frama-c/libc/fc_runtime.c
  994. share/frama-c/libc/fcntl.h
  995. share/frama-c/libc/features.h
  996. share/frama-c/libc/fenv.h
  997. share/frama-c/libc/float.h
  998. share/frama-c/libc/getopt.c
  999. share/frama-c/libc/getopt.h
  1000. share/frama-c/libc/glob.h
  1001. share/frama-c/libc/grp.h
  1002. share/frama-c/libc/iconv.h
  1003. share/frama-c/libc/ifaddrs.h
  1004. share/frama-c/libc/inttypes.c
  1005. share/frama-c/libc/inttypes.h
  1006. share/frama-c/libc/iso646.h
  1007. share/frama-c/libc/libgen.h
  1008. share/frama-c/libc/libintl.h
  1009. share/frama-c/libc/limits.h
  1010. share/frama-c/libc/linux/fs.h
  1011. share/frama-c/libc/linux/if_addr.h
  1012. share/frama-c/libc/linux/if_netlink.h
  1013. share/frama-c/libc/linux/netlink.h
  1014. share/frama-c/libc/linux/rtnetlink.h
  1015. share/frama-c/libc/locale.c
  1016. share/frama-c/libc/locale.h
  1017. share/frama-c/libc/math.c
  1018. share/frama-c/libc/math.h
  1019. share/frama-c/libc/net/if.h
  1020. share/frama-c/libc/netdb.h
  1021. share/frama-c/libc/netinet/in.h
  1022. share/frama-c/libc/netinet/in_systm.h
  1023. share/frama-c/libc/netinet/ip.h
  1024. share/frama-c/libc/netinet/ip_icmp.h
  1025. share/frama-c/libc/nl_types.h
  1026. share/frama-c/libc/pwd.h
  1027. share/frama-c/libc/regex.h
  1028. share/frama-c/libc/setjmp.h
  1029. share/frama-c/libc/signal.h
  1030. share/frama-c/libc/stdarg.h
  1031. share/frama-c/libc/stdbool.h
  1032. share/frama-c/libc/stddef.h
  1033. share/frama-c/libc/stdint.h
  1034. share/frama-c/libc/stdio.c
  1035. share/frama-c/libc/stdio.h
  1036. share/frama-c/libc/stdlib.c
  1037. share/frama-c/libc/stdlib.h
  1038. share/frama-c/libc/string.c
  1039. share/frama-c/libc/string.h
  1040. share/frama-c/libc/strings.h
  1041. share/frama-c/libc/sys/ioctl.h
  1042. share/frama-c/libc/sys/param.h
  1043. share/frama-c/libc/sys/resource.h
  1044. share/frama-c/libc/sys/select.h
  1045. share/frama-c/libc/sys/socket.h
  1046. share/frama-c/libc/sys/stat.h
  1047. share/frama-c/libc/sys/sysctl.h
  1048. share/frama-c/libc/sys/time.h
  1049. share/frama-c/libc/sys/times.h
  1050. share/frama-c/libc/sys/types.h
  1051. share/frama-c/libc/sys/uio.h
  1052. share/frama-c/libc/sys/un.h
  1053. share/frama-c/libc/sys/wait.h
  1054. share/frama-c/libc/syslog.h
  1055. share/frama-c/libc/termios.h
  1056. share/frama-c/libc/tgmath.h
  1057. share/frama-c/libc/time.h
  1058. share/frama-c/libc/uchar.h
  1059. share/frama-c/libc/unistd.h
  1060. share/frama-c/libc/wchar.c
  1061. share/frama-c/libc/wchar.h
  1062. share/frama-c/libc/wctype.h
  1063. share/frama-c/machdep.c
  1064. share/frama-c/switch-off.png
  1065. share/frama-c/switch-on.png
  1066. share/frama-c/theme/colorblind/considered_valid.png
  1067. share/frama-c/theme/colorblind/inconsistent.png
  1068. share/frama-c/theme/colorblind/invalid_but_dead.png
  1069. share/frama-c/theme/colorblind/invalid_under_hyp.png
  1070. share/frama-c/theme/colorblind/never_tried.png
  1071. share/frama-c/theme/colorblind/surely_invalid.png
  1072. share/frama-c/theme/colorblind/surely_valid.png
  1073. share/frama-c/theme/colorblind/unknown.png
  1074. share/frama-c/theme/colorblind/unknown_but_dead.png
  1075. share/frama-c/theme/colorblind/valid_but_dead.png
  1076. share/frama-c/theme/colorblind/valid_under_hyp.png
  1077. share/frama-c/theme/default/considered_valid.png
  1078. share/frama-c/theme/default/inconsistent.png
  1079. share/frama-c/theme/default/invalid_but_dead.png
  1080. share/frama-c/theme/default/invalid_under_hyp.png
  1081. share/frama-c/theme/default/never_tried.png
  1082. share/frama-c/theme/default/surely_invalid.png
  1083. share/frama-c/theme/default/surely_valid.png
  1084. share/frama-c/theme/default/unknown.png
  1085. share/frama-c/theme/default/unknown_but_dead.png
  1086. share/frama-c/theme/default/valid_but_dead.png
  1087. share/frama-c/theme/default/valid_under_hyp.png
  1088. share/frama-c/unmark.png
  1089. share/frama-c/wp/coqwp/Bits.v
  1090. share/frama-c/wp/coqwp/BuiltIn.v
  1091. share/frama-c/wp/coqwp/Cbits.v
  1092. share/frama-c/wp/coqwp/Cfloat.v
  1093. share/frama-c/wp/coqwp/Cint.v
  1094. share/frama-c/wp/coqwp/Cmath.v
  1095. share/frama-c/wp/coqwp/Memory.v
  1096. share/frama-c/wp/coqwp/Qed.v
  1097. share/frama-c/wp/coqwp/Qedlib.v
  1098. share/frama-c/wp/coqwp/Vlist.v
  1099. share/frama-c/wp/coqwp/Vset.v
  1100. share/frama-c/wp/coqwp/Zbits.v
  1101. share/frama-c/wp/coqwp/bool/Bool.v
  1102. share/frama-c/wp/coqwp/int/Abs.v
  1103. share/frama-c/wp/coqwp/int/ComputerDivision.v
  1104. share/frama-c/wp/coqwp/int/Int.v
  1105. share/frama-c/wp/coqwp/int/MinMax.v
  1106. share/frama-c/wp/coqwp/map/Map.v
  1107. share/frama-c/wp/coqwp/real/Abs.v
  1108. share/frama-c/wp/coqwp/real/FromInt.v
  1109. share/frama-c/wp/coqwp/real/MinMax.v
  1110. share/frama-c/wp/coqwp/real/Real.v
  1111. share/frama-c/wp/coqwp/real/RealInfix.v
  1112. share/frama-c/wp/coqwp/real/Square.v
  1113. share/frama-c/wp/ergo/Cbits.mlw
  1114. share/frama-c/wp/ergo/Cfloat.mlw
  1115. share/frama-c/wp/ergo/Cint.mlw
  1116. share/frama-c/wp/ergo/Cmath.mlw
  1117. share/frama-c/wp/ergo/Memory.mlw
  1118. share/frama-c/wp/ergo/Qed.mlw
  1119. share/frama-c/wp/ergo/Vlist.mlw
  1120. share/frama-c/wp/ergo/Vset.mlw
  1121. share/frama-c/wp/ergo/bool.Bool.mlw
  1122. share/frama-c/wp/ergo/int.Abs.mlw
  1123. share/frama-c/wp/ergo/int.ComputerDivision.mlw
  1124. share/frama-c/wp/ergo/int.Int.mlw
  1125. share/frama-c/wp/ergo/int.MinMax.mlw
  1126. share/frama-c/wp/ergo/map.Map.mlw
  1127. share/frama-c/wp/ergo/real.Abs.mlw
  1128. share/frama-c/wp/ergo/real.FromInt.mlw
  1129. share/frama-c/wp/ergo/real.MinMax.mlw
  1130. share/frama-c/wp/ergo/real.Real.mlw
  1131. share/frama-c/wp/ergo/real.RealInfix.mlw
  1132. share/frama-c/wp/ergo/real.Square.mlw
  1133. share/frama-c/wp/why3/Bits.v
  1134. share/frama-c/wp/why3/Cbits.v
  1135. share/frama-c/wp/why3/Cbits.why
  1136. share/frama-c/wp/why3/Cfloat.v
  1137. share/frama-c/wp/why3/Cfloat.why
  1138. share/frama-c/wp/why3/Cint.v
  1139. share/frama-c/wp/why3/Cint.why
  1140. share/frama-c/wp/why3/Cmath.v
  1141. share/frama-c/wp/why3/Cmath.why
  1142. share/frama-c/wp/why3/Memory.v
  1143. share/frama-c/wp/why3/Memory.why
  1144. share/frama-c/wp/why3/Qed.v
  1145. share/frama-c/wp/why3/Qed.why
  1146. share/frama-c/wp/why3/Qedlib.v
  1147. share/frama-c/wp/why3/Vlist.v
  1148. share/frama-c/wp/why3/Vlist.why
  1149. share/frama-c/wp/why3/Vset.v
  1150. share/frama-c/wp/why3/Vset.why
  1151. share/frama-c/wp/why3/Zbits.v
  1152. share/frama-c/wp/why3/coq.drv
  1153. share/frama-c/wp/why3/why3.conf
  1154. share/frama-c/wp/wp.driver
  1155. man/man1/frama-c-gui.1.gz
  1156. man/man1/frama-c.1.gz
  1157. share/emacs/site-lisp/acsl.el
  1158. share/emacs/site-lisp/frama-c-dev.el
  1159. share/emacs/site-lisp/frama-c-init.el
  1160. share/emacs/site-lisp/frama-c-recommended.el
  1161. @dir lib/frama-c/plugins/gui
  1162. Collapse this list.

To install the port: cd /usr/ports/devel/frama-c/ && make install clean
To add the package: pkg install frama-c

PKGNAME: frama-c

distinfo:

TIMESTAMP = 1483395653
SHA256 (framac-01/frama-c-Silicon-20161101.tar.gz) = b03918572f9a4dbf28b6234c8ece14cbe3a7587ef17add5225bd865f7d2100e3
SIZE (framac-01/frama-c-Silicon-20161101.tar.gz) = 6689893


NOTE: FreshPorts displays only information on required and default dependencies. Optional dependencies are not covered.

Build dependencies:
  1. graph.a : math/ocaml-ocamlgraph
  2. zarith.a : math/ocaml-zarith
  3. ocamlc : lang/ocaml
  4. gmake : devel/gmake
  5. pkgconf>=1.3.0_1 : devel/pkgconf
Runtime dependencies:
  1. graph.a : math/ocaml-ocamlgraph
  2. zarith.a : math/ocaml-zarith
  3. ocamlc : lang/ocaml
Library dependencies:
  1. libgmp.so : math/gmp
  2. libfreetype.so : print/freetype2
  3. libfontconfig.so : x11-fonts/fontconfig
  4. libintl.so : devel/gettext-runtime
  5. libatk-1.0.so : accessibility/atk
  6. libcairo.so : graphics/cairo
  7. libgdk_pixbuf-2.0.so : graphics/gdk-pixbuf2
  8. libglib-2.0.so : devel/glib20
  9. libintl.so : devel/gettext-runtime
  10. libgtk-x11-2.0.so : x11-toolkits/gtk20
  11. libgtksourceview-2.0.so : x11-toolkits/gtksourceview2
  12. libart_lgpl_2.so : graphics/libart_lgpl
  13. libglade-2.0.so : devel/libglade2
  14. libgnomecanvas-2.so : graphics/libgnomecanvas
  15. libxml2.so : textproc/libxml2
  16. libpango-1.0.so : x11-toolkits/pango
Patch dependencies:
  1. ocamlc : lang/ocaml
Extract dependencies:
  1. ocamlc : lang/ocaml
There are no ports dependent upon this port

Configuration Options
     No options to configure

USES:
gettext-runtime gmake gnome localbase pathfix pkgconfig gnome

Master Sites:
  1. http://frama-c.com/download/

Number of commits found: 24

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
04 Mar 2017 04:19:04
Original commit files touched by this commit  20161101
Revision:435383
mmokhi search for other commits by this committer
devel/frama-c: Update to the last release (Silicon-20161101).

Reviewed by:	feld, mat
Approved by:	feld, mat (mentors)
Differential Revision:	https://reviews.freebsd.org/D9790
11 Feb 2017 04:44:44
Original commit files touched by this commit  20150201_3
Revision:433834
mmokhi search for other commits by this committer
Updating the ports I maintain to my FreeBSD.org address.

Submitted by:	mmokhi
Reviewed by:	feld, mat
Approved by:	feld, mat (mentors)
Differential Revision:	https://reviews.freebsd.org/D9498
28 May 2016 02:02:54
Original commit files touched by this commit  20150201_3
Revision:415974
junovitch search for other commits by this committer
Assign submitter as maintainer by request

PR:		209794
Submitted by:	Mahdi Mokhtari <mokhi64@gmail.com>
Differential Revision:	D6606
01 Apr 2016 14:00:57
Original commit files touched by this commit  20150201_3
Revision:412346
mat search for other commits by this committer
Remove ${PORTSDIR}/ from dependencies, categories d, e, f, and g.

With hat:	portmgr
Sponsored by:	Absolight
13 Nov 2015 13:47:52
Original commit files touched by this commit  20150201_3
Revision:401513
marino search for other commits by this committer
devel/frama-c: Unbreak after checking rerolled distfile

Upstream re-rolled Frama-C keeping a February 2015 date stamp
in the filename (!).  I compared the new distfile with the old one.
Only two files were modified (opam, Makefile) and all the rest were
additional files (new /external directory, new /bin directory with
shell scripts).  It looks innocent to me.

Regenerate distfile and set DIST_SUBDIR now that frama-c devs have a
reputation for rerolls.
09 Nov 2015 12:59:04
Original commit files touched by this commit  20150201_2
Revision:401096
antoine search for other commits by this committer
Mark a few ports BROKEN: unfetchable
08 Jun 2015 01:20:46
Original commit files touched by this commit  20150201_2
Revision:388813
amdmi3 search for other commits by this committer
- Strip binaries
04 May 2015 15:46:52
Original commit files touched by this commit  20150201_1
Revision:385413
madpilot search for other commits by this committer
- Add USE_OCAML_CAMLP4 and USE_OCAML_TK to bsd.ocaml.mk which add
  depends on the camlp4 language and labltk ocaml modules, which are
  now in separate ports.
- Update x11-toolkits/ocaml-lablgtk2 to 2.18.3
- Update graphics/ocaml-lablgl to 1.05
- Make unison ports use USE_OCAML
- Convert ports to the new flags where needed
- Bump PORTREVISION on ports depending on ocaml-lablgtk2, those need to be
rebuilt

PR:			199845
Submitted by:		jbeich@
Differential Revision:	https://reviews.freebsd.org/D2434
Approved by:		portmgr (mat)
22 Mar 2015 18:39:34
Original commit files touched by this commit  20150201
Revision:381945
marino search for other commits by this committer
devel/frama-c: upgrade version 20140301 => 20150201 (Unbreak)

The big change is the removal of options.
With Sodium, the gui, plugins, coq and why3 are all enabled by default.
The pain to disable these options isn't worth the hassle of maintaining
the plist with all its possible variations.

Notes:
  - The distfile can only be extracted by gtar.
  - Reset maintainership
  - This ports is extremely sensitive to Ocamlgraph changes.  Ocamlgraph
    should not be updated without checking breakage on frama-c first
  - used @dir instead of .keepme
  - Made some tabbing changes
31 Jan 2015 09:54:15
Original commit files touched by this commit  20140301_2
Revision:378196
antoine search for other commits by this committer
Mark BROKEN: Fails to build with ocamlgraph 1.8.6

Ocamlc       src/logic/property_status.cmi
Ocamlc       src/logic/property_status.cmo
File "src/logic/property_status.ml", line 1444, characters 4-2019:
Error: Signature mismatch:
       ...
       Values do not match:
         val vertex_attributes :
           v ->
           [> `Color of int
            | `Label of string
            | `Shape of [> `Box | `Diamond ]
            | `Style of [> `Bold | `Filled ]
            | `Width of float ]
           list
       is not included in
         val vertex_attributes :
           V.t -> Graph.Graphviz.DotAttributes.vertex list
       File "src/logic/property_status.ml", line 1479, characters 16-33:
         Actual declaration
share/Makefile.generic:75: recipe for target 'src/logic/property_status.cmo'
failed

Reported by:	pkg-fallout
27 Oct 2014 10:10:59
Original commit files touched by this commit  20140301_2
Revision:371544
bapt search for other commits by this committer
Cleanup plist
10 Sep 2014 20:50:37
Original commit files touched by this commit  20140301_2
Revision:367888
gerald search for other commits by this committer
Update the default version of GCC in the Ports Collection from GCC 4.7.4
to GCC 4.8.3.

Part II, Bump PORTREVISIONs.

PR:		192025
Tested by:	antoine (-exp runs)
Approved by:	portmgr (implicit)
24 Jun 2014 22:48:03
Original commit files touched by this commit  20140301_1
Revision:359165
bapt search for other commits by this committer
Use MAKE_CMD
03 Jun 2014 13:37:06
Original commit files touched by this commit  20140301_1
Revision:356360
marino search for other commits by this committer
devel/frama-c: Re-stage to correct -print-libpath

The approach to staging had a bug.  frama-c -print-libpath returned
a path to /wrkdirs (the standard work directory in poudriere).  Improve
staging so frama-c knows where its installed.
07 May 2014 20:47:37
Original commit files touched by this commit  20140301
Revision:353205
marino search for other commits by this committer
devel/frama-c: Update version Oxygen => Neon to unbreak and stage

Oxygen is from Sept 2012, and Neon is from Mar 2014.  Stage support was
added along with some minor cleanup.  A major patch from Debian was
required to support OcamlGraph 1.8.5.

It has been broken since Ocaml was updated to 4.01.
Work covered by Staging blanket.
20 Sep 2013 17:04:44
Original commit files touched by this commit  20120901
Revision:327723
bapt search for other commits by this committer
Add NO_STAGE all over the place in preparation for the staging support (cat:
devel part 2)
07 Mar 2013 03:56:52
Original commit files touched by this commit  20120901
Revision:313561
bf search for other commits by this committer
update to the Oxygen release
05 Mar 2013 20:22:03
Original commit files touched by this commit  20111001_3
Revision:313476
bf search for other commits by this committer
update x11-toolkits/ocaml-lablgtk2 to 2.16.0+bugfixes, and adjust
dependent ports

PR:		144982, 149958
Reviewed by:	johans (earlier version of the patch)
27 Jun 2012 07:16:14
Original commit files touched by this commit  20111001_2
bf search for other commits by this committer
temporarily fix the build by reverting to the use of the bundled
ocamlgraph 1.8, rather than math/ocaml-ocamlgraph
26 Jun 2012 20:55:55
Original commit files touched by this commit  20111001_1
pav search for other commits by this committer
- Mark BROKEN: does not build
         The field `compare' is required but not provided
         gmake: *** [src/misc/service_graph.cmo] Error 2

Reported by:    pointyhat
01 Jun 2012 05:26:28
Original commit files touched by this commit  20111001_1
dinoex search for other commits by this committer
- update png to 1.5.10
21 Dec 2011 03:00:29
Original commit files touched by this commit  20111001
bf search for other commits by this committer
update to Nitrogen-20111001
21 Oct 2011 12:33:56
Original commit files touched by this commit  20110201
bf search for other commits by this committer
fix the plist after the recent ocamlgraph update by permitting
the use of external ocamlgraph-1.8 [1]; indent the post-patch
target for clarity

Reported by:    pav, johans [1]
18 Sep 2011 15:38:25
Original commit files touched by this commit  20110201
bf search for other commits by this committer
Add frama-c , extensible platform for source-code analysis of C.

Number of commits found: 24

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD

This site
What is FreshPorts?
About the authors
Issues
FAQ
How big is it?
The latest upgrade!
Privacy
Forums
Blog
Contact

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
asterisk13Dec 13
asterisk13*Dec 13
asterisk13*Dec 13
asterisk13*Dec 13
libxml2Dec 13
curl*Dec 11
linux-c7-curl*Dec 11
wiresharkDec 10
procmail*Dec 08
opensslDec 07
firefoxDec 05
firefox-esrDec 05
linux-firefoxDec 05
linux-seamonkeyDec 05
seamonkeyDec 05

16 vulnerabilities affecting 78 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2017-12-13 20:45:50


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 32123
Broken 121
Deprecated 39
Ignore 357
Forbidden 0
Restricted 173
No CDROM 77
Vulnerable 44
Expired 10
Set to expire 31
Interactive 0
new 24 hours 7
new 48 hours14
new 7 days79
new fortnight9556
new month48558

Servers and bandwidth provided by
New York Internet, SuperNews, and RootBSD
Valid HTML, CSS, and RSS.
Copyright © 2000-2017 Dan Langille. All rights reserved.