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

Port details
frama-c Extensible platform for source-code analysis of C
20150201_3 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: mokhi64@gmail.com search for ports maintained by this maintainer
Port Added: 18 Sep 2011 15:38:50
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

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:

SHA256 (framac-01/frama-c-Sodium-20150201.tar.gz) = 5875d86b0c269d348afa4602f0ca7fe6b6856191fdb703d8eb0bc90d4c985a7d
SIZE (framac-01/frama-c-Sodium-20150201.tar.gz) = 6155507


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

Build dependencies:
  1. graph.a : math/ocaml-ocamlgraph
  2. ocamlc : lang/ocaml
  3. gmake : devel/gmake
Runtime dependencies:
  1. graph.a : math/ocaml-ocamlgraph
  2. ocamlc : lang/ocaml
Patch dependencies:
  1. gtar : archivers/gtar
  2. ocamlc : lang/ocaml
Extract dependencies:
  1. ocamlc : lang/ocaml
There are no ports dependent upon this port

Configuration Options
     No options to configure

USES:
gmake

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

Number of commits found: 22

Commit History - (may be incomplete: see SVNWeb link above for full details)
DateByDescription
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: 22

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
linux-c6-openssl*Sep 30
openssl*Sep 30
openssl-devel*Sep 30
bind9-develSep 28
bind910Sep 28
bind911Sep 28
bind99Sep 28
libresslSep 26
libressl-develSep 26
opensslSep 26
openssl-develSep 26
irssi*Sep 22
irssi*Sep 22
firefoxSep 20
firefox*Sep 20

7 vulnerabilities affecting 32 ports have been reported in the past 14 days

* - modified, not new

All vulnerabilities


Ports
Home
Categories
Deleted ports
Sanity Test Failures
Newsfeeds

Statistics
Graphs
NEW Graphs (Javascript)
Traffic

Calculated hourly:
Port count 26275
Broken 376
Deprecated 246
Ignore 639
Forbidden 0
Restricted 199
No CDROM 83
Vulnerable 59
Expired 20
Set to expire 232
Interactive 0
new 24 hours 0
new 48 hours9
new 7 days33
new fortnight59
new month119

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