HCoop / bpt / coccinelle.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(initial) | patch
Release coccinelle-0.1
authorCoccinelle <cocci@diku.dk>
Sun, 3 Oct 2010 11:46:58 +0000 (13:46 +0200)
committerRene Rydhof Hansen <rrh@cs.aau.dk>
Sun, 3 Oct 2010 11:46:58 +0000 (13:46 +0200)
commit34e491640531bd81a0e2238fd599e1aafe53613e
treee2d22cfa2c833f1a19f657792e1570066d670f5ftree | snapshot (tar.gz zip)
Release coccinelle-0.1

 * First public release of the source code:
 * Features
   - embeded python scripting
   - position
1543 files changed:
.depend [new file with mode: 0644] blob
Makefile [new file with mode: 0644] blob
Makefile.config [new file with mode: 0644] blob
authors.txt [new file with mode: 0644] blob
bugs.txt [new file with mode: 0644] blob
changes.txt [new file with mode: 0644] blob
cocci.ml [new file with mode: 0644] blob
cocci.mli [new file with mode: 0644] blob
commitmsg [new file with mode: 0644] blob
commons/.depend [new file with mode: 0644] blob
commons/Makefile [new file with mode: 0644] blob
commons/authors.txt [new file with mode: 0644] blob
commons/backtrace.ml [new file with mode: 0644] blob
commons/backtrace_c.c [new file with mode: 0644] blob
commons/common.ml [new file with mode: 0644] blob
commons/common.mli [new file with mode: 0644] blob
commons/common_extra.ml [new file with mode: 0644] blob
commons/copyright.txt [new file with mode: 0644] blob
commons/credits.txt [new file with mode: 0644] blob
commons/glimpse.ml [new file with mode: 0644] blob
commons/interfaces.ml [new file with mode: 0644] blob
commons/license.txt [new file with mode: 0644] blob
commons/oarray.ml [new file with mode: 0644] blob
commons/oarray.mli [new file with mode: 0644] blob
commons/oassoc.ml [new file with mode: 0644] blob
commons/oassoc.mli [new file with mode: 0644] blob
commons/oassoc_buffer.ml [new file with mode: 0644] blob
commons/oassoc_buffer.mli [new file with mode: 0644] blob
commons/oassocb.ml [new file with mode: 0644] blob
commons/oassocbdb.ml [new file with mode: 0644] blob
commons/oassocbdb.mli [new file with mode: 0644] blob
commons/oassocdbm.ml [new file with mode: 0644] blob
commons/oassocdbm.mli [new file with mode: 0644] blob
commons/oassoch.ml [new file with mode: 0644] blob
commons/oassocid.ml [new file with mode: 0644] blob
commons/objet.ml [new file with mode: 0644] blob
commons/objet.mli [new file with mode: 0644] blob
commons/ocamlextra/ANSITerminal.ml [new file with mode: 0644] blob
commons/ocamlextra/ANSITerminal.mli [new file with mode: 0644] blob
commons/ocamlextra/dumper.ml [new file with mode: 0644] blob
commons/ocamlextra/dumper.mli [new file with mode: 0644] blob
commons/ocamlextra/dynArray.ml [new file with mode: 0644] blob
commons/ocamlextra/dynArray.mli [new file with mode: 0644] blob
commons/ocamlextra/enum.ml [new file with mode: 0644] blob
commons/ocamlextra/enum.mli [new file with mode: 0644] blob
commons/ocamlextra/mapb.ml [new file with mode: 0644] blob
commons/ocamlextra/parser_combinators.ml [new file with mode: 0644] blob
commons/ocamlextra/parser_combinators.mli [new file with mode: 0644] blob
commons/ocamlextra/setPt.ml [new file with mode: 0644] blob
commons/ocamlextra/setb.ml [new file with mode: 0644] blob
commons/ocamlextra/setb.mli [new file with mode: 0644] blob
commons/ocamlextra/suffix_tree.ml [new file with mode: 0644] blob
commons/ocamlextra/suffix_tree.mli [new file with mode: 0644] blob
commons/ocamlextra/suffix_tree_ext.ml [new file with mode: 0644] blob
commons/ocamlextra/suffix_tree_ext.mli [new file with mode: 0644] blob
commons/ocollection.ml [new file with mode: 0644] blob
commons/ocollection.mli [new file with mode: 0644] blob
commons/ofullcommon.ml [new file with mode: 0644] blob
commons/ograph.ml [new file with mode: 0644] blob
commons/ograph.mli [new file with mode: 0644] blob
commons/ograph2way.ml [new file with mode: 0644] blob
commons/ograph2way.mli [new file with mode: 0644] blob
commons/ograph_extended.ml [new file with mode: 0644] blob
commons/ograph_extended.mli [new file with mode: 0644] blob
commons/osequence.ml [new file with mode: 0644] blob
commons/osequence.mli [new file with mode: 0644] blob
commons/oset.ml [new file with mode: 0644] blob
commons/oset.mli [new file with mode: 0644] blob
commons/osetb.ml [new file with mode: 0644] blob
commons/oseth.ml [new file with mode: 0644] blob
commons/oseti.ml [new file with mode: 0644] blob
commons/osetpt.ml [new file with mode: 0644] blob
commons/seti.ml [new file with mode: 0644] blob
configure [new file with mode: 0755] blob
copyright.txt [new file with mode: 0644] blob
credits.txt [new file with mode: 0644] blob
ctl/.depend [new file with mode: 0644] blob
ctl/Makefile [new file with mode: 0644] blob
ctl/ast_ctl.ml [new file with mode: 0644] blob
ctl/ctl_engine.ml [new file with mode: 0644] blob
ctl/ctl_engine.mli [new file with mode: 0644] blob
ctl/double_negate_ml [new file with mode: 0644] blob
ctl/flag_ctl.ml [new file with mode: 0644] blob
ctl/pretty_print_ctl.ml [new file with mode: 0644] blob
ctl/pretty_print_ctl.mli [new file with mode: 0644] blob
ctl/test_ctl.ml [new file with mode: 0644] blob
ctl/wrapper_ctl.ml [new file with mode: 0644] blob
ctl/wrapper_ctl.mli [new file with mode: 0644] blob
demos/check_region.c [new file with mode: 0644] blob
demos/check_region.cocci [new file with mode: 0644] blob
demos/ctr_unit_test.c [new file with mode: 0644] blob
demos/ctr_unit_test.cocci [new file with mode: 0644] blob
demos/demo_rule9/README [new file with mode: 0644] blob
demos/demo_rule9/g_NCR5380.c [new file with mode: 0644] blob
demos/demo_rule9/g_NCR5380.res [new file with mode: 0644] blob
demos/demo_rule9/nsp_cs.c [new file with mode: 0644] blob
demos/demo_rule9/nsp_cs.res [new file with mode: 0644] blob
demos/demo_rule9/rule9.cocci [new file with mode: 0644] blob
demos/demo_rule9/rule9_1.cocci [new file with mode: 0644] blob
demos/demo_rule9/rule9_2.cocci [new file with mode: 0644] blob
demos/demo_rule9/rule9_3.cocci [new file with mode: 0644] blob
demos/demo_rule9/rule9_4.cocci [new file with mode: 0644] blob
demos/demo_rule9/rule9_5.cocci [new file with mode: 0644] blob
demos/demo_rule9/scsiglue.c [new file with mode: 0644] blob
demos/demo_rule9/scsiglue.res [new file with mode: 0644] blob
demos/demo_rule9/sym53c8xx.c [new file with mode: 0644] blob
demos/demo_rule9/sym53c8xx.res [new file with mode: 0644] blob
demos/foo.c [new file with mode: 0644] blob
demos/foo.cocci [new file with mode: 0644] blob
demos/foobar.c [new file with mode: 0644] blob
demos/foobar.cocci [new file with mode: 0644] blob
demos/headers.cocci [new file with mode: 0644] blob
demos/headers.iso [new file with mode: 0644] blob
demos/headers2.iso [new file with mode: 0644] blob
demos/interprocedural_adhoc.c [new file with mode: 0644] blob
demos/interprocedural_adhoc.cocci [new file with mode: 0644] blob
demos/ioctl_multiple_rules.c [new file with mode: 0644] blob
demos/ioctl_multiple_rules.cocci [new file with mode: 0644] blob
demos/iso-kzalloc.c [new file with mode: 0644] blob
demos/iso-kzalloc.cocci [new file with mode: 0644] blob
demos/itimer.c [new file with mode: 0644] blob
demos/itimer.cocci [new file with mode: 0644] blob
demos/itimer.patch [new file with mode: 0644] blob
demos/itimer.res [new file with mode: 0644] blob
demos/itimerfullfunc.sgrep [new file with mode: 0644] blob
demos/janitorings/ARRAY_SIZE.cocci [new file with mode: 0644] blob
demos/janitorings/BUG_ON.cocci [new file with mode: 0644] blob
demos/janitorings/BUG_ON.sgrep [new file with mode: 0644] blob
demos/janitorings/alloc_page.cocci [new file with mode: 0644] blob
demos/janitorings/bad_zero-orig.cocci [new file with mode: 0644] blob
demos/janitorings/bad_zero.c [new file with mode: 0644] blob
demos/janitorings/bad_zero.cocci [new file with mode: 0644] blob
demos/janitorings/bad_zero_affect.cocci [new file with mode: 0644] blob
demos/janitorings/clear_page.cocci [new file with mode: 0644] blob
demos/janitorings/is_power_of_2.cocci [new file with mode: 0644] blob
demos/janitorings/kcalloc_un.cocci [new file with mode: 0644] blob
demos/janitorings/kzalloc-fix.cocci [new file with mode: 0644] blob
demos/janitorings/kzalloc-orig.cocci [new file with mode: 0644] blob
demos/janitorings/kzalloc.cocci [new file with mode: 0644] blob
demos/janitorings/list_for_each.c [new file with mode: 0644] blob
demos/janitorings/list_for_each.cocci [new file with mode: 0644] blob
demos/janitorings/list_for_each_safe.c [new file with mode: 0644] blob
demos/janitorings/list_for_each_safe.sgrep [new file with mode: 0644] blob
demos/janitorings/netdev_find_allocfunc.c [new file with mode: 0644] blob
demos/janitorings/netdev_find_allocfunc.sgrep [new file with mode: 0644] blob
demos/janitorings/netdev_priv.c [new file with mode: 0644] blob
demos/janitorings/netdev_priv.cocci [new file with mode: 0644] blob
demos/janitorings/netdev_priv2.cocci [new file with mode: 0644] blob
demos/janitorings/netdev_priv_dangerous.sgrep [new file with mode: 0644] blob
demos/janitorings/remove_cast_kmalloc.cocci [new file with mode: 0644] blob
demos/janitorings/set_current_state.cocci [new file with mode: 0644] blob
demos/janitorings/static_initfunc.c [new file with mode: 0644] blob
demos/janitorings/static_initfunc.cocci [new file with mode: 0644] blob
demos/janitorings/string-array-decl-opti.c [new file with mode: 0644] blob
demos/janitorings/string-array-decl-opti.cocci [new file with mode: 0644] blob
demos/janitorings/useless_cast.c [new file with mode: 0644] blob
demos/janitorings/useless_cast.cocci [new file with mode: 0644] blob
demos/launch.sh [new file with mode: 0755] blob
demos/manual/already_tagged.c [new file with mode: 0644] blob
demos/manual/already_tagged.cocci [new file with mode: 0644] blob
demos/manual/get_put.c [new file with mode: 0644] blob
demos/manual/get_put.cocci [new file with mode: 0644] blob
demos/manual/get_put_full.c [new file with mode: 0644] blob
demos/manual/get_put_full.cocci [new file with mode: 0644] blob
demos/manual/get_put_ver1.c [new file with mode: 0644] blob
demos/not.c [new file with mode: 0644] blob
demos/not.cocci [new file with mode: 0644] blob
demos/not.res [new file with mode: 0644] blob
demos/posmult.c [new file with mode: 0644] blob
demos/posmult.cocci [new file with mode: 0644] blob
demos/printloc.c [new file with mode: 0644] blob
demos/printloc.cocci [new file with mode: 0644] blob
demos/proc_info.c [new file with mode: 0644] blob
demos/proc_info.cocci [new file with mode: 0644] blob
demos/pycocci.c [new file with mode: 0644] blob
demos/pycocci.cocci [new file with mode: 0644] blob
demos/sgrep/README [new file with mode: 0644] blob
demos/sgrep/a_and_b.c [new file with mode: 0644] blob
demos/sgrep/a_and_b.sgrep [new file with mode: 0644] blob
demos/sgrep/dangerous_GFP_KERNEL.sgrep [new file with mode: 0644] blob
demos/sgrep/dangerous_GFP_KERNEL2.sgrep [new file with mode: 0644] blob
demos/sgrep/dangerous_arith_pointer_cast.sgrep [new file with mode: 0644] blob
demos/sgrep/device_id.sgrep [new file with mode: 0644] blob
demos/sgrep/double_cast.sgrep [new file with mode: 0644] blob
demos/sgrep/free.sgrep [new file with mode: 0644] blob
demos/sgrep/intr4.sgrep [new file with mode: 0644] blob
demos/sgrep/null.sgrep [new file with mode: 0644] blob
demos/sgrep/run.sh [new file with mode: 0644] blob
demos/sgrep/simple.c [new file with mode: 0644] blob
demos/sgrep/simple.sgrep [new file with mode: 0644] blob
demos/simple.c [new file with mode: 0644] blob
demos/simple.cocci [new file with mode: 0644] blob
demos/type_fields.c [new file with mode: 0644] blob
demos/type_fields.cocci [new file with mode: 0644] blob
demos/unsigned.cocci [new file with mode: 0644] blob
demos/unsigned.txt [new file with mode: 0644] blob
demos/usb_submit_urb.c [new file with mode: 0644] blob
demos/usb_submit_urb.cocci [new file with mode: 0644] blob
demos/video_usercopy.c [new file with mode: 0644] blob
demos/video_usercopy.cocci [new file with mode: 0644] blob
demos/xxx_info.c [new file with mode: 0644] blob
demos/xxx_info.cocci [new file with mode: 0644] blob
docs/SmPL-ver2-tutorial-ols07.pdf [new file with mode: 0644] blob
docs/SmPL-with-grammar-ercim-evos06.pdf [new file with mode: 0644] blob
docs/cocci-python.txt [new file with mode: 0644] blob
docs/developer.txt [new file with mode: 0644] blob
docs/graph-module-dependencies.ps [new file with mode: 0644] blob
docs/manual.tex [new file with mode: 0644] blob
docs/semantic-patches-for-collateral-evolutions.ppt [new file with mode: 0644] blob
docs/semantic-patches-talk-ols07.odp [new file with mode: 0644] blob
docs/semantic-patches-talk-ols07.ppt [new file with mode: 0644] blob
emacs/cocci-ediff.el [new file with mode: 0644] blob
emacs/cocci.el [new file with mode: 0644] blob
empty.h [new file with mode: 0644] blob
empty.iso [new file with mode: 0644] blob
engine/.depend [new file with mode: 0644] blob
engine/Makefile [new file with mode: 0644] blob
engine/asttoctl.ml [new file with mode: 0644] blob
engine/asttoctl.mli [new file with mode: 0644] blob
engine/asttoctl2.ml [new file with mode: 0644] blob
engine/asttoctl2.mli [new file with mode: 0644] blob
engine/asttomember.ml [new file with mode: 0644] blob
engine/asttomember.mli [new file with mode: 0644] blob
engine/c_vs_c.ml [new file with mode: 0644] blob
engine/c_vs_c.mli [new file with mode: 0644] blob
engine/check_exhaustive_pattern.ml [new file with mode: 0644] blob
engine/check_reachability.ml [new file with mode: 0644] blob
engine/check_reachability.mli [new file with mode: 0644] blob
engine/cocci_vs_c_3.ml [new file with mode: 0644] blob
engine/cocci_vs_c_3.mli [new file with mode: 0644] blob
engine/ctlcocci_integration.ml [new file with mode: 0644] blob
engine/ctlcocci_integration.mli [new file with mode: 0644] blob
engine/ctltotex.ml [new file with mode: 0644] blob
engine/ctltotex.mli [new file with mode: 0644] blob
engine/flag_engine.ml [new file with mode: 0644] blob
engine/isomorphisms_c_c.ml [new file with mode: 0644] blob
engine/lib_engine.ml [new file with mode: 0644] blob
engine/main.ml [new file with mode: 0644] blob
engine/pattern3.ml [new file with mode: 0644] blob
engine/pattern3.mli [new file with mode: 0644] blob
engine/postprocess_transinfo.ml [new file with mode: 0644] blob
engine/postprocess_transinfo.mli [new file with mode: 0644] blob
engine/pretty_print_engine.ml [new file with mode: 0644] blob
engine/pretty_print_engine.mli [new file with mode: 0644] blob
engine/sgrep.ml [new file with mode: 0644] blob
engine/tests/Makefile [new file with mode: 0644] blob
engine/tests/test1 [new file with mode: 0644] blob
engine/tests/test1.tex [new file with mode: 0644] blob
engine/transformation3.ml [new file with mode: 0644] blob
engine/transformation3.mli [new file with mode: 0644] blob
env.csh [new file with mode: 0644] blob
env.sh [new file with mode: 0644] blob
extra/.depend [new file with mode: 0644] blob
extra/Makefile [new file with mode: 0644] blob
extra/c_info.ml [new file with mode: 0644] blob
extra/c_info.mli [new file with mode: 0644] blob
extra/classic_patch.ml [new file with mode: 0644] blob
extra/classic_patch.mli [new file with mode: 0644] blob
extra/kbuild.ml [new file with mode: 0644] blob
extra/kbuild.mli [new file with mode: 0644] blob
extra/maintainers.ml [new file with mode: 0644] blob
extra/maintainers.mli [new file with mode: 0644] blob
flag_cocci.ml [new file with mode: 0644] blob
globals/.depend [new file with mode: 0644] blob
globals/Makefile [new file with mode: 0644] blob
globals/config.ml [new file with mode: 0644] blob
globals/flag.ml [new file with mode: 0644] blob
install.txt [new file with mode: 0644] blob
license.txt [new file with mode: 0644] blob
main.ml [new file with mode: 0644] blob
menhirlib/.depend [new file with mode: 0644] blob
menhirlib/Makefile [new file with mode: 0644] blob
menhirlib/convert.ml [new file with mode: 0644] blob
menhirlib/engine.ml [new file with mode: 0644] blob
menhirlib/engineTypes.ml [new file with mode: 0644] blob
menhirlib/infiniteArray.ml [new file with mode: 0644] blob
menhirlib/license.txt [new file with mode: 0644] blob
menhirlib/packedIntArray.ml [new file with mode: 0644] blob
menhirlib/readme.txt [new file with mode: 0644] blob
menhirlib/rowDisplacement.ml [new file with mode: 0644] blob
menhirlib/tableFormat.ml [new file with mode: 0644] blob
menhirlib/tableInterpreter.ml [new file with mode: 0644] blob
parsing_c/.depend [new file with mode: 0644] blob
parsing_c/Makefile [new file with mode: 0644] blob
parsing_c/ast_c.ml [new file with mode: 0644] blob
parsing_c/ast_to_flow.ml [new file with mode: 0644] blob
parsing_c/ast_to_flow.mli [new file with mode: 0644] blob
parsing_c/authors.txt [new file with mode: 0644] blob
parsing_c/compare_c.ml [new file with mode: 0644] blob
parsing_c/compare_c.mli [new file with mode: 0644] blob
parsing_c/control_flow_c.ml [new file with mode: 0644] blob
parsing_c/control_flow_c.mli [new file with mode: 0644] blob
parsing_c/copyright.txt [new file with mode: 0644] blob
parsing_c/credits.txt [new file with mode: 0644] blob
parsing_c/flag_parsing_c.ml [new file with mode: 0644] blob
parsing_c/lexer_c.mll [new file with mode: 0644] blob
parsing_c/lexer_parser.ml [new file with mode: 0644] blob
parsing_c/lexer_parser.mli [new file with mode: 0644] blob
parsing_c/lib_parsing_c.ml [new file with mode: 0644] blob
parsing_c/license.txt [new file with mode: 0644] blob
parsing_c/parse_c.ml [new file with mode: 0644] blob
parsing_c/parse_c.mli [new file with mode: 0644] blob
parsing_c/parser_c.mly [new file with mode: 0644] blob
parsing_c/parsing_hacks.ml [new file with mode: 0644] blob
parsing_c/parsing_hacks.mli [new file with mode: 0644] blob
parsing_c/pretty_print_c.ml [new file with mode: 0644] blob
parsing_c/pretty_print_c.mli [new file with mode: 0644] blob
parsing_c/semantic_c.ml [new file with mode: 0644] blob
parsing_c/test_parsing_c.ml [new file with mode: 0644] blob
parsing_c/test_parsing_c.mli [new file with mode: 0644] blob
parsing_c/token_helpers.ml [new file with mode: 0644] blob
parsing_c/token_helpers.mli [new file with mode: 0644] blob
parsing_c/type_annoter_c.ml [new file with mode: 0644] blob
parsing_c/type_annoter_c.mli [new file with mode: 0644] blob
parsing_c/unparse_c2.ml [new file with mode: 0644] blob
parsing_c/unparse_c2.mli [new file with mode: 0644] blob
parsing_c/unparse_cocci2.ml [new file with mode: 0644] blob
parsing_c/unparse_cocci2.mli [new file with mode: 0644] blob
parsing_c/unparse_hrule.ml [new file with mode: 0644] blob
parsing_c/unparse_hrule.mli [new file with mode: 0644] blob
parsing_c/visitor_c.ml [new file with mode: 0644] blob
parsing_c/visitor_c.mli [new file with mode: 0644] blob
parsing_cocci/.depend [new file with mode: 0644] blob
parsing_cocci/Makefile [new file with mode: 0644] blob
parsing_cocci/README [new file with mode: 0644] blob
parsing_cocci/arity.ml [new file with mode: 0644] blob
parsing_cocci/arity.mli [new file with mode: 0644] blob
parsing_cocci/ast0_cocci.ml [new file with mode: 0644] blob
parsing_cocci/ast0_cocci.mli [new file with mode: 0644] blob
parsing_cocci/ast0toast.ml [new file with mode: 0644] blob
parsing_cocci/ast0toast.mli [new file with mode: 0644] blob
parsing_cocci/ast_cocci.ml [new file with mode: 0644] blob
parsing_cocci/ast_cocci.mli [new file with mode: 0644] blob
parsing_cocci/check_meta.ml [new file with mode: 0644] blob
parsing_cocci/check_meta.mli [new file with mode: 0644] blob
parsing_cocci/comm_assoc.ml [new file with mode: 0644] blob
parsing_cocci/comm_assoc.mli [new file with mode: 0644] blob
parsing_cocci/compute_lines.ml [new file with mode: 0644] blob
parsing_cocci/compute_lines.mli [new file with mode: 0644] blob
parsing_cocci/context_neg.ml [new file with mode: 0644] blob
parsing_cocci/context_neg.mli [new file with mode: 0644] blob
parsing_cocci/data.ml [new file with mode: 0644] blob
parsing_cocci/data.mli [new file with mode: 0644] blob
parsing_cocci/disjdistr.ml [new file with mode: 0644] blob
parsing_cocci/disjdistr.mli [new file with mode: 0644] blob
parsing_cocci/flag_parsing_cocci.ml [new file with mode: 0644] blob
parsing_cocci/free_vars.ml [new file with mode: 0644] blob
parsing_cocci/free_vars.mli [new file with mode: 0644] blob
parsing_cocci/function_prototypes.ml [new file with mode: 0644] blob
parsing_cocci/function_prototypes.mli [new file with mode: 0644] blob
parsing_cocci/get_constants.ml [new file with mode: 0644] blob
parsing_cocci/get_constants.mli [new file with mode: 0644] blob
parsing_cocci/get_constants2.ml [new file with mode: 0644] blob
parsing_cocci/get_constants2.mli [new file with mode: 0644] blob
parsing_cocci/index.ml [new file with mode: 0644] blob
parsing_cocci/index.mli [new file with mode: 0644] blob
parsing_cocci/insert_plus.ml [new file with mode: 0644] blob
parsing_cocci/insert_plus.mli [new file with mode: 0644] blob
parsing_cocci/iso_compile.ml [new file with mode: 0644] blob
parsing_cocci/iso_compile.mli [new file with mode: 0644] blob
parsing_cocci/iso_pattern.ml [new file with mode: 0644] blob
parsing_cocci/iso_pattern.mli [new file with mode: 0644] blob
parsing_cocci/lexer_cocci.mll [new file with mode: 0644] blob
parsing_cocci/lexer_script.mll [new file with mode: 0644] blob
parsing_cocci/main.ml [new file with mode: 0644] blob
parsing_cocci/merge.ml [new file with mode: 0644] blob
parsing_cocci/merge.mli [new file with mode: 0644] blob
parsing_cocci/parse_aux.ml [new file with mode: 0644] blob
parsing_cocci/parse_cocci.ml [new file with mode: 0644] blob
parsing_cocci/parse_cocci.mli [new file with mode: 0644] blob
parsing_cocci/parser_cocci.mly [new file with mode: 0644] blob
parsing_cocci/parser_cocci_menhir.ml [new file with mode: 0644] blob
parsing_cocci/parser_cocci_menhir.mli [new file with mode: 0644] blob
parsing_cocci/parser_cocci_menhir.mly [new file with mode: 0644] blob
parsing_cocci/plus.ml [new file with mode: 0644] blob
parsing_cocci/plus.mli [new file with mode: 0644] blob
parsing_cocci/pretty_print_cocci.ml [new file with mode: 0644] blob
parsing_cocci/pretty_print_cocci.mli [new file with mode: 0644] blob
parsing_cocci/semantic_cocci.ml [new file with mode: 0644] blob
parsing_cocci/simple_assignments.ml [new file with mode: 0644] blob
parsing_cocci/simple_assignments.mli [new file with mode: 0644] blob
parsing_cocci/single_statement.ml [new file with mode: 0644] blob
parsing_cocci/single_statement.mli [new file with mode: 0644] blob
parsing_cocci/test.cocci [new file with mode: 0644] blob
parsing_cocci/test2.cocci [new file with mode: 0644] blob
parsing_cocci/test_exps.ml [new file with mode: 0644] blob
parsing_cocci/test_exps.mli [new file with mode: 0644] blob
parsing_cocci/tests/1.cocci [new file with mode: 0644] blob
parsing_cocci/tests/10.cocci [new file with mode: 0644] blob
parsing_cocci/tests/11.cocci [new file with mode: 0644] blob
parsing_cocci/tests/12.cocci [new file with mode: 0644] blob
parsing_cocci/tests/13.cocci [new file with mode: 0644] blob
parsing_cocci/tests/14.cocci [new file with mode: 0644] blob
parsing_cocci/tests/15.cocci [new file with mode: 0644] blob
parsing_cocci/tests/16.cocci [new file with mode: 0644] blob
parsing_cocci/tests/17.cocci [new file with mode: 0644] blob
parsing_cocci/tests/18.cocci [new file with mode: 0644] blob
parsing_cocci/tests/19.cocci [new file with mode: 0644] blob
parsing_cocci/tests/2.cocci [new file with mode: 0644] blob
parsing_cocci/tests/20.cocci [new file with mode: 0644] blob
parsing_cocci/tests/21.cocci [new file with mode: 0644] blob
parsing_cocci/tests/22.cocci [new file with mode: 0644] blob
parsing_cocci/tests/23.cocci [new file with mode: 0644] blob
parsing_cocci/tests/24.cocci [new file with mode: 0644] blob
parsing_cocci/tests/25.cocci [new file with mode: 0644] blob
parsing_cocci/tests/26.cocci [new file with mode: 0644] blob
parsing_cocci/tests/27.cocci [new file with mode: 0644] blob
parsing_cocci/tests/28.cocci [new file with mode: 0644] blob
parsing_cocci/tests/29.cocci [new file with mode: 0644] blob
parsing_cocci/tests/3.cocci [new file with mode: 0644] blob
parsing_cocci/tests/30.cocci [new file with mode: 0644] blob
parsing_cocci/tests/4.cocci [new file with mode: 0644] blob
parsing_cocci/tests/5.cocci [new file with mode: 0644] blob
parsing_cocci/tests/6.cocci [new file with mode: 0644] blob
parsing_cocci/tests/7.cocci [new file with mode: 0644] blob
parsing_cocci/tests/8.cocci [new file with mode: 0644] blob
parsing_cocci/tests/9.cocci [new file with mode: 0644] blob
parsing_cocci/tests/Makefile [new file with mode: 0644] blob
parsing_cocci/tests/problems [new file with mode: 0644] blob
parsing_cocci/top_level.ml [new file with mode: 0644] blob
parsing_cocci/top_level.mli [new file with mode: 0644] blob
parsing_cocci/type_cocci.ml [new file with mode: 0644] blob
parsing_cocci/type_cocci.mli [new file with mode: 0644] blob
parsing_cocci/type_infer.ml [new file with mode: 0644] blob
parsing_cocci/type_infer.mli [new file with mode: 0644] blob
parsing_cocci/unify_ast.ml [new file with mode: 0644] blob
parsing_cocci/unify_ast.mli [new file with mode: 0644] blob
parsing_cocci/unitary_ast0.ml [new file with mode: 0644] blob
parsing_cocci/unitary_ast0.mli [new file with mode: 0644] blob
parsing_cocci/unparse_ast0.ml [new file with mode: 0644] blob
parsing_cocci/unparse_ast0.mli [new file with mode: 0644] blob
parsing_cocci/visitor_ast.ml [new file with mode: 0644] blob
parsing_cocci/visitor_ast.mli [new file with mode: 0644] blob
parsing_cocci/visitor_ast0.ml [new file with mode: 0644] blob
parsing_cocci/visitor_ast0.mli [new file with mode: 0644] blob
popl/Makefile [new file with mode: 0644] blob
popl/ast_popl.ml [new file with mode: 0644] blob
popl/asttopopl.ml [new file with mode: 0644] blob
popl/asttopopl.mli [new file with mode: 0644] blob
popl/insert_befaft.ml [new file with mode: 0644] blob
popl/insert_befaft.mli [new file with mode: 0644] blob
popl/insert_quantifiers.ml [new file with mode: 0644] blob
popl/insert_quantifiers.mli [new file with mode: 0644] blob
popl/popl.ml [new file with mode: 0644] blob
popl/popl.mli [new file with mode: 0644] blob
popl/popltoctl.ml [new file with mode: 0644] blob
popl/popltoctl.mli [new file with mode: 0644] blob
popl/pretty_print_popl.ml [new file with mode: 0644] blob
popl/pretty_print_popl.mli [new file with mode: 0644] blob
popl09/.depend [new file with mode: 0644] blob
popl09/Makefile [new file with mode: 0644] blob
popl09/ast_popl.ml [new file with mode: 0644] blob
popl09/asttopopl.ml [new file with mode: 0644] blob
popl09/asttopopl.mli [new file with mode: 0644] blob
popl09/flag_popl.ml [new file with mode: 0644] blob
popl09/insert_quantifiers.ml [new file with mode: 0644] blob
popl09/insert_quantifiers.mli [new file with mode: 0644] blob
popl09/popl.ml [new file with mode: 0644] blob
popl09/popl.mli [new file with mode: 0644] blob
popl09/popltoctl.ml [new file with mode: 0644] blob
popl09/popltoctl.mli [new file with mode: 0644] blob
popl09/pretty_print_popl.ml [new file with mode: 0644] blob
popl09/pretty_print_popl.mli [new file with mode: 0644] blob
prim.c [new file with mode: 0644] blob
pycaml/Makefile [new file with mode: 0644] blob
pycaml/Makefile.in [new file with mode: 0644] blob
pycaml/OCamlMakefile [new file with mode: 0644] blob
pycaml/acinclude.m4 [new file with mode: 0644] blob
pycaml/aclocal.m4 [new file with mode: 0644] blob
pycaml/configure [new file with mode: 0644] blob
pycaml/configure.in [new file with mode: 0644] blob
pycaml/getprefix.py [new file with mode: 0644] blob
pycaml/getversion.py [new file with mode: 0644] blob
pycaml/license.txt [new file with mode: 0644] blob
pycaml/modif-orig.txt [new file with mode: 0644] blob
pycaml/ocamlobj.ml [new file with mode: 0644] blob
pycaml/pycaml.html [new file with mode: 0644] blob
pycaml/pycaml.ml [new file with mode: 0644] blob
pycaml/pycaml_ml.c [new file with mode: 0644] blob
pycaml/pycamltest.ml [new file with mode: 0644] blob
pycaml/tupletest.ml [new file with mode: 0644] blob
python/.depend [new file with mode: 0644] blob
python/Makefile [new file with mode: 0644] blob
python/coccilib/Makefile [new file with mode: 0644] blob
python/coccilib/__init__.py [new file with mode: 0644] blob
python/coccilib/coccigui/Makefile [new file with mode: 0644] blob
python/coccilib/coccigui/__init__.py [new file with mode: 0644] blob
python/coccilib/coccigui/coccigui.py [new file with mode: 0644] blob
python/coccilib/coccigui/pycoccimodel.py [new file with mode: 0644] blob
python/coccilib/coccigui/pygui.glade [new file with mode: 0644] blob
python/coccilib/coccigui/pygui.gladep [new file with mode: 0644] blob
python/coccilib/coccigui/vim.py [new file with mode: 0644] blob
python/coccilib/coccigui/vimcom.py [new file with mode: 0644] blob
python/coccilib/coccigui/vimeditor.py [new file with mode: 0644] blob
python/coccilib/coccigui/vimembed.py [new file with mode: 0644] blob
python/coccilib/elems.py [new file with mode: 0644] blob
python/coccilib/output.py [new file with mode: 0644] blob
python/no_pycocci.ml [new file with mode: 0644] blob
python/no_pycocci_aux.ml [new file with mode: 0644] blob
python/pycocci.ml [new symlink] blob
python/pycocci_aux.ml [new symlink] blob
python/yes_pycocci.ml [new file with mode: 0644] blob
python/yes_pycocci_aux.ml [new file with mode: 0644] blob
readme.txt [new file with mode: 0644] blob
runspatch.opt [new file with mode: 0755] blob
scripts/extract_c_and_res.pl [new file with mode: 0755] blob
scripts/extract_examples.pl [new file with mode: 0755] blob
scripts/extractor.awk [new file with mode: 0755] blob
scripts/extractor_README.pl [new file with mode: 0755] blob
scripts/gather_failed.pl [new file with mode: 0755] blob
scripts/glimpseindex_cocci.sh [new file with mode: 0755] blob
scripts/readme.pl [new file with mode: 0755] blob
scripts/stat_directories.pl [new file with mode: 0755] blob
scripts/stat_directories_complete.pl [new file with mode: 0755] blob
scripts/stat_directory_complete.pl [new file with mode: 0755] blob
standard.h [new file with mode: 0644] blob
standard.iso [new file with mode: 0644] blob
test.ml [new file with mode: 0644] blob
testing.ml [new file with mode: 0644] blob
testing.mli [new file with mode: 0644] blob
tests/A_and_E.c [new file with mode: 0644] blob
tests/A_and_E.cocci [new file with mode: 0644] blob
tests/A_and_E.res [new file with mode: 0644] blob
tests/A_and_E_ver1.c [new file with mode: 0644] blob
tests/A_and_E_ver1.res [new file with mode: 0644] blob
tests/a3d.c [new file with mode: 0644] blob
tests/a3d.cocci [new file with mode: 0644] blob
tests/a3d.res [new file with mode: 0644] blob
tests/addelse.c [new file with mode: 0644] blob
tests/addelse.cocci [new file with mode: 0644] blob
tests/addelse.res [new file with mode: 0644] blob
tests/after_if.c [new file with mode: 0644] blob
tests/after_if.cocci [new file with mode: 0644] blob
tests/after_if.res [new file with mode: 0644] blob
tests/ali.c [new file with mode: 0644] blob
tests/ali.cocci [new file with mode: 0644] blob
tests/allbound.c [new file with mode: 0644] blob
tests/allbound.cocci [new file with mode: 0644] blob
tests/andparen.c [new file with mode: 0644] blob
tests/andparen.cocci [new file with mode: 0644] blob
tests/anon.c [new file with mode: 0644] blob
tests/anon.cocci [new file with mode: 0644] blob
tests/anon.res [new file with mode: 0644] blob
tests/ar.c [new file with mode: 0644] blob
tests/ar.cocci [new file with mode: 0644] blob
tests/ar.res [new file with mode: 0644] blob
tests/arg.c [new file with mode: 0644] blob
tests/arg.cocci [new file with mode: 0644] blob
tests/arg.res [new file with mode: 0644] blob
tests/argument.c [new file with mode: 0644] blob
tests/argument.cocci [new file with mode: 0644] blob
tests/argument.res [new file with mode: 0644] blob
tests/array.c [new file with mode: 0644] blob
tests/array.cocci [new file with mode: 0644] blob
tests/array_init.c [new file with mode: 0644] blob
tests/array_init.cocci [new file with mode: 0644] blob
tests/array_init.res [new file with mode: 0644] blob
tests/array_size.c [new file with mode: 0644] blob
tests/array_size.cocci [new file with mode: 0644] blob
tests/array_size.res [new file with mode: 0644] blob
tests/arraysz.c [new file with mode: 0644] blob
tests/arraysz.cocci [new file with mode: 0644] blob
tests/arraysz.res [new file with mode: 0644] blob
tests/assign.c [new file with mode: 0644] blob
tests/assign.cocci [new file with mode: 0644] blob
tests/axnet.c [new file with mode: 0644] blob
tests/axnet.cocci [new file with mode: 0644] blob
tests/b1.c [new file with mode: 0644] blob
tests/b1.cocci [new file with mode: 0644] blob
tests/b1.res [new file with mode: 0644] blob
tests/b2.c [new file with mode: 0644] blob
tests/b2.cocci [new file with mode: 0644] blob
tests/b2.res [new file with mode: 0644] blob
tests/bad_assign.cocci [new file with mode: 0644] blob
tests/bad_define.c [new file with mode: 0644] blob
tests/bad_define.cocci [new file with mode: 0644] blob
tests/bad_define.res [new file with mode: 0644] blob
tests/bad_iso_example.c [new file with mode: 0644] blob
tests/bad_iso_example.cocci [new file with mode: 0644] blob
tests/bad_iso_example.res [new file with mode: 0644] blob
tests/bad_noputm1 [new file with mode: 0644] blob
tests/bad_subsumption.c [new file with mode: 0644] blob
tests/bad_subsumption.cocci [new file with mode: 0644] blob
tests/bad_typedef.c [new file with mode: 0644] blob
tests/bad_typedef.cocci [new file with mode: 0644] blob
tests/bad_typedef.res [new file with mode: 0644] blob
tests/bad_zero.cocci [new file with mode: 0644] blob
tests/badaw.c [new file with mode: 0644] blob
tests/badaw.cocci [new file with mode: 0644] blob
tests/badcomma.c [new file with mode: 0644] blob
tests/badcomma.cocci [new file with mode: 0644] blob
tests/badexp.c [new file with mode: 0644] blob
tests/badexp.cocci [new file with mode: 0644] blob
tests/badexp.res [new file with mode: 0644] blob
tests/badexp1.c [new file with mode: 0644] blob
tests/badexp1.cocci [new file with mode: 0644] blob
tests/badfree.c [new file with mode: 0644] blob
tests/badfree.cocci [new file with mode: 0644] blob
tests/badpos.c [new file with mode: 0644] blob
tests/badpos.cocci [new file with mode: 0644] blob
tests/badpos.res [new file with mode: 0644] blob
tests/badpost.cocci [new file with mode: 0644] blob
tests/badprint.c [new file with mode: 0644] blob
tests/badtypedef.c [new file with mode: 0644] blob
tests/badtypedef.cocci [new file with mode: 0644] blob
tests/badtypedef.res [new file with mode: 0644] blob
tests/bitfield.c [new file with mode: 0644] blob
tests/bitfield.cocci [new file with mode: 0644] blob
tests/bitfield.res [new file with mode: 0644] blob
tests/braces.c [new file with mode: 0644] blob
tests/braces.cocci [new file with mode: 0644] blob
tests/braces.res [new file with mode: 0644] blob
tests/break.c [new file with mode: 0644] blob
tests/break.cocci [new file with mode: 0644] blob
tests/break.res [new file with mode: 0644] blob
tests/bug1.c [new file with mode: 0644] blob
tests/bug1.cocci [new file with mode: 0644] blob
tests/bug1.res [new file with mode: 0644] blob
tests/bug_expopt.c [new file with mode: 0644] blob
tests/bug_expopt.cocci [new file with mode: 0644] blob
tests/bugloop.c [new file with mode: 0644] blob
tests/bugloop.cocci [new file with mode: 0644] blob
tests/bugloop.res [new file with mode: 0644] blob
tests/bugon.c [new file with mode: 0644] blob
tests/bugon.cocci [new file with mode: 0644] blob
tests/bugon.res [new file with mode: 0644] blob
tests/cards.c [new file with mode: 0644] blob
tests/cards.cocci [new file with mode: 0644] blob
tests/cards.res [new file with mode: 0644] blob
tests/cast.c [new file with mode: 0644] blob
tests/cast.cocci [new file with mode: 0644] blob
tests/cast.res [new file with mode: 0644] blob
tests/cast_iso.c [new file with mode: 0644] blob
tests/cast_iso.cocci [new file with mode: 0644] blob
tests/cast_iso.res [new file with mode: 0644] blob
tests/comment.c [new file with mode: 0644] blob
tests/comment.cocci [new file with mode: 0644] blob
tests/compare.c [new file with mode: 0644] blob
tests/compare.cocci [new file with mode: 0644] blob
tests/compare.res [new file with mode: 0644] blob
tests/const.c [new file with mode: 0644] blob
tests/const.cocci [new file with mode: 0644] blob
tests/const.res [new file with mode: 0644] blob
tests/const1.c [new file with mode: 0644] blob
tests/const1.cocci [new file with mode: 0644] blob
tests/const1bis.c [new file with mode: 0644] blob
tests/const1bis.cocci [new file with mode: 0644] blob
tests/const1bis.res [new file with mode: 0644] blob
tests/const_adding.c [new file with mode: 0644] blob
tests/const_adding.cocci [new file with mode: 0644] blob
tests/const_adding.res [new file with mode: 0644] blob
tests/const_array.c [new file with mode: 0644] blob
tests/const_array.cocci [new file with mode: 0644] blob
tests/const_array.res [new file with mode: 0644] blob
tests/const_implicit_iso.c [new file with mode: 0644] blob
tests/const_implicit_iso.cocci [new file with mode: 0644] blob
tests/const_implicit_iso.res [new file with mode: 0644] blob
tests/constty.c [new file with mode: 0644] blob
tests/constty.cocci [new file with mode: 0644] blob
tests/constty.res [new file with mode: 0644] blob
tests/constx.c [new file with mode: 0644] blob
tests/constx.cocci [new file with mode: 0644] blob
tests/constx.res [new file with mode: 0644] blob
tests/cr.c [new file with mode: 0644] blob
tests/cr.cocci [new file with mode: 0644] blob
tests/cr1.c [new file with mode: 0644] blob
tests/cr1.cocci [new file with mode: 0644] blob
tests/cs_check.c [new file with mode: 0644] blob
tests/cs_check.cocci [new file with mode: 0644] blob
tests/cs_check.res [new file with mode: 0644] blob
tests/cst.c [new file with mode: 0644] blob
tests/cst.cocci [new file with mode: 0644] blob
tests/cst.res [new file with mode: 0644] blob
tests/csw.c [new file with mode: 0644] blob
tests/csw.cocci [new file with mode: 0644] blob
tests/csw.res [new file with mode: 0644] blob
tests/ctr_unit_test.c [new file with mode: 0644] blob
tests/ctr_unit_test.cocci [new file with mode: 0644] blob
tests/dbg.c [new file with mode: 0644] blob
tests/dbg.cocci [new file with mode: 0644] blob
tests/dbg.res [new file with mode: 0644] blob
tests/dc_close.c [new file with mode: 0644] blob
tests/dc_close.cocci [new file with mode: 0644] blob
tests/dc_close.res [new file with mode: 0644] blob
tests/debug.c [new file with mode: 0644] blob
tests/debug.cocci [new file with mode: 0644] blob
tests/debug.res [new file with mode: 0644] blob
tests/dec.c [new file with mode: 0644] blob
tests/dec.cocci [new file with mode: 0644] blob
tests/dec.res [new file with mode: 0644] blob
tests/decl.c [new file with mode: 0644] blob
tests/decl.cocci [new file with mode: 0644] blob
tests/decl.res [new file with mode: 0644] blob
tests/decl1.c [new file with mode: 0644] blob
tests/decl1.cocci [new file with mode: 0644] blob
tests/decl2.c [new file with mode: 0644] blob
tests/decl2.cocci [new file with mode: 0644] blob
tests/decl2.res [new file with mode: 0644] blob
tests/decl_space.c [new file with mode: 0644] blob
tests/decl_space.cocci [new file with mode: 0644] blob
tests/decl_space.res [new file with mode: 0644] blob
tests/decl_split.c [new file with mode: 0644] blob
tests/decl_split.cocci [new file with mode: 0644] blob
tests/decl_split.res [new file with mode: 0644] blob
tests/decl_ver1.c [new file with mode: 0644] blob
tests/define_chip_t.c [new file with mode: 0644] blob
tests/define_chip_t.cocci [new file with mode: 0644] blob
tests/define_exp.c [new file with mode: 0644] blob
tests/define_exp.cocci [new file with mode: 0644] blob
tests/define_exp.res [new file with mode: 0644] blob
tests/define_param.c [new file with mode: 0644] blob
tests/define_param.cocci [new file with mode: 0644] blob
tests/define_param.res [new file with mode: 0644] blob
tests/dep.c [new file with mode: 0644] blob
tests/dep.cocci [new file with mode: 0644] blob
tests/deref.c [new file with mode: 0644] blob
tests/deref.cocci [new file with mode: 0644] blob
tests/deref.res [new file with mode: 0644] blob
tests/desc.c [new file with mode: 0644] blob
tests/detect_alloc.cocci [new file with mode: 0644] blob
tests/devlink.c [new file with mode: 0644] blob
tests/devlink.cocci [new file with mode: 0644] blob
tests/devlink.res [new file with mode: 0644] blob
tests/disjexpr.c [new file with mode: 0644] blob
tests/disjexpr.cocci [new file with mode: 0644] blob
tests/disjexpr.res [new file with mode: 0644] blob
tests/disjexpr_ver1.c [new file with mode: 0644] blob
tests/disjexpr_ver1.res [new file with mode: 0644] blob
tests/disjexpr_ver2.c [new file with mode: 0644] blob
tests/disjexpr_ver2.res [new file with mode: 0644] blob
tests/distribute.c [new file with mode: 0644] blob
tests/distribute.cocci [new file with mode: 0644] blob
tests/distribute.res [new file with mode: 0644] blob
tests/double.c [new file with mode: 0644] blob
tests/double.cocci [new file with mode: 0644] blob
tests/double.res [new file with mode: 0644] blob
tests/double_assign.c [new file with mode: 0644] blob
tests/double_assign.cocci [new file with mode: 0644] blob
tests/double_assign.res [new file with mode: 0644] blob
tests/doublepos.c [new file with mode: 0644] blob
tests/doublepos.cocci [new file with mode: 0644] blob
tests/doublepos.res [new file with mode: 0644] blob
tests/dowhile.c [new file with mode: 0644] blob
tests/dowhile.cocci [new file with mode: 0644] blob
tests/dowhile.res [new file with mode: 0644] blob
tests/dropf.c [new file with mode: 0644] blob
tests/dropf.cocci [new file with mode: 0644] blob
tests/dropf.res [new file with mode: 0644] blob
tests/dropparam.c [new file with mode: 0644] blob
tests/dropparam.cocci [new file with mode: 0644] blob
tests/dropparam.res [new file with mode: 0644] blob
tests/edots.c [new file with mode: 0644] blob
tests/edots.cocci [new file with mode: 0644] blob
tests/edots.res [new file with mode: 0644] blob
tests/edots_ver1.c [new file with mode: 0644] blob
tests/edots_ver1.res [new file with mode: 0644] blob
tests/empty.c [new file with mode: 0644] blob
tests/empty.cocci [new file with mode: 0644] blob
tests/empty.res [new file with mode: 0644] blob
tests/end_commas.c [new file with mode: 0644] blob
tests/end_commas.cocci [new file with mode: 0644] blob
tests/end_commas.res [new file with mode: 0644] blob
tests/endif.c [new file with mode: 0644] blob
tests/endif.cocci [new file with mode: 0644] blob
tests/endif.res [new file with mode: 0644] blob
tests/exp.c [new file with mode: 0644] blob
tests/exp.cocci [new file with mode: 0644] blob
tests/exp.res [new file with mode: 0644] blob
tests/expnest.c [new file with mode: 0644] blob
tests/expnest.cocci [new file with mode: 0644] blob
tests/expnest.res [new file with mode: 0644] blob
tests/expopt.c [new file with mode: 0644] blob
tests/expopt.cocci [new file with mode: 0644] blob
tests/expopt.res [new file with mode: 0644] blob
tests/expopt2.c [new file with mode: 0644] blob
tests/expopt2.cocci [new file with mode: 0644] blob
tests/expopt2.res [new file with mode: 0644] blob
tests/expopt3.c [new file with mode: 0644] blob
tests/expopt3.cocci [new file with mode: 0644] blob
tests/expopt3.res [new file with mode: 0644] blob
tests/expopt3_ver1.c [new file with mode: 0644] blob
tests/expopt3_ver1.res [new file with mode: 0644] blob
tests/expopt3_ver2.c [new file with mode: 0644] blob
tests/expopt3_ver2.res [new file with mode: 0644] blob
tests/expopt4.c [new file with mode: 0644] blob
tests/expopt4.cocci [new file with mode: 0644] blob
tests/fields.c [new file with mode: 0644] blob
tests/fields.cocci [new file with mode: 0644] blob
tests/fields.res [new file with mode: 0644] blob
tests/fieldsmin.c [new file with mode: 0644] blob
tests/fieldsmin.cocci [new file with mode: 0644] blob
tests/fieldsmin.res [new file with mode: 0644] blob
tests/fix_flow_need.c [new file with mode: 0644] blob
tests/fix_flow_need.cocci [new file with mode: 0644] blob
tests/fix_flow_need.res [new file with mode: 0644] blob
tests/fn_todo.c [new file with mode: 0644] blob
tests/fn_todo.cocci [new file with mode: 0644] blob
tests/fn_todo.res [new file with mode: 0644] blob
tests/fnptr.c [new file with mode: 0644] blob
tests/fnptr.cocci [new file with mode: 0644] blob
tests/fnptr.res [new file with mode: 0644] blob
tests/fnret.c [new file with mode: 0644] blob
tests/fnret.cocci [new file with mode: 0644] blob
tests/fnret.res [new file with mode: 0644] blob
tests/fns.c [new file with mode: 0644] blob
tests/fns.cocci [new file with mode: 0644] blob
tests/four.c [new file with mode: 0644] blob
tests/four.cocci [new file with mode: 0644] blob
tests/four.res [new file with mode: 0644] blob
tests/foura.c [new file with mode: 0644] blob
tests/foura.cocci [new file with mode: 0644] blob
tests/foura.res [new file with mode: 0644] blob
tests/fp.c [new file with mode: 0644] blob
tests/fp.cocci [new file with mode: 0644] blob
tests/fp.res [new file with mode: 0644] blob
tests/free.c [new file with mode: 0644] blob
tests/free.cocci [new file with mode: 0644] blob
tests/free_ver5.c [new file with mode: 0644] blob
tests/fun.c [new file with mode: 0644] blob
tests/fun.cocci [new file with mode: 0644] blob
tests/fun.res [new file with mode: 0644] blob
tests/gilles-question.c [new file with mode: 0644] blob
tests/gilles-question.cocci [new file with mode: 0644] blob
tests/gilles-question.res [new file with mode: 0644] blob
tests/gotobreak.c [new file with mode: 0644] blob
tests/gotobreak.cocci [new file with mode: 0644] blob
tests/gotobreak.res [new file with mode: 0644] blob
tests/hd.c [new file with mode: 0644] blob
tests/hd.cocci [new file with mode: 0644] blob
tests/hd.h [new file with mode: 0644] blob
tests/hd.res [new file with mode: 0644] blob
tests/header_modif.c [new file with mode: 0644] blob
tests/header_modif.cocci [new file with mode: 0644] blob
tests/header_modif.h [new file with mode: 0644] blob
tests/headers.c [new file with mode: 0644] blob
tests/headers.cocci [new file with mode: 0644] blob
tests/headers.res [new file with mode: 0644] blob
tests/hex.c [new file with mode: 0644] blob
tests/hex.cocci [new file with mode: 0644] blob
tests/hex.res [new file with mode: 0644] blob
tests/hex2.c [new file with mode: 0644] blob
tests/hex2.cocci [new file with mode: 0644] blob
tests/hex2.res [new file with mode: 0644] blob
tests/if2.c [new file with mode: 0644] blob
tests/if2.cocci [new file with mode: 0644] blob
tests/ifbr.c [new file with mode: 0644] blob
tests/ifbr.cocci [new file with mode: 0644] blob
tests/ifbr.res [new file with mode: 0644] blob
tests/ifdef1.c [new file with mode: 0644] blob
tests/ifdef1.cocci [new file with mode: 0644] blob
tests/ifdef1.res [new file with mode: 0644] blob
tests/ifdef2.c [new file with mode: 0644] blob
tests/ifdef2.cocci [new file with mode: 0644] blob
tests/ifdef2.res [new file with mode: 0644] blob
tests/ifdef3.c [new file with mode: 0644] blob
tests/ifdef3.cocci [new file with mode: 0644] blob
tests/ifdef3.res [new file with mode: 0644] blob
tests/ifdef4.c [new file with mode: 0644] blob
tests/ifdef4.cocci [new file with mode: 0644] blob
tests/ifdef4.res [new file with mode: 0644] blob
tests/ifdef5.c [new file with mode: 0644] blob
tests/ifdef5.cocci [new file with mode: 0644] blob
tests/ifdef5.res [new file with mode: 0644] blob
tests/ifdef6.c [new file with mode: 0644] blob
tests/ifdef6.cocci [new file with mode: 0644] blob
tests/ifdef6.res [new file with mode: 0644] blob
tests/ifend.c [new file with mode: 0644] blob
tests/ifend.cocci [new file with mode: 0644] blob
tests/ifend.res [new file with mode: 0644] blob
tests/ifzer.c [new file with mode: 0644] blob
tests/ifzer.cocci [new file with mode: 0644] blob
tests/ifzer.res [new file with mode: 0644] blob
tests/inc.c [new file with mode: 0644] blob
tests/inc.cocci [new file with mode: 0644] blob
tests/inc.res [new file with mode: 0644] blob
tests/incdir.c [new file with mode: 0644] blob
tests/incdir.cocci [new file with mode: 0644] blob
tests/incdir.res [new file with mode: 0644] blob
tests/incdir2.c [new file with mode: 0644] blob
tests/incl.c [new file with mode: 0644] blob
tests/incl.cocci [new file with mode: 0644] blob
tests/incl.res [new file with mode: 0644] blob
tests/inclifdef.c [new file with mode: 0644] blob
tests/inclifdef.cocci [new file with mode: 0644] blob
tests/inclifdef.res [new file with mode: 0644] blob
tests/include.c [new file with mode: 0644] blob
tests/include.cocci [new file with mode: 0644] blob
tests/include.res [new file with mode: 0644] blob
tests/include/linux/serio.h [new file with mode: 0644] blob
tests/include/linux/serio.h.res [new file with mode: 0644] blob
tests/incompatible_value.c [new file with mode: 0644] blob
tests/incompatible_value.cocci [new file with mode: 0644] blob
tests/incompatible_value.res [new file with mode: 0644] blob
tests/inherited.c [new file with mode: 0644] blob
tests/inherited.cocci [new file with mode: 0644] blob
tests/inherited.res [new file with mode: 0644] blob
tests/inherited_ver1.c [new file with mode: 0644] blob
tests/inherited_ver1.res [new file with mode: 0644] blob
tests/inhpos.c [new file with mode: 0644] blob
tests/inhpos.cocci [new file with mode: 0644] blob
tests/inhpos.res [new file with mode: 0644] blob
tests/initializer.c [new file with mode: 0644] blob
tests/initializer.cocci [new file with mode: 0644] blob
tests/initializer.res [new file with mode: 0644] blob
tests/initializer_iso.c [new file with mode: 0644] blob
tests/initializer_iso.cocci [new file with mode: 0644] blob
tests/initializer_many_fields.c [new file with mode: 0644] blob
tests/initializer_many_fields.cocci [new file with mode: 0644] blob
tests/initializer_many_fields.res [new file with mode: 0644] blob
tests/inline.c [new file with mode: 0644] blob
tests/inline.cocci [new file with mode: 0644] blob
tests/inline.res [new file with mode: 0644] blob
tests/ioctl.cocci [new file with mode: 0644] blob
tests/isococci.c [new file with mode: 0644] blob
tests/isococci.cocci [new file with mode: 0644] blob
tests/isococci.res [new file with mode: 0644] blob
tests/isotest.c [new file with mode: 0644] blob
tests/isotest.cocci [new file with mode: 0644] blob
tests/isotest.res [new file with mode: 0644] blob
tests/isotest2.c [new file with mode: 0644] blob
tests/isotest2.cocci [new file with mode: 0644] blob
tests/isotest2.res [new file with mode: 0644] blob
tests/iterator.c [new file with mode: 0644] blob
tests/iterator.cocci [new file with mode: 0644] blob
tests/iterator.res [new file with mode: 0644] blob
tests/jloop1.c [new file with mode: 0644] blob
tests/jloop1.cocci [new file with mode: 0644] blob
tests/jloop1.res [new file with mode: 0644] blob
tests/join.c [new file with mode: 0644] blob
tests/join.cocci [new file with mode: 0644] blob
tests/julia10.c [new file with mode: 0644] blob
tests/julia10.cocci [new file with mode: 0644] blob
tests/julia10.res [new file with mode: 0644] blob
tests/julia7.c [new file with mode: 0644] blob
tests/julia7.cocci [new file with mode: 0644] blob
tests/julia7.res [new file with mode: 0644] blob
tests/keep_comma.c [new file with mode: 0644] blob
tests/keep_comma.cocci [new file with mode: 0644] blob
tests/keep_comma.res [new file with mode: 0644] blob
tests/km.c [new file with mode: 0644] blob
tests/km.cocci [new file with mode: 0644] blob
tests/km.res [new file with mode: 0644] blob
tests/kmalloc.c [new file with mode: 0644] blob
tests/kmalloc.cocci [new file with mode: 0644] blob
tests/kmalloc.res [new file with mode: 0644] blob
tests/kmc.c [new file with mode: 0644] blob
tests/kmc.cocci [new file with mode: 0644] blob
tests/kmc.res [new file with mode: 0644] blob
tests/ktype.c [new file with mode: 0644] blob
tests/ktype.cocci [new file with mode: 0644] blob
tests/ktype.res [new file with mode: 0644] blob
tests/labels_metastatement.c [new file with mode: 0644] blob
tests/labels_metastatement.cocci [new file with mode: 0644] blob
tests/labels_metastatement.res [new file with mode: 0644] blob
tests/labels_metastatement2.cocci [new file with mode: 0644] blob
tests/labels_metastatement3.cocci [new file with mode: 0644] blob
tests/labels_metastatement_ver1.c [new file with mode: 0644] blob
tests/labels_metastatement_ver1.res [new file with mode: 0644] blob
tests/local.c [new file with mode: 0644] blob
tests/local.cocci [new file with mode: 0644] blob
tests/local.res [new file with mode: 0644] blob
tests/localid.c [new file with mode: 0644] blob
tests/localid.cocci [new file with mode: 0644] blob
tests/localid.res [new file with mode: 0644] blob
tests/longint.c [new file with mode: 0644] blob
tests/longint.cocci [new file with mode: 0644] blob
tests/loop.c [new file with mode: 0644] blob
tests/loop.cocci [new file with mode: 0644] blob
tests/loop.res [new file with mode: 0644] blob
tests/lvalue.c [new file with mode: 0644] blob
tests/lvalue.cocci [new file with mode: 0644] blob
tests/lvalue.res [new file with mode: 0644] blob
tests/macro.c [new file with mode: 0644] blob
tests/macro.cocci [new file with mode: 0644] blob
tests/macro.res [new file with mode: 0644] blob
tests/match_const.c [new file with mode: 0644] blob
tests/match_const.cocci [new file with mode: 0644] blob
tests/match_const.res [new file with mode: 0644] blob
tests/match_no_meta.c [new file with mode: 0644] blob
tests/match_no_meta.cocci [new file with mode: 0644] blob
tests/match_no_meta.res [new file with mode: 0644] blob
tests/max.c [new file with mode: 0644] blob
tests/max.cocci [new file with mode: 0644] blob
tests/max.res [new file with mode: 0644] blob
tests/mem.cocci [new file with mode: 0644] blob
tests/memset.cocci [new file with mode: 0644] blob
tests/metahex.c [new file with mode: 0644] blob
tests/metahex.cocci [new file with mode: 0644] blob
tests/metahex.res [new file with mode: 0644] blob
tests/metaruleelem.c [new file with mode: 0644] blob
tests/metaruleelem.cocci [new file with mode: 0644] blob
tests/metaruleelem.res [new file with mode: 0644] blob
tests/metastatement.c [new file with mode: 0644] blob
tests/metastatement.cocci [new file with mode: 0644] blob
tests/metastatement2.c [new file with mode: 0644] blob
tests/metastatement2.cocci [new file with mode: 0644] blob
tests/metastatement2.res [new file with mode: 0644] blob
tests/metastatement_for.c [new file with mode: 0644] blob
tests/metastatement_for.cocci [new file with mode: 0644] blob
tests/metastatement_for.res [new file with mode: 0644] blob
tests/metastatement_if.c [new file with mode: 0644] blob
tests/metastatement_if.cocci [new file with mode: 0644] blob
tests/metastatement_if.res [new file with mode: 0644] blob
tests/mf.c [new file with mode: 0644] blob
tests/mf.cocci [new file with mode: 0644] blob
tests/minstruct.c [new file with mode: 0644] blob
tests/minstruct.cocci [new file with mode: 0644] blob
tests/minstruct.res [new file with mode: 0644] blob
tests/minusall.c [new file with mode: 0644] blob
tests/minusall.cocci [new file with mode: 0644] blob
tests/minusall.res [new file with mode: 0644] blob
tests/minusdots.c [new file with mode: 0644] blob
tests/minusdots.cocci [new file with mode: 0644] blob
tests/minusdots.res [new file with mode: 0644] blob
tests/minusdots_ver1.c [new file with mode: 0644] blob
tests/minusdots_ver1.res [new file with mode: 0644] blob
tests/mult.c [new file with mode: 0644] blob
tests/mult.cocci [new file with mode: 0644] blob
tests/multi_func.c [new file with mode: 0644] blob
tests/multi_func.cocci [new file with mode: 0644] blob
tests/multi_func1.c [new file with mode: 0644] blob
tests/multi_func1.cocci [new file with mode: 0644] blob
tests/multi_func1.res [new file with mode: 0644] blob
tests/multi_func1_ver2.c [new file with mode: 0644] blob
tests/multi_inc.c [new file with mode: 0644] blob
tests/multi_inc.cocci [new file with mode: 0644] blob
tests/multi_inc1.h [new file with mode: 0644] blob
tests/multi_inc2.h [new file with mode: 0644] blob
tests/multidecl.c [new file with mode: 0644] blob
tests/multidecl.cocci [new file with mode: 0644] blob
tests/multiplus.c [new file with mode: 0644] blob
tests/multiplus.cocci [new file with mode: 0644] blob
tests/multiplus.res [new file with mode: 0644] blob
tests/multitype.c [new file with mode: 0644] blob
tests/multitype.cocci [new file with mode: 0644] blob
tests/multitype.res [new file with mode: 0644] blob
tests/multitypedef.c [new file with mode: 0644] blob
tests/multitypedef.cocci [new file with mode: 0644] blob
tests/multitypedef.res [new file with mode: 0644] blob
tests/multivars.c [new file with mode: 0644] blob
tests/multivars.cocci [new file with mode: 0644] blob
tests/multivars.res [new file with mode: 0644] blob
tests/multr.c [new file with mode: 0644] blob
tests/multr.cocci [new file with mode: 0644] blob
tests/nest.c [new file with mode: 0644] blob
tests/nest.cocci [new file with mode: 0644] blob
tests/nest.res [new file with mode: 0644] blob
tests/nest2.c [new file with mode: 0644] blob
tests/nest2.cocci [new file with mode: 0644] blob
tests/nest3.c [new file with mode: 0644] blob
tests/nest3.cocci [new file with mode: 0644] blob
tests/nestone.c [new file with mode: 0644] blob
tests/nestone.cocci [new file with mode: 0644] blob
tests/nestone.res [new file with mode: 0644] blob
tests/nestplus.c [new file with mode: 0644] blob
tests/nestplus.cocci [new file with mode: 0644] blob
tests/nestseq.c [new file with mode: 0644] blob
tests/nestseq.cocci [new file with mode: 0644] blob
tests/nestseq.res [new file with mode: 0644] blob
tests/neststruct.c [new file with mode: 0644] blob
tests/neststruct.cocci [new file with mode: 0644] blob
tests/neststruct.res [new file with mode: 0644] blob
tests/nl.c [new file with mode: 0644] blob
tests/nl.cocci [new file with mode: 0644] blob
tests/nl.res [new file with mode: 0644] blob
tests/nocast.c [new file with mode: 0644] blob
tests/nocast.cocci [new file with mode: 0644] blob
tests/nocast.res [new file with mode: 0644] blob
tests/not.c [new file with mode: 0644] blob
tests/not.cocci [new file with mode: 0644] blob
tests/not.res [new file with mode: 0644] blob
tests/noty.c [new file with mode: 0644] blob
tests/noty.cocci [new file with mode: 0644] blob
tests/noty.res [new file with mode: 0644] blob
tests/nstruct.c [new file with mode: 0644] blob
tests/nstruct.cocci [new file with mode: 0644] blob
tests/null.c [new file with mode: 0644] blob
tests/null.cocci [new file with mode: 0644] blob
tests/null_type.c [new file with mode: 0644] blob
tests/null_type.cocci [new file with mode: 0644] blob
tests/null_type.res [new file with mode: 0644] blob
tests/null_ver11.c [new file with mode: 0644] blob
tests/of.c [new file with mode: 0644] blob
tests/of.cocci [new file with mode: 0644] blob
tests/of.res [new file with mode: 0644] blob
tests/oneline.c [new file with mode: 0644] blob
tests/oneline.cocci [new file with mode: 0644] blob
tests/oneline.res [new file with mode: 0644] blob
tests/opt.c [new file with mode: 0644] blob
tests/opt.cocci [new file with mode: 0644] blob
tests/opt.res [new file with mode: 0644] blob
tests/optional_qualifier.c [new file with mode: 0644] blob
tests/optional_qualifier.cocci [new file with mode: 0644] blob
tests/optional_qualifier.res [new file with mode: 0644] blob
tests/optional_storage.c [new file with mode: 0644] blob
tests/optional_storage.cocci [new file with mode: 0644] blob
tests/optional_storage.res [new file with mode: 0644] blob
tests/orexp.c [new file with mode: 0644] blob
tests/orexp.cocci [new file with mode: 0644] blob
tests/orexp.res [new file with mode: 0644] blob
tests/param.c [new file with mode: 0644] blob
tests/param.cocci [new file with mode: 0644] blob
tests/param.res [new file with mode: 0644] blob
tests/param1.c [new file with mode: 0644] blob
tests/param1.cocci [new file with mode: 0644] blob
tests/param1_ver1.c [new file with mode: 0644] blob
tests/param_end.c [new file with mode: 0644] blob
tests/param_end.cocci [new file with mode: 0644] blob
tests/param_end.res [new file with mode: 0644] blob
tests/param_ver1.c [new file with mode: 0644] blob
tests/param_ver1.res [new file with mode: 0644] blob
tests/parameters_dots.c [new file with mode: 0644] blob
tests/parameters_dots.cocci [new file with mode: 0644] blob
tests/parameters_dots.res [new file with mode: 0644] blob
tests/paren1.c [new file with mode: 0644] blob
tests/paren1.cocci [new file with mode: 0644] blob
tests/partial.c [new file with mode: 0644] blob
tests/partial.cocci [new file with mode: 0644] blob
tests/partial.res [new file with mode: 0644] blob
tests/pb_cfg.c [new file with mode: 0644] blob
tests/pb_cfg.cocci [new file with mode: 0644] blob
tests/pb_distribute_type.c [new file with mode: 0644] blob
tests/pb_distribute_type.cocci [new file with mode: 0644] blob
tests/pb_distribute_type.res [new file with mode: 0644] blob
tests/pb_distribute_type2.c [new file with mode: 0644] blob
tests/pb_distribute_type2.cocci [new file with mode: 0644] blob
tests/pb_distribute_type2.res [new file with mode: 0644] blob
tests/pb_distribute_type3.c [new file with mode: 0644] blob
tests/pb_distribute_type3.cocci [new file with mode: 0644] blob
tests/pb_distribute_type3.res [new file with mode: 0644] blob
tests/pb_distribute_type4.c [new file with mode: 0644] blob
tests/pb_distribute_type4.cocci [new file with mode: 0644] blob
tests/pb_distribute_type4.res [new file with mode: 0644] blob
tests/pb_params_iso.c [new file with mode: 0644] blob
tests/pb_params_iso.cocci [new file with mode: 0644] blob
tests/pb_params_iso.res [new file with mode: 0644] blob
tests/pb_tag_symbols.c [new file with mode: 0644] blob
tests/pb_tag_symbols.cocci [new file with mode: 0644] blob
tests/pb_tag_symbols.res [new file with mode: 0644] blob
tests/pci_noputm.cocci [new file with mode: 0644] blob
tests/pmac.c [new file with mode: 0644] blob
tests/pmac.cocci [new file with mode: 0644] blob
tests/pmac.res [new file with mode: 0644] blob
tests/posiso.c [new file with mode: 0644] blob
tests/posiso.cocci [new file with mode: 0644] blob
tests/posiso.res [new file with mode: 0644] blob
tests/positionc.c [new file with mode: 0644] blob
tests/positionc.cocci [new file with mode: 0644] blob
tests/positionc.res [new file with mode: 0644] blob
tests/positions3.c [new file with mode: 0644] blob
tests/positions3.cocci [new file with mode: 0644] blob
tests/posmult.c [new file with mode: 0644] blob
tests/posmult.cocci [new file with mode: 0644] blob
tests/posnpb.c [new file with mode: 0644] blob
tests/posnpb.cocci [new file with mode: 0644] blob
tests/post.c [new file with mode: 0644] blob
tests/post.cocci [new file with mode: 0644] blob
tests/post.res [new file with mode: 0644] blob
tests/ppos.c [new file with mode: 0644] blob
tests/ppos.cocci [new file with mode: 0644] blob
tests/print_return.c [new file with mode: 0644] blob
tests/print_return.cocci [new file with mode: 0644] blob
tests/print_return.res [new file with mode: 0644] blob
tests/proto.c [new file with mode: 0644] blob
tests/proto.cocci [new file with mode: 0644] blob
tests/proto.res [new file with mode: 0644] blob
tests/proto2.c [new file with mode: 0644] blob
tests/proto2.cocci [new file with mode: 0644] blob
tests/proto2.res [new file with mode: 0644] blob
tests/proto_ver1.c [new file with mode: 0644] blob
tests/proto_ver1.res [new file with mode: 0644] blob
tests/proto_ver2.c [new file with mode: 0644] blob
tests/proto_ver2.res [new file with mode: 0644] blob
tests/protoassert.c [new file with mode: 0644] blob
tests/protoassert.cocci [new file with mode: 0644] blob
tests/protoassert.res [new file with mode: 0644] blob
tests/protox.c [new file with mode: 0644] blob
tests/protox.cocci [new file with mode: 0644] blob
tests/protox.res [new file with mode: 0644] blob
tests/pt_regs_summary [new file with mode: 0644] blob
tests/rcu2.cocci [new file with mode: 0644] blob
tests/rcu3.c [new file with mode: 0644] blob
tests/rcu3.cocci [new file with mode: 0644] blob
tests/rcu3.res [new file with mode: 0644] blob
tests/rcu3_ver1.c [new file with mode: 0644] blob
tests/remstruct.c [new file with mode: 0644] blob
tests/remstruct.cocci [new file with mode: 0644] blob
tests/remstruct.res [new file with mode: 0644] blob
tests/replace_typedef.c [new file with mode: 0644] blob
tests/replace_typedef.cocci [new file with mode: 0644] blob
tests/replace_typedef.res [new file with mode: 0644] blob
tests/request_irq.cocci [new file with mode: 0644] blob
tests/request_irq_sgrep.cocci [new file with mode: 0644] blob
tests/reserved.c [new file with mode: 0644] blob
tests/reserved.cocci [new file with mode: 0644] blob
tests/reserved.res [new file with mode: 0644] blob
tests/ret.c [new file with mode: 0644] blob
tests/ret.cocci [new file with mode: 0644] blob
tests/ret2.c [new file with mode: 0644] blob
tests/ret2.cocci [new file with mode: 0644] blob
tests/retmacro.c [new file with mode: 0644] blob
tests/retmacro.cocci [new file with mode: 0644] blob
tests/retmacro.res [new file with mode: 0644] blob
tests/rets.c [new file with mode: 0644] blob
tests/rets.cocci [new file with mode: 0644] blob
tests/rets.res [new file with mode: 0644] blob
tests/return.c [new file with mode: 0644] blob
tests/return.cocci [new file with mode: 0644] blob
tests/return.res [new file with mode: 0644] blob
tests/return_implicit.c [new file with mode: 0644] blob
tests/return_implicit.cocci [new file with mode: 0644] blob
tests/return_implicit.res [new file with mode: 0644] blob
tests/rule19a.c [new file with mode: 0644] blob
tests/rule19a.cocci [new file with mode: 0644] blob
tests/rule3.cocci [new file with mode: 0644] blob
tests/same_expr.c [new file with mode: 0644] blob
tests/same_expr.cocci [new file with mode: 0644] blob
tests/same_expr.res [new file with mode: 0644] blob
tests/scope_problem.c [new file with mode: 0644] blob
tests/scope_problem.cocci [new file with mode: 0644] blob
tests/scope_problem.res [new file with mode: 0644] blob
tests/scripting/array/script4.c [new file with mode: 0644] blob
tests/scripting/array/script4.cocci [new file with mode: 0644] blob
tests/scripting/script1.c [new file with mode: 0644] blob
tests/scripting/script1.cocci [new file with mode: 0644] blob
tests/scripting/script2.c [new file with mode: 0644] blob
tests/scripting/script2.cocci [new file with mode: 0644] blob
tests/scripting/script3.c [new file with mode: 0644] blob
tests/scripting/script3.cocci [new file with mode: 0644] blob
tests/scripting/script4.c [new file with mode: 0644] blob
tests/scripting/script4.cocci [new file with mode: 0644] blob
tests/scripting/script5.c [new file with mode: 0644] blob
tests/scripting/script5.cocci [new file with mode: 0644] blob
tests/scripting/script6.c [new file with mode: 0644] blob
tests/scripting/script6.cocci [new file with mode: 0644] blob
tests/scripting/script7.c [new file with mode: 0644] blob
tests/scripting/script7.cocci [new file with mode: 0644] blob
tests/scripting/script8.c [new file with mode: 0644] blob
tests/scripting/script8.cocci [new file with mode: 0644] blob
tests/send_pci1 [new file with mode: 0644] blob
tests/send_pci2 [new file with mode: 0644] blob
tests/serio.c [new file with mode: 0644] blob
tests/serio.cocci [new file with mode: 0644] blob
tests/serio.res [new file with mode: 0644] blob
tests/sgrep.c [new file with mode: 0644] blob
tests/sgrep.cocci [new file with mode: 0644] blob
tests/shadow.c [new file with mode: 0644] blob
tests/shared_brace.c [new file with mode: 0644] blob
tests/shared_brace.cocci [new file with mode: 0644] blob
tests/shared_brace.res [new file with mode: 0644] blob
tests/signed.c [new file with mode: 0644] blob
tests/signed.cocci [new file with mode: 0644] blob
tests/signed.res [new file with mode: 0644] blob
tests/sis.c [new file with mode: 0644] blob
tests/sis.cocci [new file with mode: 0644] blob
tests/sis.res [new file with mode: 0644] blob
tests/size_t.cocci [new file with mode: 0644] blob
tests/sizeof.c [new file with mode: 0644] blob
tests/sizeof.cocci [new file with mode: 0644] blob
tests/sizeof.res [new file with mode: 0644] blob
tests/sizeof_julia.c [new file with mode: 0644] blob
tests/sizeof_julia.cocci [new file with mode: 0644] blob
tests/sizeof_julia.res [new file with mode: 0644] blob
tests/skip.c [new file with mode: 0644] blob
tests/skip.cocci [new file with mode: 0644] blob
tests/skip.res [new file with mode: 0644] blob
tests/soc.c [new file with mode: 0644] blob
tests/sp.c [new file with mode: 0644] blob
tests/sp.cocci [new file with mode: 0644] blob
tests/sp.res [new file with mode: 0644] blob
tests/spaces.c [new file with mode: 0644] blob
tests/spaces.cocci [new file with mode: 0644] blob
tests/spaces.res [new file with mode: 0644] blob
tests/spl.c [new file with mode: 0644] blob
tests/spl.cocci [new file with mode: 0644] blob
tests/spl.res [new file with mode: 0644] blob
tests/stat.c [new file with mode: 0644] blob
tests/stat.cocci [new file with mode: 0644] blob
tests/stat.res [new file with mode: 0644] blob
tests/static.c [new file with mode: 0644] blob
tests/static.cocci [new file with mode: 0644] blob
tests/static.res [new file with mode: 0644] blob
tests/stm1.c [new file with mode: 0644] blob
tests/stm1.cocci [new file with mode: 0644] blob
tests/stm1.res [new file with mode: 0644] blob
tests/stm10.c [new file with mode: 0644] blob
tests/stm10.cocci [new file with mode: 0644] blob
tests/stm10.res [new file with mode: 0644] blob
tests/stm10_ver1.c [new file with mode: 0644] blob
tests/stm10_ver1.res [new file with mode: 0644] blob
tests/stm2.c [new file with mode: 0644] blob
tests/stm2.cocci [new file with mode: 0644] blob
tests/stm2.res [new file with mode: 0644] blob
tests/stm3.c [new file with mode: 0644] blob
tests/stm3.cocci [new file with mode: 0644] blob
tests/stm3.res [new file with mode: 0644] blob
tests/stm4.c [new file with mode: 0644] blob
tests/stm4.cocci [new file with mode: 0644] blob
tests/stm4.res [new file with mode: 0644] blob
tests/stm5.c [new file with mode: 0644] blob
tests/stm5.cocci [new file with mode: 0644] blob
tests/stm5.res [new file with mode: 0644] blob
tests/stm6.c [new file with mode: 0644] blob
tests/stm6.cocci [new file with mode: 0644] blob
tests/stm6.res [new file with mode: 0644] blob
tests/stm7.c [new file with mode: 0644] blob
tests/stm7.cocci [new file with mode: 0644] blob
tests/stm7.res [new file with mode: 0644] blob
tests/stm8.c [new file with mode: 0644] blob
tests/stm8.cocci [new file with mode: 0644] blob
tests/stm8.res [new file with mode: 0644] blob
tests/stmt.c [new file with mode: 0644] blob
tests/stmt.cocci [new file with mode: 0644] blob
tests/stmt.res [new file with mode: 0644] blob
tests/strangeorder.c [new file with mode: 0644] blob
tests/strangeorder.cocci [new file with mode: 0644] blob
tests/strangeorder.res [new file with mode: 0644] blob
tests/string.c [new file with mode: 0644] blob
tests/string.cocci [new file with mode: 0644] blob
tests/string.res [new file with mode: 0644] blob
tests/struct.c [new file with mode: 0644] blob
tests/struct.cocci [new file with mode: 0644] blob
tests/struct.res [new file with mode: 0644] blob
tests/struct_metavar.c [new file with mode: 0644] blob
tests/struct_metavar.cocci [new file with mode: 0644] blob
tests/struct_metavar.res [new file with mode: 0644] blob
tests/struct_typedef.c [new file with mode: 0644] blob
tests/struct_typedef.cocci [new file with mode: 0644] blob
tests/struct_typedef.res [new file with mode: 0644] blob
tests/sw.c [new file with mode: 0644] blob
tests/sw.cocci [new file with mode: 0644] blob
tests/sw.res [new file with mode: 0644] blob
tests/switch.c [new file with mode: 0644] blob
tests/switch.cocci [new file with mode: 0644] blob
tests/switch.res [new file with mode: 0644] blob
tests/switch_case.c [new file with mode: 0644] blob
tests/switch_case.cocci [new file with mode: 0644] blob
tests/switch_label.c [new file with mode: 0644] blob
tests/tadb.c [new file with mode: 0644] blob
tests/td.c [new file with mode: 0644] blob
tests/td.cocci [new file with mode: 0644] blob
tests/td.res [new file with mode: 0644] blob
tests/test0.c [new file with mode: 0644] blob
tests/test0.cocci [new file with mode: 0644] blob
tests/test0.res [new file with mode: 0644] blob
tests/test1.c [new file with mode: 0644] blob
tests/test1.cocci [new file with mode: 0644] blob
tests/test1.res [new file with mode: 0644] blob
tests/test10.c [new file with mode: 0644] blob
tests/test10.cocci [new file with mode: 0644] blob
tests/test10.res [new file with mode: 0644] blob
tests/test10_ver1.c [new file with mode: 0644] blob
tests/test10_ver1.res [new file with mode: 0644] blob
tests/test11.c [new file with mode: 0644] blob
tests/test11.cocci [new file with mode: 0644] blob
tests/test11.res [new file with mode: 0644] blob
tests/test11_ver1.c [new file with mode: 0644] blob
tests/test11_ver1.res [new file with mode: 0644] blob
tests/test12.c [new file with mode: 0644] blob
tests/test12.cocci [new file with mode: 0644] blob
tests/test12.res [new file with mode: 0644] blob
tests/test1_ver1.c [new file with mode: 0644] blob
tests/test1_ver2.c [new file with mode: 0644] blob
tests/test2.c [new file with mode: 0644] blob
tests/test2.cocci [new file with mode: 0644] blob
tests/test2.res [new file with mode: 0644] blob
tests/test3.c [new file with mode: 0644] blob
tests/test3.cocci [new file with mode: 0644] blob
tests/test3.res [new file with mode: 0644] blob
tests/test4.c [new file with mode: 0644] blob
tests/test4.cocci [new file with mode: 0644] blob
tests/test4.res [new file with mode: 0644] blob
tests/test5.c [new file with mode: 0644] blob
tests/test5.cocci [new file with mode: 0644] blob
tests/test5.res [new file with mode: 0644] blob
tests/test5_ver1.c [new file with mode: 0644] blob
tests/test5_ver1.res [new file with mode: 0644] blob
tests/test6.c [new file with mode: 0644] blob
tests/test6.cocci [new file with mode: 0644] blob
tests/test6.res [new file with mode: 0644] blob
tests/test6_ver1.c [new file with mode: 0644] blob
tests/test7.c [new file with mode: 0644] blob
tests/test7.cocci [new file with mode: 0644] blob
tests/test7.res [new file with mode: 0644] blob
tests/test8.c [new file with mode: 0644] blob
tests/test8.cocci [new file with mode: 0644] blob
tests/test8.res [new file with mode: 0644] blob
tests/test9.c [new file with mode: 0644] blob
tests/test9.cocci [new file with mode: 0644] blob
tests/test9.res [new file with mode: 0644] blob
tests/test9_ver1.c [new file with mode: 0644] blob
tests/three.c [new file with mode: 0644] blob
tests/three.cocci [new file with mode: 0644] blob
tests/three_types.c [new file with mode: 0644] blob
tests/three_types.cocci [new file with mode: 0644] blob
tests/three_types.res [new file with mode: 0644] blob
tests/threea.c [new file with mode: 0644] blob
tests/threea.cocci [new file with mode: 0644] blob
tests/threea.res [new file with mode: 0644] blob
tests/top.c [new file with mode: 0644] blob
tests/top.cocci [new file with mode: 0644] blob
tests/top.res [new file with mode: 0644] blob
tests/topdec.c [new file with mode: 0644] blob
tests/topdec.cocci [new file with mode: 0644] blob
tests/topdec.res [new file with mode: 0644] blob
tests/topdec_ver1.c [new file with mode: 0644] blob
tests/topdec_ver1.res [new file with mode: 0644] blob
tests/topdec_ver2.c [new file with mode: 0644] blob
tests/topdec_ver2.res [new file with mode: 0644] blob
tests/toplevel_macrostmt.c [new file with mode: 0644] blob
tests/toplevel_macrostmt.cocci [new file with mode: 0644] blob
tests/toplevel_macrostmt.res [new file with mode: 0644] blob
tests/toplevel_struct.c [new file with mode: 0644] blob
tests/toplevel_struct.cocci [new file with mode: 0644] blob
tests/toplevel_struct.res [new file with mode: 0644] blob
tests/toplevel_struct_modif.c [new file with mode: 0644] blob
tests/toplevel_struct_modif.cocci [new file with mode: 0644] blob
tests/tup.c [new file with mode: 0644] blob
tests/tup.cocci [new file with mode: 0644] blob
tests/tup.res [new file with mode: 0644] blob
tests/twoproto.c [new file with mode: 0644] blob
tests/twoproto.cocci [new file with mode: 0644] blob
tests/twoproto.res [new file with mode: 0644] blob
tests/ty.c [new file with mode: 0644] blob
tests/ty.cocci [new file with mode: 0644] blob
tests/ty.res [new file with mode: 0644] blob
tests/ty1.c [new file with mode: 0644] blob
tests/ty1.cocci [new file with mode: 0644] blob
tests/ty1.res [new file with mode: 0644] blob
tests/ty_tyexp.c [new file with mode: 0644] blob
tests/ty_tyexp.cocci [new file with mode: 0644] blob
tests/ty_tyexp.res [new file with mode: 0644] blob
tests/type.c [new file with mode: 0644] blob
tests/type.cocci [new file with mode: 0644] blob
tests/type.res [new file with mode: 0644] blob
tests/type1.c [new file with mode: 0644] blob
tests/type1.cocci [new file with mode: 0644] blob
tests/type1.res [new file with mode: 0644] blob
tests/type_annotated.c [new file with mode: 0644] blob
tests/type_annotated.cocci [new file with mode: 0644] blob
tests/type_annotated.res [new file with mode: 0644] blob
tests/type_annotated_fields.c [new file with mode: 0644] blob
tests/type_annotated_fields.cocci [new file with mode: 0644] blob
tests/type_infer.c [new file with mode: 0644] blob
tests/type_infer.cocci [new file with mode: 0644] blob
tests/type_iso.c [new file with mode: 0644] blob
tests/type_iso.cocci [new file with mode: 0644] blob
tests/type_ver1.c [new file with mode: 0644] blob
tests/type_ver1.res [new file with mode: 0644] blob
tests/type_ver2.c [new file with mode: 0644] blob
tests/type_ver2.res [new file with mode: 0644] blob
tests/typedef.c [new file with mode: 0644] blob
tests/typedef.cocci [new file with mode: 0644] blob
tests/typedef.res [new file with mode: 0644] blob
tests/typedef3.c [new file with mode: 0644] blob
tests/typedef3.cocci [new file with mode: 0644] blob
tests/typedef3.res [new file with mode: 0644] blob
tests/typedef_double.c [new file with mode: 0644] blob
tests/typedef_double.cocci [new file with mode: 0644] blob
tests/typedef_double.res [new file with mode: 0644] blob
tests/typeof.c [new file with mode: 0644] blob
tests/typeof.cocci [new file with mode: 0644] blob
tests/typeof.res [new file with mode: 0644] blob
tests/typeur.c [new file with mode: 0644] blob
tests/typeur.h [new file with mode: 0644] blob
tests/used_after.c [new file with mode: 0644] blob
tests/used_after.cocci [new file with mode: 0644] blob
tests/used_after_ver1.c [new file with mode: 0644] blob
tests/useless_cast.c [new file with mode: 0644] blob
tests/useless_cast.cocci [new file with mode: 0644] blob
tests/useless_cast.res [new file with mode: 0644] blob
tests/varargs.c [new file with mode: 0644] blob
tests/varargs.cocci [new file with mode: 0644] blob
tests/varargs.res [new file with mode: 0644] blob
tests/video.c [new file with mode: 0644] blob
tests/video.cocci [new file with mode: 0644] blob
tests/video1.c [new file with mode: 0644] blob
tests/video1.cocci [new file with mode: 0644] blob
tests/video1_ver1.c [new file with mode: 0644] blob
tests/video1bis.c [new file with mode: 0644] blob
tests/video1bis.cocci [new file with mode: 0644] blob
tests/video1bis.res [new file with mode: 0644] blob
tests/video2.c [new file with mode: 0644] blob
tests/video2.cocci [new file with mode: 0644] blob
tests/video3.c [new file with mode: 0644] blob
tests/video3.cocci [new file with mode: 0644] blob
tests/video4.c [new file with mode: 0644] blob
tests/video4.cocci [new file with mode: 0644] blob
tests/video_ver1.c [new file with mode: 0644] blob
tests/video_ver2.c [new file with mode: 0644] blob
tests/video_ver3.c [new file with mode: 0644] blob
tests/void.c [new file with mode: 0644] blob
tests/void.cocci [new file with mode: 0644] blob
tests/void.res [new file with mode: 0644] blob
tests/voyager.c [new file with mode: 0644] blob
tests/voyager.cocci [new file with mode: 0644] blob
tests/vpos.c [new file with mode: 0644] blob
tests/vpos.cocci [new file with mode: 0644] blob
tests/vpos.res [new file with mode: 0644] blob
tests/whitespace.c [new file with mode: 0644] blob
tests/whitespace.cocci [new file with mode: 0644] blob
tests/whitespace.res [new file with mode: 0644] blob
tests/wierd_argument.c [new file with mode: 0644] blob
tests/wierd_argument.cocci [new file with mode: 0644] blob
tests/wierd_argument.res [new file with mode: 0644] blob
tests/wierdinit.c [new file with mode: 0644] blob
tests/wierdinit.cocci [new file with mode: 0644] blob
tests/wierdinit.res [new file with mode: 0644] blob
tests/ws2.c [new file with mode: 0644] blob
tests/ws2.cocci [new file with mode: 0644] blob
tests/ws2.res [new file with mode: 0644] blob
tests/x.c [new file with mode: 0644] blob
tests/x.cocci [new file with mode: 0644] blob
tests/xloop.c [new file with mode: 0644] blob
tests/xloop.cocci [new file with mode: 0644] blob
tests/y.c [new file with mode: 0644] blob
tests/y.cocci [new file with mode: 0644] blob
tests/y2.c [new file with mode: 0644] blob
tests/y2.cocci [new file with mode: 0644] blob
tests/y2.res [new file with mode: 0644] blob
tests/yellow.c [new file with mode: 0644] blob
tests/yloop.c [new file with mode: 0644] blob
tests/yloop.cocci [new file with mode: 0644] blob
tests/zero.c [new file with mode: 0644] blob
tests/zero.cocci [new file with mode: 0644] blob
tests/zero.res [new file with mode: 0644] blob
tools/Makefile [new file with mode: 0644] blob
tools/alloc_free.ml [new file with mode: 0644] blob
tools/bridge.ml [new file with mode: 0644] blob
tools/dir_stats.ml [new file with mode: 0644] blob
tools/distributed/Makefile [new file with mode: 0644] blob
tools/distributed/README [new file with mode: 0644] blob
tools/distributed/cleanup.ml [new file with mode: 0644] blob
tools/distributed/cleanup_script [new file with mode: 0644] blob
tools/distributed/spatch_linux.c [new file with mode: 0644] blob
tools/distributed/spatch_linux_script [new file with mode: 0755] blob
tools/extract_c_and_res.ml [new file with mode: 0644] blob
tools/generate_dependencies.ml [new file with mode: 0644] blob
tools/gitgrep.ml [new file with mode: 0644] blob
tools/gitsort.ml [new file with mode: 0644] blob
tools/licensify.ml [new file with mode: 0644] blob
tools/process_isoprofile.ml [new file with mode: 0644] blob
tools/split_patch.ml [new file with mode: 0644] blob
Unnamed repository; edit this file 'description' to name the repository.