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

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

PKGNAME: frama-c

There is no flavor information for this port.

distinfo:

TIMESTAMP = 1496311445
SHA256 (frama-c-Phosphorus-20170501.tar.gz) = 614f384ea487206df2ba42ddf66de610cc45846bb7b7aeafcbc40e5d99626c99
SIZE (frama-c-Phosphorus-20170501.tar.gz) = 7431131


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

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

Number of commits found: 25

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
17 Jun 2019 07:33:40
Original commit files touched by this commit  20170501
Revision:504397
danfe search for other commits by this committer
- Update to the next version (v15.x Phosphorus) which builds against
  both current and newish versions of OCaml
- Disable E-ACSL plugin for now which fails to build bundled jemalloc
- Drop useless DIST_SUBDIR, the distfile name is unique enough
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: 25

Login
User Login
Create account

Servers and bandwidth provided by
New York Internet, iXsystems, 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
jenkinsJul 17
jenkins-ltsJul 17
libxsltJul 16
asterisk13Jul 12
asterisk13Jul 12
asterisk15Jul 12
asterisk15Jul 12
asterisk16Jul 12
asterisk16Jul 12
python37Jul 12
firefoxJul 09
firefox*Jul 09
firefox-esrJul 09
firefox-esr*Jul 09
gnupgJul 09

14 vulnerabilities affecting 153 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities

Last updated:
2019-07-17 15:55:25


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 36984
Broken 93
Deprecated 99
Ignore 326
Forbidden 3
Restricted 162
No CDROM 74
Vulnerable 30
Expired 14
Set to expire 69
Interactive 0
new 24 hours 6
new 48 hours12
new 7 days31
new fortnight58
new month125

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