this repo has no description
Merge pull request #18632 from ivg/release-frontc-4.0.0
releases FrontC 4.0.0
+109
+37
packages/FrontC/FrontC.4.0.0/opam
+37
packages/FrontC/FrontC.4.0.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Parses C programs to an abstract syntax tree"
3
+
description:
4
+
"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."
5
+
maintainer: ["Ivan Gotovchits <ivg@ieee.org>"]
6
+
authors: ["Hugues Cassé <casse@irit.fr> et al"]
7
+
license: "LGPL-2.0-only"
8
+
tags: ["FrontC" "C" "parser" "XML"]
9
+
homepage: "https://github.com/BinaryAnalysisPlatform/FrontC"
10
+
bug-reports: "https://github.com/BinaryAnalysisPlatform/FrontC/issues"
11
+
depends: [
12
+
"ocaml" {>= "4.08.0"}
13
+
"dune" {>= "2.7"}
14
+
"menhir"
15
+
"odoc" {with-doc}
16
+
]
17
+
build: [
18
+
["dune" "subst"] {dev}
19
+
[
20
+
"dune"
21
+
"build"
22
+
"-p"
23
+
name
24
+
"-j"
25
+
jobs
26
+
"@install"
27
+
"@runtest" {with-test}
28
+
"@doc" {with-doc}
29
+
]
30
+
]
31
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/FrontC.git"
32
+
33
+
url {
34
+
src: "https://github.com/BinaryAnalysisPlatform/FrontC/archive/refs/tags/v4.0.0.tar.gz"
35
+
checksum: "md5=2e8875a947b12ae3de2e89b1d9b3c7fe"
36
+
mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/FrontC/v4.0.0.tar.gz"
37
+
}
+37
packages/calipso/calipso.4.0.0/opam
+37
packages/calipso/calipso.4.0.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Rewrites C programs to remove non-structured control-flow"
3
+
description:
4
+
"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"
5
+
maintainer: ["Ivan Gotovchits <ivg@ieee.org>"]
6
+
authors: ["Hugues Cassé <casse@irit.fr> et al"]
7
+
license: "LGPL-2.0-only"
8
+
tags: ["FrontC" "C" "analysis"]
9
+
homepage: "https://github.com/BinaryAnalysisPlatform/FrontC"
10
+
bug-reports: "https://github.com/BinaryAnalysisPlatform/FrontC/issues"
11
+
depends: [
12
+
"ocaml" {>= "4.08.0"}
13
+
"dune" {>= "2.7"}
14
+
"FrontC" {>= "4.0.0"}
15
+
"odoc" {with-doc}
16
+
]
17
+
build: [
18
+
["dune" "subst"] {dev}
19
+
[
20
+
"dune"
21
+
"build"
22
+
"-p"
23
+
name
24
+
"-j"
25
+
jobs
26
+
"@install"
27
+
"@runtest" {with-test}
28
+
"@doc" {with-doc}
29
+
]
30
+
]
31
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/FrontC.git"
32
+
33
+
url {
34
+
src: "https://github.com/BinaryAnalysisPlatform/FrontC/archive/refs/tags/v4.0.0.tar.gz"
35
+
checksum: "md5=2e8875a947b12ae3de2e89b1d9b3c7fe"
36
+
mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/FrontC/v4.0.0.tar.gz"
37
+
}
+35
packages/ctoxml/ctoxml.4.0.0/opam
+35
packages/ctoxml/ctoxml.4.0.0/opam
···
1
+
opam-version: "2.0"
2
+
synopsis: "Parses a C program into Cabs AST and dumps as an XML document"
3
+
maintainer: ["Ivan Gotovchits <ivg@ieee.org>"]
4
+
authors: ["Hugues Cassé <casse@irit.fr> et al"]
5
+
license: "LGPL-2.0-only"
6
+
tags: ["FrontC" "C" "parser" "XML"]
7
+
homepage: "https://github.com/BinaryAnalysisPlatform/FrontC"
8
+
bug-reports: "https://github.com/BinaryAnalysisPlatform/FrontC/issues"
9
+
depends: [
10
+
"ocaml" {>= "4.08.0"}
11
+
"dune" {>= "2.7"}
12
+
"FrontC" {>= "4.0.0"}
13
+
"odoc" {with-doc}
14
+
]
15
+
build: [
16
+
["dune" "subst"] {dev}
17
+
[
18
+
"dune"
19
+
"build"
20
+
"-p"
21
+
name
22
+
"-j"
23
+
jobs
24
+
"@install"
25
+
"@runtest" {with-test}
26
+
"@doc" {with-doc}
27
+
]
28
+
]
29
+
dev-repo: "git+https://github.com/BinaryAnalysisPlatform/FrontC.git"
30
+
31
+
url {
32
+
src: "https://github.com/BinaryAnalysisPlatform/FrontC/archive/refs/tags/v4.0.0.tar.gz"
33
+
checksum: "md5=2e8875a947b12ae3de2e89b1d9b3c7fe"
34
+
mirrors: "https://mirrors.aegis.cylab.cmu.edu/bap/FrontC/v4.0.0.tar.gz"
35
+
}