/usr/lib/frama-c/plugins/ is in frama-c-base 20151002+magnesium+dfsg-1build1.
This file is owned by root:root, with mode 0o755.
| File | Mime Type | Owner | Mode | Size |
|---|---|---|---|---|
..
|
||||
/usr/lib/frama-c/plugins/Aorai.cmi
|
application/octet-stream | root:root | 0o644 | 184 bytes |
/usr/lib/frama-c/plugins/Aorai.cmo
|
application/octet-stream | root:root | 0o644 | 2.0 MB |
/usr/lib/frama-c/plugins/Aorai.cmx
|
application/octet-stream | root:root | 0o644 | 5.3 KB |
/usr/lib/frama-c/plugins/Aorai.cmxs
|
application/x-sharedlib | root:root | 0o644 | 939.3 KB |
/usr/lib/frama-c/plugins/Aorai.o
|
application/x-object | root:root | 0o644 | 1.3 MB |
/usr/lib/frama-c/plugins/Callgraph.cmi
|
application/octet-stream | root:root | 0o644 | 24.9 KB |
/usr/lib/frama-c/plugins/Callgraph.cmo
|
application/octet-stream | root:root | 0o644 | 186.6 KB |
/usr/lib/frama-c/plugins/Callgraph.cmx
|
application/octet-stream | root:root | 0o644 | 19.3 KB |
/usr/lib/frama-c/plugins/Callgraph.cmxs
|
application/x-sharedlib | root:root | 0o644 | 74.9 KB |
/usr/lib/frama-c/plugins/Callgraph.o
|
application/x-object | root:root | 0o644 | 78.6 KB |
/usr/lib/frama-c/plugins/Callgraph_gui.cmi
|
application/octet-stream | root:root | 0o644 | 200 bytes |
/usr/lib/frama-c/plugins/Callgraph_gui.cmo
|
application/octet-stream | root:root | 0o644 | 106 bytes |
/usr/lib/frama-c/plugins/Callgraph_gui.cmx
|
application/octet-stream | root:root | 0o644 | 103 bytes |
/usr/lib/frama-c/plugins/Callgraph_gui.cmxs
|
application/x-sharedlib | root:root | 0o644 | 6.0 KB |
/usr/lib/frama-c/plugins/Callgraph_gui.o
|
application/x-object | root:root | 0o644 | 1.8 KB |
/usr/lib/frama-c/plugins/Constant_Propagation.cmi
|
application/octet-stream | root:root | 0o644 | 214 bytes |
/usr/lib/frama-c/plugins/Constant_Propagation.cmo
|
application/octet-stream | root:root | 0o644 | 189.8 KB |
/usr/lib/frama-c/plugins/Constant_Propagation.cmx
|
application/octet-stream | root:root | 0o644 | 3.8 KB |
/usr/lib/frama-c/plugins/Constant_Propagation.cmxs
|
application/x-sharedlib | root:root | 0o644 | 69.2 KB |
/usr/lib/frama-c/plugins/Constant_Propagation.o
|
application/x-object | root:root | 0o644 | 78.9 KB |
/usr/lib/frama-c/plugins/From.cmi
|
application/octet-stream | root:root | 0o644 | 182 bytes |
/usr/lib/frama-c/plugins/From.cmo
|
application/octet-stream | root:root | 0o644 | 391.5 KB |
/usr/lib/frama-c/plugins/From.cmx
|
application/octet-stream | root:root | 0o644 | 4.4 KB |
/usr/lib/frama-c/plugins/From.cmxs
|
application/x-sharedlib | root:root | 0o644 | 154.2 KB |
/usr/lib/frama-c/plugins/From.o
|
application/x-object | root:root | 0o644 | 197.6 KB |
/usr/lib/frama-c/plugins/Inout.cmi
|
application/octet-stream | root:root | 0o644 | 184 bytes |
/usr/lib/frama-c/plugins/Inout.cmo
|
application/octet-stream | root:root | 0o644 | 675.8 KB |
/usr/lib/frama-c/plugins/Inout.cmx
|
application/octet-stream | root:root | 0o644 | 4.3 KB |
/usr/lib/frama-c/plugins/Inout.cmxs
|
application/x-sharedlib | root:root | 0o644 | 162.8 KB |
/usr/lib/frama-c/plugins/Inout.o
|
application/x-object | root:root | 0o644 | 218.9 KB |
/usr/lib/frama-c/plugins/META.frama-c-aorai
|
text/plain | root:root | 0o644 | 188 bytes |
/usr/lib/frama-c/plugins/META.frama-c-callgraph
|
text/plain | root:root | 0o644 | 204 bytes |
/usr/lib/frama-c/plugins/META.frama-c-callgraph_gui
|
text/plain | root:root | 0o644 | 374 bytes |
/usr/lib/frama-c/plugins/META.frama-c-constant_propagation
|
text/plain | root:root | 0o644 | 261 bytes |
/usr/lib/frama-c/plugins/META.frama-c-from
|
text/plain | root:root | 0o644 | 325 bytes |
/usr/lib/frama-c/plugins/META.frama-c-inout
|
text/plain | root:root | 0o644 | 219 bytes |
/usr/lib/frama-c/plugins/META.frama-c-metrics
|
text/plain | root:root | 0o644 | 327 bytes |
/usr/lib/frama-c/plugins/META.frama-c-obfuscator
|
text/plain | root:root | 0o644 | 208 bytes |
/usr/lib/frama-c/plugins/META.frama-c-occurrence
|
text/plain | root:root | 0o644 | 349 bytes |
/usr/lib/frama-c/plugins/META.frama-c-pdg
|
text/plain | root:root | 0o644 | 211 bytes |
/usr/lib/frama-c/plugins/META.frama-c-report
|
text/plain | root:root | 0o644 | 192 bytes |
/usr/lib/frama-c/plugins/META.frama-c-scope
|
text/plain | root:root | 0o644 | 314 bytes |
/usr/lib/frama-c/plugins/META.frama-c-security_slicing
|
text/plain | root:root | 0o644 | 378 bytes |
/usr/lib/frama-c/plugins/META.frama-c-slicing
|
text/plain | root:root | 0o644 | 358 bytes |
/usr/lib/frama-c/plugins/META.frama-c-sparecode
|
text/plain | root:root | 0o644 | 229 bytes |
/usr/lib/frama-c/plugins/META.frama-c-users
|
text/plain | root:root | 0o644 | 201 bytes |
/usr/lib/frama-c/plugins/META.frama-c-value
|
text/plain | root:root | 0o644 | 318 bytes |
/usr/lib/frama-c/plugins/META.frama-c-wp
|
text/plain | root:root | 0o644 | 282 bytes |
/usr/lib/frama-c/plugins/Metrics.cmi
|
application/octet-stream | root:root | 0o644 | 188 bytes |
/usr/lib/frama-c/plugins/Metrics.cmo
|
application/octet-stream | root:root | 0o644 | 665.3 KB |
/usr/lib/frama-c/plugins/Metrics.cmx
|
application/octet-stream | root:root | 0o644 | 4.0 KB |
/usr/lib/frama-c/plugins/Metrics.cmxs
|
application/x-sharedlib | root:root | 0o644 | 338.0 KB |
/usr/lib/frama-c/plugins/Metrics.o
|
application/x-object | root:root | 0o644 | 506.0 KB |
/usr/lib/frama-c/plugins/Obfuscator.cmi
|
application/octet-stream | root:root | 0o644 | 194 bytes |
/usr/lib/frama-c/plugins/Obfuscator.cmo
|
application/octet-stream | root:root | 0o644 | 140.4 KB |
/usr/lib/frama-c/plugins/Obfuscator.cmx
|
application/octet-stream | root:root | 0o644 | 3.8 KB |
/usr/lib/frama-c/plugins/Obfuscator.cmxs
|
application/x-sharedlib | root:root | 0o644 | 77.5 KB |
/usr/lib/frama-c/plugins/Obfuscator.o
|
application/x-object | root:root | 0o644 | 101.3 KB |
/usr/lib/frama-c/plugins/Occurrence.cmi
|
application/octet-stream | root:root | 0o644 | 194 bytes |
/usr/lib/frama-c/plugins/Occurrence.cmo
|
application/octet-stream | root:root | 0o644 | 139.7 KB |
/usr/lib/frama-c/plugins/Occurrence.cmx
|
application/octet-stream | root:root | 0o644 | 3.4 KB |
/usr/lib/frama-c/plugins/Occurrence.cmxs
|
application/x-sharedlib | root:root | 0o644 | 56.4 KB |
/usr/lib/frama-c/plugins/Occurrence.o
|
application/x-object | root:root | 0o644 | 59.3 KB |
/usr/lib/frama-c/plugins/Pdg.cmi
|
application/octet-stream | root:root | 0o644 | 3.8 KB |
/usr/lib/frama-c/plugins/Pdg.cmo
|
application/octet-stream | root:root | 0o644 | 442.9 KB |
/usr/lib/frama-c/plugins/Pdg.cmx
|
application/octet-stream | root:root | 0o644 | 4.5 KB |
/usr/lib/frama-c/plugins/Pdg.cmxs
|
application/x-sharedlib | root:root | 0o644 | 252.8 KB |
/usr/lib/frama-c/plugins/Pdg.o
|
application/x-object | root:root | 0o644 | 315.4 KB |
/usr/lib/frama-c/plugins/Postdominators.o
|
application/x-object | root:root | 0o644 | 64.8 KB |
/usr/lib/frama-c/plugins/Report.cmi
|
application/octet-stream | root:root | 0o644 | 186 bytes |
/usr/lib/frama-c/plugins/Report.cmo
|
application/octet-stream | root:root | 0o644 | 88.9 KB |
/usr/lib/frama-c/plugins/Report.cmx
|
application/octet-stream | root:root | 0o644 | 3.7 KB |
/usr/lib/frama-c/plugins/Report.cmxs
|
application/x-sharedlib | root:root | 0o644 | 85.9 KB |
/usr/lib/frama-c/plugins/Report.o
|
application/x-object | root:root | 0o644 | 108.0 KB |
/usr/lib/frama-c/plugins/RteGen.o
|
application/x-object | root:root | 0o644 | 217.5 KB |
/usr/lib/frama-c/plugins/Scope.cmi
|
application/octet-stream | root:root | 0o644 | 184 bytes |
/usr/lib/frama-c/plugins/Scope.cmo
|
application/octet-stream | root:root | 0o644 | 264.6 KB |
/usr/lib/frama-c/plugins/Scope.cmx
|
application/octet-stream | root:root | 0o644 | 4.1 KB |
/usr/lib/frama-c/plugins/Scope.cmxs
|
application/x-sharedlib | root:root | 0o644 | 130.6 KB |
/usr/lib/frama-c/plugins/Scope.o
|
application/x-object | root:root | 0o644 | 156.8 KB |
/usr/lib/frama-c/plugins/Security_slicing.cmi
|
application/octet-stream | root:root | 0o644 | 206 bytes |
/usr/lib/frama-c/plugins/Security_slicing.cmo
|
application/octet-stream | root:root | 0o644 | 81.8 KB |
/usr/lib/frama-c/plugins/Security_slicing.cmx
|
application/octet-stream | root:root | 0o644 | 3.4 KB |
/usr/lib/frama-c/plugins/Security_slicing.cmxs
|
application/x-sharedlib | root:root | 0o644 | 61.6 KB |
/usr/lib/frama-c/plugins/Security_slicing.o
|
application/x-object | root:root | 0o644 | 68.9 KB |
/usr/lib/frama-c/plugins/Slicing.cmi
|
application/octet-stream | root:root | 0o644 | 2.7 KB |
/usr/lib/frama-c/plugins/Slicing.cmo
|
application/octet-stream | root:root | 0o644 | 957.6 KB |
/usr/lib/frama-c/plugins/Slicing.cmx
|
application/octet-stream | root:root | 0o644 | 4.7 KB |
/usr/lib/frama-c/plugins/Slicing.cmxs
|
application/x-sharedlib | root:root | 0o644 | 543.9 KB |
/usr/lib/frama-c/plugins/Slicing.o
|
application/x-object | root:root | 0o644 | 769.0 KB |
/usr/lib/frama-c/plugins/Sparecode.cmi
|
application/octet-stream | root:root | 0o644 | 192 bytes |
/usr/lib/frama-c/plugins/Sparecode.cmo
|
application/octet-stream | root:root | 0o644 | 364.0 KB |
/usr/lib/frama-c/plugins/Sparecode.cmx
|
application/octet-stream | root:root | 0o644 | 4.1 KB |
/usr/lib/frama-c/plugins/Sparecode.cmxs
|
application/x-sharedlib | root:root | 0o644 | 114.9 KB |
/usr/lib/frama-c/plugins/Sparecode.o
|
application/x-object | root:root | 0o644 | 148.5 KB |
/usr/lib/frama-c/plugins/Users.cmi
|
application/octet-stream | root:root | 0o644 | 184 bytes |
/usr/lib/frama-c/plugins/Users.cmo
|
application/octet-stream | root:root | 0o644 | 77.6 KB |
/usr/lib/frama-c/plugins/Users.cmx
|
application/octet-stream | root:root | 0o644 | 3.2 KB |
/usr/lib/frama-c/plugins/Users.cmxs
|
application/x-sharedlib | root:root | 0o644 | 25.0 KB |
/usr/lib/frama-c/plugins/Users.o
|
application/x-object | root:root | 0o644 | 22.8 KB |
/usr/lib/frama-c/plugins/Value.cmi
|
application/octet-stream | root:root | 0o644 | 184 bytes |
/usr/lib/frama-c/plugins/Value.cmo
|
application/octet-stream | root:root | 0o644 | 2.3 MB |
/usr/lib/frama-c/plugins/Value.cmx
|
application/octet-stream | root:root | 0o644 | 7.1 KB |
/usr/lib/frama-c/plugins/Value.cmxs
|
application/x-sharedlib | root:root | 0o644 | 1.1 MB |
/usr/lib/frama-c/plugins/Value.o
|
application/x-object | root:root | 0o644 | 1.6 MB |
/usr/lib/frama-c/plugins/Wp.a
|
application/x-archive | root:root | 0o644 | 5.7 MB |
/usr/lib/frama-c/plugins/Wp.cma
|
application/octet-stream | root:root | 0o644 | 6.8 MB |
/usr/lib/frama-c/plugins/Wp.cmi
|
application/octet-stream | root:root | 0o644 | 178 bytes |
/usr/lib/frama-c/plugins/Wp.cmx
|
application/octet-stream | root:root | 0o644 | 6.3 KB |
/usr/lib/frama-c/plugins/Wp.cmxa
|
application/octet-stream | root:root | 0o644 | 7.7 KB |
/usr/lib/frama-c/plugins/Wp.cmxs
|
application/x-sharedlib | root:root | 0o644 | 3.8 MB |
/usr/lib/frama-c/plugins/Wp.o
|
application/x-object | root:root | 0o644 | 4.3 MB |