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

I am looking for an LTO tape library. Do you have one to spare?
Port details
frama-c 20140301_2 devel on this many watch lists=1 search for ports that depend on this port
Extensible platform for source-code analysis of C
Maintained by: bf@FreeBSD.org 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 : Main Web Site : Distfiles Availability : PortsMon

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

Required To Build:
  1. math/ocaml-ocamlgraph
  2. math/alt-ergo
  3. x11-toolkits/ocaml-lablgtk2
  4. graphics/graphviz
  5. math/ltl2ba
  6. lang/ocaml
  7. devel/gmake
Required To Run:
  1. math/ocaml-ocamlgraph
  2. math/alt-ergo
  3. x11-toolkits/ocaml-lablgtk2
  4. graphics/graphviz
  5. math/ltl2ba
  6. lang/ocaml
There are no ports dependent upon this port

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


Configuration Options
===> The following configuration options are available for frama-c-20140301_2:
     ALTERGO=on: Alt-Ergo plugin (requires PLUGINS)
     COQ=off: Coq plugin (requires PLUGINS)
     GUI=on: Graphical User Interface (requires PLUGINS)
     PLUGINS=on: Build and/or install plugins
===> Use 'make config' to modify these settings

Master Sites:
  1. http://distcache.FreeBSD.org/local-distfiles/bf/
  2. http://distcache.FreeBSD.org/ports-distfiles/
  3. http://distcache.eu.FreeBSD.org/local-distfiles/bf/
  4. http://distcache.us-east.FreeBSD.org/local-distfiles/bf/
  5. http://distcache.us-west.FreeBSD.org/local-distfiles/bf/
  6. http://frama-c.com/download/

Number of commits found: 13

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

Login
User Login
Create account

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

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

Search
Enter Keywords:
 
more...

Latest Vulnerabilities
asterisk11Sep 18
squidSep 18
squid33Sep 18
dbusSep 17
nginxSep 16
nginx-develSep 16
phpmyadminSep 13
ossec-hids-clientSep 11
ossec-hids-localSep 11
ossec-hids-serverSep 11
chromiumSep 09
trafficserverSep 05
apache22*Sep 03
apache22-event-mpm*Sep 03
apache22-itk-mpm*Sep 03

8 vulnerabilities affecting 19 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 24094
Broken 121
Deprecated 90
Ignore 385
Forbidden 17
Restricted 203
No CDROM 94
Vulnerable 23
Expired 2
Set to expire 85
Interactive 0
new 24 hours 1
new 48 hours5
new 7 days36
new fortnight70
new month237

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