-
Notifications
You must be signed in to change notification settings - Fork 1.1k
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #18632 from ivg/release-frontc-4.0.0
releases FrontC 4.0.0
- Loading branch information
Showing
3 changed files
with
109 additions
and
0 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,37 @@ | ||
| opam-version: "2.0" | ||
| synopsis: "Parses C programs to an abstract syntax tree" | ||
| description: | ||
| "FrontC provides a C parser and an OCaml definition of an abstract syntax treee for the C language. It also includes AST pretty-printers in plain and XML formats." | ||
| maintainer: ["Ivan Gotovchits <ivg@ieee.org>"] | ||
| authors: ["Hugues Cassé <casse@irit.fr> et al"] | ||
| license: "LGPL-2.0-only" | ||
| tags: ["FrontC" "C" "parser" "XML"] | ||
| homepage: "https://github.com/BinaryAnalysisPlatform/FrontC" | ||
| bug-reports: "https://github.com/BinaryAnalysisPlatform/FrontC/issues" | ||
| depends: [ | ||
| "ocaml" {>= "4.08.0"} | ||
| "dune" {>= "2.7"} | ||
| "menhir" | ||
| "odoc" {with-doc} | ||
| ] | ||
| build: [ | ||
| ["dune" "subst"] {dev} | ||
| [ | ||
| "dune" | ||
| "build" | ||
| "-p" | ||
| name | ||
| "-j" | ||
| jobs | ||
| "@install" | ||
| "@runtest" {with-test} | ||
| "@doc" {with-doc} | ||
| ] | ||
| ] | ||
| dev-repo: "git+https://github.com/BinaryAnalysisPlatform/FrontC.git" | ||
|
|
||
| url { | ||
| src: "https://github.com/BinaryAnalysisPlatform/FrontC/archive/refs/tags/v4.0.0.tar.gz" | ||
| checksum: "md5=2e8875a947b12ae3de2e89b1d9b3c7fe" | ||
| mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/FrontC/v4.0.0.tar.gz" | ||
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,37 @@ | ||
| opam-version: "2.0" | ||
| synopsis: "Rewrites C programs to remove non-structured control-flow" | ||
| description: | ||
| "Calipso analyzes programs in order to replace all nonstructured instructions (i.e., break, return, switch...) by branches and, then, remove all branches. See https://dblp.org/rec/journals/tsi/CasseFRS02 for more details" | ||
| maintainer: ["Ivan Gotovchits <ivg@ieee.org>"] | ||
| authors: ["Hugues Cassé <casse@irit.fr> et al"] | ||
| license: "LGPL-2.0-only" | ||
| tags: ["FrontC" "C" "analysis"] | ||
| homepage: "https://github.com/BinaryAnalysisPlatform/FrontC" | ||
| bug-reports: "https://github.com/BinaryAnalysisPlatform/FrontC/issues" | ||
| depends: [ | ||
| "ocaml" {>= "4.08.0"} | ||
| "dune" {>= "2.7"} | ||
| "FrontC" {>= "4.0.0"} | ||
| "odoc" {with-doc} | ||
| ] | ||
| build: [ | ||
| ["dune" "subst"] {dev} | ||
| [ | ||
| "dune" | ||
| "build" | ||
| "-p" | ||
| name | ||
| "-j" | ||
| jobs | ||
| "@install" | ||
| "@runtest" {with-test} | ||
| "@doc" {with-doc} | ||
| ] | ||
| ] | ||
| dev-repo: "git+https://github.com/BinaryAnalysisPlatform/FrontC.git" | ||
|
|
||
| url { | ||
| src: "https://github.com/BinaryAnalysisPlatform/FrontC/archive/refs/tags/v4.0.0.tar.gz" | ||
| checksum: "md5=2e8875a947b12ae3de2e89b1d9b3c7fe" | ||
| mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/FrontC/v4.0.0.tar.gz" | ||
| } |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,35 @@ | ||
| opam-version: "2.0" | ||
| synopsis: "Parses a C program into Cabs AST and dumps as an XML document" | ||
| maintainer: ["Ivan Gotovchits <ivg@ieee.org>"] | ||
| authors: ["Hugues Cassé <casse@irit.fr> et al"] | ||
| license: "LGPL-2.0-only" | ||
| tags: ["FrontC" "C" "parser" "XML"] | ||
| homepage: "https://github.com/BinaryAnalysisPlatform/FrontC" | ||
| bug-reports: "https://github.com/BinaryAnalysisPlatform/FrontC/issues" | ||
| depends: [ | ||
| "ocaml" {>= "4.08.0"} | ||
| "dune" {>= "2.7"} | ||
| "FrontC" {>= "4.0.0"} | ||
| "odoc" {with-doc} | ||
| ] | ||
| build: [ | ||
| ["dune" "subst"] {dev} | ||
| [ | ||
| "dune" | ||
| "build" | ||
| "-p" | ||
| name | ||
| "-j" | ||
| jobs | ||
| "@install" | ||
| "@runtest" {with-test} | ||
| "@doc" {with-doc} | ||
| ] | ||
| ] | ||
| dev-repo: "git+https://github.com/BinaryAnalysisPlatform/FrontC.git" | ||
|
|
||
| url { | ||
| src: "https://github.com/BinaryAnalysisPlatform/FrontC/archive/refs/tags/v4.0.0.tar.gz" | ||
| checksum: "md5=2e8875a947b12ae3de2e89b1d9b3c7fe" | ||
| mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/FrontC/v4.0.0.tar.gz" | ||
| } |