Sun, 30 Jun 2024 08:18:53 UTC | login

Information for RPM ocaml-cil-1.7.3-59.fc33.riscv64.rpm

ID596798
Nameocaml-cil
Version1.7.3
Release59.fc33
Epoch
Archriscv64
SummaryCIL - Infrastructure for C Program Analysis and Transformation
DescriptionCIL (C Intermediate Language) is a high-level representation along with a set of tools that permit easy analysis and source-to-source transformation of C programs. CIL is both lower-level than abstract-syntax trees, by clarifying ambiguous constructs and removing redundant ones, and also higher-level than typical intermediate languages designed for compilation, by maintaining types and a close relationship with the source program. The main advantage of CIL is that it compiles all valid C programs into a few core constructs with a very clean semantics. Also CIL has a syntax-directed type system that makes it easy to analyze and manipulate C programs. Furthermore, the CIL front-end is able to process not only ANSI-C programs but also those using Microsoft C or GNU C extensions. If you do not use CIL and want instead to use just a C parser and analyze programs expressed as abstract-syntax trees then your analysis will have to handle a lot of ugly corners of the language (let alone the fact that parsing C itself is not a trivial task). In essence, CIL is a highly-structured, "clean" subset of C. CIL features a reduced number of syntactic and conceptual forms. For example, all looping constructs are reduced to a single form, all function bodies are given explicit return statements, syntactic sugar like "->" is eliminated and function arguments with array types become pointers.
Build Time2020-04-30 04:50:14 GMT
Size2.67 MB
eed78b7756fe86af56efc07f6ade6ef8
LicenseBSD
Buildrootf33-build-191950-46457
Provides
ocaml(Alpha) = 1005887ae49bfcaf4c960c54fc1066ca
ocaml(Availexps) = bbc105f010a5e51afc6890c7bc4e4765
ocaml(Availexpslv) = 1a7d869a241655546addac889a096d3a
ocaml(Bitmap) = 5ea7dd911ed9eb357d87b3293e467cbe
ocaml(Cabs) = 60db5f947a175fb30bd6b556632dfbe7
ocaml(Cabs2cil) = 691ab6429e248d4a52381576ddb08f6d
ocaml(Cabshelper) = 32eb16f6a76106a6d03933febe8d7505
ocaml(Cabsvisit) = 4cada80c0e609b770466084fb0b583fb
ocaml(Callgraph) = ced3bcf92ce1972e841953dad006467a
ocaml(Canonicalize) = 503fb0aa98430aeb1ee9e7a7eeb82b0e
ocaml(Cfg) = c0136a5b9e3d3dbcc84c4b233fdda902
ocaml(Check) = 961308ae9a4447624844ba3bc4e39701
ocaml(Cil) = 9d2677e95ad4a12ef919b99c706ab9b4
ocaml(Cilint) = 84584221647b1d0217346628323a5334
ocaml(Cillower) = 12366093a6a4022b01f34ab8396b88f8
ocaml(Ciloptions) = 3bf074aa91e462b5fb011a86f2b4a2df
ocaml(Ciltools) = 23a394bb5d89bc0d4b1ef1c0e03bddd1
ocaml(Cilutil) = 3d6a0c2afe1bc3b46cb28da3c1be9f12
ocaml(Cilversion) = 4a81ddaab6b3b9ea8d212ca00dcdb8d1
ocaml(Clexer) = c755a3cfe14d4f052eac1bf49629abb9
ocaml(Clist) = 7f61230b82aa8fae62b5d86f9058a248
ocaml(Cparser) = 56540e0465cd4ddc1973108ad89f593f
ocaml(Cprint) = 2a19c2317814bc86a385d631873442ba
ocaml(Dataflow) = 17cb5ba05029a163b1681e7a5aca5746
ocaml(Dataslicing) = bffccae8a9ff2d6fa27242b2c6dfcae0
ocaml(Deadcodeelim) = a121a81611df39b8478b5bdb99236ae5
ocaml(Dominators) = 4c42b6ec38fec011afa1e3784d228814
ocaml(Epicenter) = 689addff80cc5bdb30d94705ef970f2b
ocaml(Errormsg) = 6e9e178b7595d902e543caab06d09c0e
ocaml(Escape) = 6d02e0c802699078018eadcd761c205a
ocaml(Expcompare) = 9a49b8d1da85218220a0a714e85484fc
ocaml(Feature_config) = f7b03e84289dbb7883003ed5dd191b19
ocaml(Formatcil) = 769d9414be391dc90b626a9e0c1f9543
ocaml(Formatlex) = 8a0bbf70dc62020163027abec851531e
ocaml(Formatparse) = 5248d06bcb004062978bfc123a8f4d6c
ocaml(Frontc) = d0182326b590c012575670bbfae67842
ocaml(GrowArray) = 0c00dce687ba9ca4a3b49b06ae79ba02
ocaml(Heap) = 3467832fd887093ddce7a4d3a15bb0be
ocaml(Heapify) = bd53b86c4f7732feac58c508769752c5
ocaml(Inthash) = d8147359291cd58abe1f2e33120183ab
ocaml(Lexerhack) = 571762d34a4ef51bdc367fe5df30545c
ocaml(Liveness) = db1ee910006717b60c42d18d0e8969e5
ocaml(Llvm) = c2a8ffa5305780614cfe9a6b2c26d6f1
ocaml(Llvmgen) = 973fe3df6700baedc73ae79ace32c13d
ocaml(Llvmssa) = 0a9a0090ce8badd2d1aca1d0845065e1
ocaml(Llvmutils) = 96f5a37201ccd16419be41a570da05a9
ocaml(Logcalls) = a570f910411571a74e4fc1eaec9fb9de
ocaml(Logwrites) = 404d87b110e8b2e39ba0291df385ebd1
ocaml(Longarray) = df723f787e5cbe66919d165c54a6c196
ocaml(Machdep) = 7c9eb45f94c8ca64252a4719113f35b7
ocaml(Machdepenv) = 135a341da2b9e7ac60ab0d54bc00ae6b
ocaml(Mergecil) = 5cbdaf1aafdbd8f6e178c676ae71fab9
ocaml(Olf) = d9b6241a510e22ad395ac696219c9213
ocaml(Oneret) = 116f121afdd67271782387c6fd27a9b9
ocaml(Partial) = 6b04551010eebe9f4ecc9da0136cc5ea
ocaml(Patch) = b07a0749deac57d34748b0a9531e76f9
ocaml(Predabst) = b58167110a09e64f2c365f5eba957450
ocaml(Pretty) = 730c2499073f5daec4654efbe9819f82
ocaml(Ptranal) = 24033755d79ab46510cebbcec480aa41
ocaml(Reachingdefs) = b5ed0335293d9b46a133007bbc6543d2
ocaml(Rmtmps) = 1b8ed92e96245a231c6b7f2771947d47
ocaml(Setp) = 9b984b44c494c66f2c87e0f14e2fd7af
ocaml(Sfi) = 66beb7ddb5d0553c55a36398b2dce167
ocaml(Simplemem) = 61cd73729cd159a8ebfbec920123d116
ocaml(Simplify) = 7be41781ad9c0752d7b4278b0c08441a
ocaml(Ssa) = 52008bb557ce59ca99c747e25890f8e1
ocaml(Stats) = 978d36f26c8196a0ea8649cbb8aabdf3
ocaml(Trace) = db328f4893a0013cb3963ee1ae0f6eff
ocaml(Uref) = 2ae7dac663953e60c8eeefa768a60b88
ocaml(Usedef) = 2414aacd37685dcbdb1230d9695d4825
ocaml(Util) = 1b81593e6c490fad274a3ad3478f3d5b
ocaml(Whitetrack) = 2f58f423a5d13e9c5bf966749bd954f9
ocaml-cil = 1.7.3-59.fc33
ocaml-cil(riscv-64) = 1.7.3-59.fc33
Obsoletes No Obsoletes
Conflicts No Conflicts
Requires
ocaml(Alpha) = 1005887ae49bfcaf4c960c54fc1066ca
ocaml(Big_int) = 0cb2ea5303aa244f2471f63cbc66c94f
ocaml(Bitmap) = 5ea7dd911ed9eb357d87b3293e467cbe
ocaml(Cabs) = 60db5f947a175fb30bd6b556632dfbe7
ocaml(Cabs2cil) = 691ab6429e248d4a52381576ddb08f6d
ocaml(Cabshelper) = 32eb16f6a76106a6d03933febe8d7505
ocaml(Cabsvisit) = 4cada80c0e609b770466084fb0b583fb
ocaml(Callgraph) = ced3bcf92ce1972e841953dad006467a
ocaml(CamlinternalFormatBasics) = abb6a3e103af15618334f607881d2f6e
ocaml(CamlinternalOO) = bd43ee5a773c045a4486aec00852e0bf
ocaml(Cfg) = c0136a5b9e3d3dbcc84c4b233fdda902
ocaml(Cil) = 9d2677e95ad4a12ef919b99c706ab9b4
ocaml(Cilint) = 84584221647b1d0217346628323a5334
ocaml(Ciltools) = 23a394bb5d89bc0d4b1ef1c0e03bddd1
ocaml(Cilutil) = 3d6a0c2afe1bc3b46cb28da3c1be9f12
ocaml(Cilversion) = 4a81ddaab6b3b9ea8d212ca00dcdb8d1
ocaml(Clexer) = c755a3cfe14d4f052eac1bf49629abb9
ocaml(Clist) = 7f61230b82aa8fae62b5d86f9058a248
ocaml(Cparser) = 56540e0465cd4ddc1973108ad89f593f
ocaml(Cprint) = 2a19c2317814bc86a385d631873442ba
ocaml(Dataflow) = 17cb5ba05029a163b1681e7a5aca5746
ocaml(Errormsg) = 6e9e178b7595d902e543caab06d09c0e
ocaml(Escape) = 6d02e0c802699078018eadcd761c205a
ocaml(Expcompare) = 9a49b8d1da85218220a0a714e85484fc
ocaml(Formatlex) = 8a0bbf70dc62020163027abec851531e
ocaml(Formatparse) = 5248d06bcb004062978bfc123a8f4d6c
ocaml(Frontc) = d0182326b590c012575670bbfae67842
ocaml(GrowArray) = 0c00dce687ba9ca4a3b49b06ae79ba02
ocaml(Heap) = 3467832fd887093ddce7a4d3a15bb0be
ocaml(Inthash) = d8147359291cd58abe1f2e33120183ab
ocaml(Lexerhack) = 571762d34a4ef51bdc367fe5df30545c
ocaml(Liveness) = db1ee910006717b60c42d18d0e8969e5
ocaml(Llvmgen) = 973fe3df6700baedc73ae79ace32c13d
ocaml(Llvmssa) = 0a9a0090ce8badd2d1aca1d0845065e1
ocaml(Llvmutils) = 96f5a37201ccd16419be41a570da05a9
ocaml(Longarray) = df723f787e5cbe66919d165c54a6c196
ocaml(Machdep) = 7c9eb45f94c8ca64252a4719113f35b7
ocaml(Machdepenv) = 135a341da2b9e7ac60ab0d54bc00ae6b
ocaml(Mergecil) = 5cbdaf1aafdbd8f6e178c676ae71fab9
ocaml(Nat) = 822b570f3ea216e8437df32d7794bcc0
ocaml(Olf) = d9b6241a510e22ad395ac696219c9213
ocaml(Patch) = b07a0749deac57d34748b0a9531e76f9
ocaml(Pretty) = 730c2499073f5daec4654efbe9819f82
ocaml(Ptranal) = 24033755d79ab46510cebbcec480aa41
ocaml(Reachingdefs) = b5ed0335293d9b46a133007bbc6543d2
ocaml(Rmtmps) = 1b8ed92e96245a231c6b7f2771947d47
ocaml(Setp) = 9b984b44c494c66f2c87e0f14e2fd7af
ocaml(Stats) = 978d36f26c8196a0ea8649cbb8aabdf3
ocaml(Stdlib) = 758bb07a9fe47ce2726d308103d8c6ac
ocaml(Stdlib__arg) = 7a4d6815d9d409379c3df24b7cee9adf
ocaml(Stdlib__array) = 8bbff66dc4743569bd90a35312172b33
ocaml(Stdlib__bigarray) = 6753964e3fa1b4a43d82aa25d8b470f7
ocaml(Stdlib__buffer) = 62274dc59b2be3a60aa8ac3225e14d26
ocaml(Stdlib__bytes) = 8a4d804cf862eb9fcbbc77bc74d8d60d
ocaml(Stdlib__char) = e880cec0c71000a6af4116f0f30b8ec6
ocaml(Stdlib__complex) = 1bb63213f3e1f7d8188b2c4de5d4112f
ocaml(Stdlib__filename) = e9d9d7b66e2dd876461f26739efcbaea
ocaml(Stdlib__gc) = 8a0f2526684d77b838987b2889998014
ocaml(Stdlib__hashtbl) = 6ba415b3504985a4f465c58f988c3d82
ocaml(Stdlib__int32) = 9084c02abc6ad1f2aec73b083db3921e
ocaml(Stdlib__int64) = ed002463159e157ea3e45d12f5048981
ocaml(Stdlib__lexing) = 14e0df52f231ec459c096819e4a2ae34
ocaml(Stdlib__list) = 3a95348c023b83cf26ac8e0229a3caef
ocaml(Stdlib__map) = a9fd645d93c1483f6c676174cc50cebb
ocaml(Stdlib__marshal) = b8a50712f181e79edac54038142655e6
ocaml(Stdlib__nativeint) = 3dfc3f10bf88570f7c6bc2ebfbc0f376
ocaml(Stdlib__obj) = edb3590617df751c36eda305ea5a8df7
ocaml(Stdlib__parsing) = 8d78e7cab8b6186ca5cbb5dcaf53d6fd
ocaml(Stdlib__pervasives) = 5c561b71c495f928b9d9e972da260962
ocaml(Stdlib__printexc) = eecbabfd567bf3f483781b6b45b9bda7
ocaml(Stdlib__printf) = 62e84bf0bef05cc9269eeeabae7fceb4
ocaml(Stdlib__queue) = c4d4900e920e325c90917ce7a18dc8ef
ocaml(Stdlib__seq) = aa29410d95f3c0bcbe4b1dc2a2661ed3
ocaml(Stdlib__set) = bef88bbfd0cd2c203ca0f106f12ef88a
ocaml(Stdlib__stack) = 260fb71477eea659a9f98b5a75478568
ocaml(Stdlib__string) = 0d19388e50e8e106b36c2865d3eda89a
ocaml(Stdlib__sys) = 93b335947bb5110380711c8d8866e892
ocaml(Stdlib__uchar) = af48317d91d50bcd76019fb3dc0a0a7e
ocaml(Str) = 5827ff4924817489463d0479044d6102
ocaml(Trace) = db328f4893a0013cb3963ee1ae0f6eff
ocaml(Unix) = b2e90099b3b7ea80d565f58cd4840d0a
ocaml(Uref) = 2ae7dac663953e60c8eeefa768a60b88
ocaml(Usedef) = 2414aacd37685dcbdb1230d9695d4825
ocaml(Util) = 1b81593e6c490fad274a3ad3478f3d5b
ocaml(Whitetrack) = 2f58f423a5d13e9c5bf966749bd954f9
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
Page:
1 through 50 of 78 >>>
Name ascending sort Size
/usr/lib64/ocaml/cil0.00 B
/usr/lib64/ocaml/cil/META139.00 B
/usr/lib64/ocaml/cil/alpha.cmi1.72 KB
/usr/lib64/ocaml/cil/availexps.cmi23.23 KB
/usr/lib64/ocaml/cil/availexpslv.cmi27.38 KB
/usr/lib64/ocaml/cil/bitmap.cmi2.39 KB
/usr/lib64/ocaml/cil/cabs.cmi13.99 KB
/usr/lib64/ocaml/cil/cabs2cil.cmi1.84 KB
/usr/lib64/ocaml/cil/cabshelper.cmi2.14 KB
/usr/lib64/ocaml/cil/cabsvisit.cmi6.72 KB
/usr/lib64/ocaml/cil/callgraph.cmi1.64 KB
/usr/lib64/ocaml/cil/canonicalize.cmi555.00 B
/usr/lib64/ocaml/cil/cfg.cmi1.32 KB
/usr/lib64/ocaml/cil/check.cmi822.00 B
/usr/lib64/ocaml/cil/cil.cma7.25 MB
/usr/lib64/ocaml/cil/cil.cmi86.97 KB
/usr/lib64/ocaml/cil/cilint.cmi3.82 KB
/usr/lib64/ocaml/cil/cillower.cmi546.00 B
/usr/lib64/ocaml/cil/ciloptions.cmi587.00 B
/usr/lib64/ocaml/cil/ciltools.cmi13.02 KB
/usr/lib64/ocaml/cil/cilutil.cmi1.47 KB
/usr/lib64/ocaml/cil/cilversion.cmi465.00 B
/usr/lib64/ocaml/cil/clexer.cmi1.44 KB
/usr/lib64/ocaml/cil/clist.cmi2.08 KB
/usr/lib64/ocaml/cil/cparser.cmi8.94 KB
/usr/lib64/ocaml/cil/cprint.cmi7.17 KB
/usr/lib64/ocaml/cil/dataflow.cmi4.31 KB
/usr/lib64/ocaml/cil/dataslicing.cmi552.00 B
/usr/lib64/ocaml/cil/deadcodeelim.cmi19.97 KB
/usr/lib64/ocaml/cil/dominators.cmi2.08 KB
/usr/lib64/ocaml/cil/epicenter.cmi1.20 KB
/usr/lib64/ocaml/cil/errormsg.cmi5.45 KB
/usr/lib64/ocaml/cil/escape.cmi756.00 B
/usr/lib64/ocaml/cil/expcompare.cmi5.48 KB
/usr/lib64/ocaml/cil/feature_config.cmi571.00 B
/usr/lib64/ocaml/cil/formatcil.cmi2.72 KB
/usr/lib64/ocaml/cil/formatlex.cmi2.94 KB
/usr/lib64/ocaml/cil/formatparse.cmi10.05 KB
/usr/lib64/ocaml/cil/frontc.cmi1.11 KB
/usr/lib64/ocaml/cil/growArray.cmi3.44 KB
/usr/lib64/ocaml/cil/heap.cmi1.32 KB
/usr/lib64/ocaml/cil/heapify.cmi13.30 KB
/usr/lib64/ocaml/cil/inthash.cmi2.48 KB
/usr/lib64/ocaml/cil/lexerhack.cmi914.00 B
/usr/lib64/ocaml/cil/liveness.cmi16.32 KB
/usr/lib64/ocaml/cil/llvm.cmi1.06 KB
/usr/lib64/ocaml/cil/llvmgen.cmi12.65 KB
/usr/lib64/ocaml/cil/llvmssa.cmi1.32 KB
/usr/lib64/ocaml/cil/llvmutils.cmi2.66 KB
/usr/lib64/ocaml/cil/logcalls.cmi543.00 B
Component of No Buildroots