├── .gitignore ├── .hgignore ├── Makefile ├── README ├── TODO ├── config.mk ├── frontend ├── Makefile ├── c++ │ ├── bin │ │ ├── c++ │ │ └── crunchc++ │ ├── include │ │ └── checked_cast.hpp │ └── test │ │ ├── Makefile │ │ └── hello │ │ └── hello.cc ├── c │ ├── Makefile │ ├── alloclocals │ │ └── alloclocals.ml │ ├── base-type-equivs.txt │ ├── bin │ │ ├── Fbcc │ │ ├── Mbcc │ │ ├── Pbcc │ │ ├── Sbcc │ │ ├── Tbcc │ │ ├── bcc │ │ ├── cc │ │ ├── crunchAcc │ │ ├── crunchFbcc │ │ ├── crunchMbcc │ │ ├── crunchPbcc │ │ ├── crunchSbcc │ │ ├── crunchTbcc │ │ ├── crunchbcc │ │ ├── crunchbwscc │ │ ├── crunchcc │ │ ├── crunchfbcc │ │ ├── crunchmbcc │ │ ├── crunchpbcc │ │ ├── crunchsbcc │ │ ├── crunchtbcc │ │ ├── crunchxcc │ │ ├── fbcc │ │ ├── mbcc │ │ ├── pbcc │ │ ├── sbcc │ │ ├── tbcc │ │ └── xcc │ ├── crunchbound │ │ └── crunchbound.ml │ ├── dumpreftypes │ │ └── dumpreftypes.ml │ ├── lib │ │ ├── bounds-abi │ │ ├── bounds-config-F │ │ ├── bounds-config-M │ │ ├── bounds-config-P │ │ ├── bounds-config-S │ │ ├── bounds-config-T │ │ ├── bounds-config-f │ │ ├── bounds-config-m │ │ ├── bounds-config-p │ │ ├── bounds-config-s │ │ ├── bounds-config-t │ │ ├── bounds-warnings │ │ ├── crunchcc.py │ │ └── find-interesting-casts.sh │ ├── ptrintarith │ │ └── ptrintarith.ml │ ├── shadow │ │ └── shadow.ml │ ├── shadowprov │ │ ├── Makefile │ │ ├── gold-plugin.cpp │ │ ├── qsort.c │ │ ├── shadowprov-cflags │ │ ├── shadowprov-ldflags │ │ ├── shadowprov.ml │ │ ├── shadowprov_helpers.h │ │ ├── shadowprov_libc_wrappers.c │ │ ├── shadowprov_rtdecls.h │ │ ├── test-addrof.c │ │ ├── test-fail-materialise.c │ │ ├── test-hello.c │ │ ├── test-malloc.c │ │ ├── test-retptr.c │ │ ├── test-vprintf.c │ │ └── tools.shadowprov │ ├── src │ │ └── Makefile │ ├── trumptr │ │ └── trumptr.ml │ ├── vsimpleaddr │ │ └── vsimpleaddr.ml │ └── vsimplemem │ │ └── vsimplemem.ml ├── cilpp │ ├── Makefile │ ├── bin │ │ ├── cc │ │ ├── cc1 │ │ ├── cilpp │ │ ├── cilpp-cflags │ │ ├── cilpp-cppflags │ │ ├── cilpp-ldflags │ │ └── wrapper │ └── src │ │ ├── Makefile │ │ ├── cilpp.ml │ │ └── mkstemp_stubs.c └── fortran │ └── bin │ └── crunchfc ├── include ├── libcrunch.h ├── libcrunch_cil_inlines.h └── stubgen_softbound.h ├── kernel ├── Makefile └── dev-ones │ ├── Makefile │ └── linux │ ├── Makefile │ └── dev_ones.c ├── lib ├── Makefile └── debug-funcs.sh ├── src ├── Makefile ├── libcrunch.c ├── libcrunch_private.h ├── shadow.c ├── softbound-libc-wrappers.c └── stubs.c └── test ├── Future ├── fail-bounds-type-backin │ ├── fail-bounds-type-backin.c │ └── mk.inc └── noquery-bounds-polymorphic │ ├── mk.inc │ └── noquery-bounds-polymorphic.c ├── Makefile ├── abort-softbound-segv ├── abort-softbound-segv.c ├── frontend.mk └── mk.inc ├── bounds-actuals ├── bounds-actuals.c ├── frontend.mk └── mk.inc ├── bounds-addrtaken-arg ├── bounds-addrtaken-arg.c ├── frontend.mk └── mk.inc ├── bounds-addrtaken ├── bounds-addrtaken.c ├── frontend.mk └── mk.inc ├── bounds-arrarr ├── bounds-arrarr.c ├── frontend.mk └── mk.inc ├── bounds-diff ├── bounds-diff.c ├── frontend.mk └── mk.inc ├── bounds-extern ├── Makefile ├── bounds-extern.c ├── frontend.mk ├── lib.c └── mk.inc ├── bounds-indexzero ├── bounds-indexzero.c ├── frontend.mk └── mk.inc ├── bounds-multi-alloc ├── bounds-multi-alloc.c ├── frontend.mk └── mk.inc ├── bounds-nonlocal ├── bounds-nonlocal.c ├── frontend.mk └── mk.inc ├── bounds-pure-helper ├── bounds-pure-helper.c ├── frontend.mk └── mk.inc ├── bounds-simple ├── bounds-simple.c ├── frontend.mk └── mk.inc ├── bounds-static-init-ptr ├── bounds-static-init-ptr.c ├── frontend.mk └── mk.inc ├── bounds-struct-return ├── bounds-struct-return.c ├── frontend.mk └── mk.inc ├── bounds-struct ├── bounds-struct.c ├── frontend.mk └── mk.inc ├── bounds-trap ├── bounds-trap.c ├── frontend.mk └── mk.inc ├── bounds-type ├── bounds-type.c ├── frontend.mk └── mk.inc ├── bounds-va_arg ├── bounds-va_arg.c ├── frontend.mk └── mk.inc ├── checks.sh ├── clang-frontend └── frontend.mk ├── fail-bounds-oneprev ├── fail-bounds-oneprev.c ├── frontend.mk └── mk.inc ├── fail-bounds-segv ├── fail-bounds-segv.c └── frontend.mk ├── fail-bounds-type-simple ├── fail-bounds-type-simple.c ├── frontend.mk └── mk.inc ├── fail-bounds-type-trapped ├── fail-bounds-type-trapped.c ├── frontend.mk └── mk.inc ├── fail-funptr └── fail-funptr.c ├── fail-sloppy-gpcot ├── fail-sloppy-gpcot.c └── mk.inc ├── fail-va_arg └── fail-va_arg.c ├── fail-voidptrptr-invalid └── fail-voidptrptr-invalid.c ├── fail-voidptrptr-strict ├── fail-voidptrptr-strict.c └── mk.inc ├── function-refines └── function-refines.c ├── hello-array └── hello-array.c ├── hello-c++-static-cast ├── frontend.mk └── hello-c++-static-cast.cc ├── hello-c++ ├── frontend.mk └── hello-c++.cc ├── hello-errno └── hello-errno.c ├── hello-funptr ├── hello-funptr.c └── mk.inc ├── hello-heap └── hello-heap.c ├── hello-incomplete ├── Makefile ├── hello-incomplete.c ├── lib.c └── mk.inc ├── hello-indirect └── hello-indirect.c ├── hello-qualified-char └── hello-qualified-char.c ├── hello-sizeofness └── hello-sizeofness.c ├── hello-stack └── hello-stack.c ├── hello-stackactual └── hello-stackactual.c ├── hello-static └── hello-static.c ├── hello-stubgen ├── hello-stubgen.c └── mk.inc ├── hello-union └── hello-union.c ├── hello-void └── hello-void.c ├── hello └── hello.c ├── lazy-typing ├── lazy-typing.c └── mk.inc ├── like-a ├── like-a.c └── mk.inc ├── noquery-bounds-adjuststore ├── frontend.mk ├── mk.inc └── noquery-bounds-adjuststore.c ├── noquery-bounds-itersimple ├── frontend.mk ├── mk.inc └── noquery-bounds-itersimple.c ├── noquery-bounds-loadstore ├── frontend.mk ├── mk.inc └── noquery-bounds-loadstore.c ├── noquery-bounds-multidim ├── frontend.mk ├── mk.inc └── noquery-bounds-multidim.c ├── noquery-bounds-nofetch ├── frontend.mk ├── mk.inc └── noquery-bounds-nofetch.c ├── noquery-bounds-static-init-ptr ├── frontend.mk ├── mk.inc └── noquery-bounds-static-init-ptr.c ├── noquery-bounds-viacache ├── frontend.mk ├── mk.inc └── noquery-bounds-viacache.c ├── pointer-degree ├── mk.inc └── pointer-degree.c ├── sloppy-gpcot ├── mk.inc └── sloppy-gpcot.c ├── softbound-actuals ├── frontend.mk ├── mk.inc └── softbound-actuals.c ├── softbound-heap ├── frontend.mk ├── mk.inc └── softbound-heap.c ├── softbound-multi-alloc ├── frontend.mk ├── mk.inc └── softbound-multi-alloc.c ├── softbound-nonlocal ├── frontend.mk ├── mk.inc └── softbound-nonlocal.c ├── softbound-simple ├── frontend.mk ├── mk.inc └── softbound-simple.c ├── softbound-static-init-ptr ├── frontend.mk ├── mk.inc └── softbound-static-init-ptr.c ├── specialize-types └── specialize-types.c ├── trap-bounds-oneprev ├── frontend.mk ├── mk.inc └── trap-bounds-oneprev.c ├── trap-bounds-toint ├── frontend.mk ├── mk.inc └── trap-bounds-toint.c ├── va_arg └── va_arg.c └── voidptrptr └── voidptrptr.c /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/.gitignore -------------------------------------------------------------------------------- /.hgignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/.hgignore -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/Makefile -------------------------------------------------------------------------------- /README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/README -------------------------------------------------------------------------------- /TODO: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/TODO -------------------------------------------------------------------------------- /config.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/config.mk -------------------------------------------------------------------------------- /frontend/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/Makefile -------------------------------------------------------------------------------- /frontend/c++/bin/c++: -------------------------------------------------------------------------------- 1 | crunchc++ -------------------------------------------------------------------------------- /frontend/c++/bin/crunchc++: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c++/bin/crunchc++ -------------------------------------------------------------------------------- /frontend/c++/include/checked_cast.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c++/include/checked_cast.hpp -------------------------------------------------------------------------------- /frontend/c++/test/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c++/test/Makefile -------------------------------------------------------------------------------- /frontend/c++/test/hello/hello.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c++/test/hello/hello.cc -------------------------------------------------------------------------------- /frontend/c/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c/Makefile -------------------------------------------------------------------------------- /frontend/c/alloclocals/alloclocals.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c/alloclocals/alloclocals.ml -------------------------------------------------------------------------------- /frontend/c/base-type-equivs.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c/base-type-equivs.txt -------------------------------------------------------------------------------- /frontend/c/bin/Fbcc: -------------------------------------------------------------------------------- 1 | crunchFbcc -------------------------------------------------------------------------------- /frontend/c/bin/Mbcc: -------------------------------------------------------------------------------- 1 | crunchMbcc -------------------------------------------------------------------------------- /frontend/c/bin/Pbcc: -------------------------------------------------------------------------------- 1 | crunchPbcc -------------------------------------------------------------------------------- /frontend/c/bin/Sbcc: -------------------------------------------------------------------------------- 1 | crunchSbcc -------------------------------------------------------------------------------- /frontend/c/bin/Tbcc: -------------------------------------------------------------------------------- 1 | crunchTbcc -------------------------------------------------------------------------------- /frontend/c/bin/bcc: -------------------------------------------------------------------------------- 1 | crunchbcc -------------------------------------------------------------------------------- /frontend/c/bin/cc: -------------------------------------------------------------------------------- 1 | crunchcc -------------------------------------------------------------------------------- /frontend/c/bin/crunchAcc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c/bin/crunchAcc -------------------------------------------------------------------------------- /frontend/c/bin/crunchFbcc: -------------------------------------------------------------------------------- 1 | crunchbcc -------------------------------------------------------------------------------- /frontend/c/bin/crunchMbcc: -------------------------------------------------------------------------------- 1 | crunchbcc -------------------------------------------------------------------------------- /frontend/c/bin/crunchPbcc: -------------------------------------------------------------------------------- 1 | crunchbcc -------------------------------------------------------------------------------- /frontend/c/bin/crunchSbcc: -------------------------------------------------------------------------------- 1 | crunchbcc -------------------------------------------------------------------------------- /frontend/c/bin/crunchTbcc: -------------------------------------------------------------------------------- 1 | crunchbcc -------------------------------------------------------------------------------- /frontend/c/bin/crunchbcc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c/bin/crunchbcc -------------------------------------------------------------------------------- /frontend/c/bin/crunchbwscc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c/bin/crunchbwscc -------------------------------------------------------------------------------- /frontend/c/bin/crunchcc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c/bin/crunchcc -------------------------------------------------------------------------------- /frontend/c/bin/crunchfbcc: -------------------------------------------------------------------------------- 1 | crunchbcc -------------------------------------------------------------------------------- /frontend/c/bin/crunchmbcc: -------------------------------------------------------------------------------- 1 | crunchbcc -------------------------------------------------------------------------------- /frontend/c/bin/crunchpbcc: -------------------------------------------------------------------------------- 1 | crunchbcc -------------------------------------------------------------------------------- /frontend/c/bin/crunchsbcc: -------------------------------------------------------------------------------- 1 | crunchbcc -------------------------------------------------------------------------------- /frontend/c/bin/crunchtbcc: -------------------------------------------------------------------------------- 1 | crunchbcc -------------------------------------------------------------------------------- /frontend/c/bin/crunchxcc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c/bin/crunchxcc -------------------------------------------------------------------------------- /frontend/c/bin/fbcc: -------------------------------------------------------------------------------- 1 | crunchfbcc -------------------------------------------------------------------------------- /frontend/c/bin/mbcc: -------------------------------------------------------------------------------- 1 | crunchmbcc -------------------------------------------------------------------------------- /frontend/c/bin/pbcc: -------------------------------------------------------------------------------- 1 | crunchpbcc -------------------------------------------------------------------------------- /frontend/c/bin/sbcc: -------------------------------------------------------------------------------- 1 | crunchsbcc -------------------------------------------------------------------------------- /frontend/c/bin/tbcc: -------------------------------------------------------------------------------- 1 | crunchtbcc -------------------------------------------------------------------------------- /frontend/c/bin/xcc: -------------------------------------------------------------------------------- 1 | crunchxcc -------------------------------------------------------------------------------- /frontend/c/crunchbound/crunchbound.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c/crunchbound/crunchbound.ml -------------------------------------------------------------------------------- /frontend/c/dumpreftypes/dumpreftypes.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c/dumpreftypes/dumpreftypes.ml -------------------------------------------------------------------------------- /frontend/c/lib/bounds-abi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c/lib/bounds-abi -------------------------------------------------------------------------------- /frontend/c/lib/bounds-config-F: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c/lib/bounds-config-F -------------------------------------------------------------------------------- /frontend/c/lib/bounds-config-M: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c/lib/bounds-config-M -------------------------------------------------------------------------------- /frontend/c/lib/bounds-config-P: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c/lib/bounds-config-P -------------------------------------------------------------------------------- /frontend/c/lib/bounds-config-S: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c/lib/bounds-config-S -------------------------------------------------------------------------------- /frontend/c/lib/bounds-config-T: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c/lib/bounds-config-T -------------------------------------------------------------------------------- /frontend/c/lib/bounds-config-f: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c/lib/bounds-config-f -------------------------------------------------------------------------------- /frontend/c/lib/bounds-config-m: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c/lib/bounds-config-m -------------------------------------------------------------------------------- /frontend/c/lib/bounds-config-p: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c/lib/bounds-config-p -------------------------------------------------------------------------------- /frontend/c/lib/bounds-config-s: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c/lib/bounds-config-s -------------------------------------------------------------------------------- /frontend/c/lib/bounds-config-t: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c/lib/bounds-config-t -------------------------------------------------------------------------------- /frontend/c/lib/bounds-warnings: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c/lib/bounds-warnings -------------------------------------------------------------------------------- /frontend/c/lib/crunchcc.py: -------------------------------------------------------------------------------- 1 | ../bin/crunchcc -------------------------------------------------------------------------------- /frontend/c/lib/find-interesting-casts.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c/lib/find-interesting-casts.sh -------------------------------------------------------------------------------- /frontend/c/ptrintarith/ptrintarith.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c/ptrintarith/ptrintarith.ml -------------------------------------------------------------------------------- /frontend/c/shadow/shadow.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c/shadow/shadow.ml -------------------------------------------------------------------------------- /frontend/c/shadowprov/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c/shadowprov/Makefile -------------------------------------------------------------------------------- /frontend/c/shadowprov/gold-plugin.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c/shadowprov/gold-plugin.cpp -------------------------------------------------------------------------------- /frontend/c/shadowprov/qsort.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c/shadowprov/qsort.c -------------------------------------------------------------------------------- /frontend/c/shadowprov/shadowprov-cflags: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c/shadowprov/shadowprov-cflags -------------------------------------------------------------------------------- /frontend/c/shadowprov/shadowprov-ldflags: -------------------------------------------------------------------------------- 1 | shadowprov-cflags -------------------------------------------------------------------------------- /frontend/c/shadowprov/shadowprov.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c/shadowprov/shadowprov.ml -------------------------------------------------------------------------------- /frontend/c/shadowprov/shadowprov_helpers.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c/shadowprov/shadowprov_helpers.h -------------------------------------------------------------------------------- /frontend/c/shadowprov/shadowprov_libc_wrappers.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c/shadowprov/shadowprov_libc_wrappers.c -------------------------------------------------------------------------------- /frontend/c/shadowprov/shadowprov_rtdecls.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c/shadowprov/shadowprov_rtdecls.h -------------------------------------------------------------------------------- /frontend/c/shadowprov/test-addrof.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c/shadowprov/test-addrof.c -------------------------------------------------------------------------------- /frontend/c/shadowprov/test-fail-materialise.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c/shadowprov/test-fail-materialise.c -------------------------------------------------------------------------------- /frontend/c/shadowprov/test-hello.c: -------------------------------------------------------------------------------- 1 | #include 2 | 3 | int main(void) 4 | { 5 | printf("Hello, world!\n"); 6 | return 0; 7 | } 8 | -------------------------------------------------------------------------------- /frontend/c/shadowprov/test-malloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c/shadowprov/test-malloc.c -------------------------------------------------------------------------------- /frontend/c/shadowprov/test-retptr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c/shadowprov/test-retptr.c -------------------------------------------------------------------------------- /frontend/c/shadowprov/test-vprintf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c/shadowprov/test-vprintf.c -------------------------------------------------------------------------------- /frontend/c/shadowprov/tools.shadowprov: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c/shadowprov/tools.shadowprov -------------------------------------------------------------------------------- /frontend/c/src/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c/src/Makefile -------------------------------------------------------------------------------- /frontend/c/trumptr/trumptr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c/trumptr/trumptr.ml -------------------------------------------------------------------------------- /frontend/c/vsimpleaddr/vsimpleaddr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c/vsimpleaddr/vsimpleaddr.ml -------------------------------------------------------------------------------- /frontend/c/vsimplemem/vsimplemem.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/c/vsimplemem/vsimplemem.ml -------------------------------------------------------------------------------- /frontend/cilpp/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/cilpp/Makefile -------------------------------------------------------------------------------- /frontend/cilpp/bin/cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/cilpp/bin/cc -------------------------------------------------------------------------------- /frontend/cilpp/bin/cc1: -------------------------------------------------------------------------------- 1 | wrapper -------------------------------------------------------------------------------- /frontend/cilpp/bin/cilpp: -------------------------------------------------------------------------------- 1 | ../src/cilpp -------------------------------------------------------------------------------- /frontend/cilpp/bin/cilpp-cflags: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/cilpp/bin/cilpp-cflags -------------------------------------------------------------------------------- /frontend/cilpp/bin/cilpp-cppflags: -------------------------------------------------------------------------------- 1 | cilpp-cflags -------------------------------------------------------------------------------- /frontend/cilpp/bin/cilpp-ldflags: -------------------------------------------------------------------------------- 1 | cilpp-cflags -------------------------------------------------------------------------------- /frontend/cilpp/bin/wrapper: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/cilpp/bin/wrapper -------------------------------------------------------------------------------- /frontend/cilpp/src/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/cilpp/src/Makefile -------------------------------------------------------------------------------- /frontend/cilpp/src/cilpp.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/cilpp/src/cilpp.ml -------------------------------------------------------------------------------- /frontend/cilpp/src/mkstemp_stubs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/cilpp/src/mkstemp_stubs.c -------------------------------------------------------------------------------- /frontend/fortran/bin/crunchfc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/frontend/fortran/bin/crunchfc -------------------------------------------------------------------------------- /include/libcrunch.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/include/libcrunch.h -------------------------------------------------------------------------------- /include/libcrunch_cil_inlines.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/include/libcrunch_cil_inlines.h -------------------------------------------------------------------------------- /include/stubgen_softbound.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/include/stubgen_softbound.h -------------------------------------------------------------------------------- /kernel/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/kernel/Makefile -------------------------------------------------------------------------------- /kernel/dev-ones/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/kernel/dev-ones/Makefile -------------------------------------------------------------------------------- /kernel/dev-ones/linux/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/kernel/dev-ones/linux/Makefile -------------------------------------------------------------------------------- /kernel/dev-ones/linux/dev_ones.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/kernel/dev-ones/linux/dev_ones.c -------------------------------------------------------------------------------- /lib/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/lib/Makefile -------------------------------------------------------------------------------- /lib/debug-funcs.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/lib/debug-funcs.sh -------------------------------------------------------------------------------- /src/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/src/Makefile -------------------------------------------------------------------------------- /src/libcrunch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/src/libcrunch.c -------------------------------------------------------------------------------- /src/libcrunch_private.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/src/libcrunch_private.h -------------------------------------------------------------------------------- /src/shadow.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/src/shadow.c -------------------------------------------------------------------------------- /src/softbound-libc-wrappers.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/src/softbound-libc-wrappers.c -------------------------------------------------------------------------------- /src/stubs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/src/stubs.c -------------------------------------------------------------------------------- /test/Future/fail-bounds-type-backin/fail-bounds-type-backin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/Future/fail-bounds-type-backin/fail-bounds-type-backin.c -------------------------------------------------------------------------------- /test/Future/fail-bounds-type-backin/mk.inc: -------------------------------------------------------------------------------- 1 | export CC := $(LIBCRUNCH_BASE)/frontend/c/bin/crunchxcc 2 | -------------------------------------------------------------------------------- /test/Future/noquery-bounds-polymorphic/mk.inc: -------------------------------------------------------------------------------- 1 | export CC := $(LIBCRUNCH_BASE)/frontend/c/bin/crunchxcc 2 | 3 | -------------------------------------------------------------------------------- /test/Future/noquery-bounds-polymorphic/noquery-bounds-polymorphic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/Future/noquery-bounds-polymorphic/noquery-bounds-polymorphic.c -------------------------------------------------------------------------------- /test/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/Makefile -------------------------------------------------------------------------------- /test/abort-softbound-segv/abort-softbound-segv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/abort-softbound-segv/abort-softbound-segv.c -------------------------------------------------------------------------------- /test/abort-softbound-segv/frontend.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/abort-softbound-segv/frontend.mk -------------------------------------------------------------------------------- /test/abort-softbound-segv/mk.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/abort-softbound-segv/mk.inc -------------------------------------------------------------------------------- /test/bounds-actuals/bounds-actuals.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/bounds-actuals/bounds-actuals.c -------------------------------------------------------------------------------- /test/bounds-actuals/frontend.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/bounds-actuals/frontend.mk -------------------------------------------------------------------------------- /test/bounds-actuals/mk.inc: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/bounds-addrtaken-arg/bounds-addrtaken-arg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/bounds-addrtaken-arg/bounds-addrtaken-arg.c -------------------------------------------------------------------------------- /test/bounds-addrtaken-arg/frontend.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/bounds-addrtaken-arg/frontend.mk -------------------------------------------------------------------------------- /test/bounds-addrtaken-arg/mk.inc: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/bounds-addrtaken/bounds-addrtaken.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/bounds-addrtaken/bounds-addrtaken.c -------------------------------------------------------------------------------- /test/bounds-addrtaken/frontend.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/bounds-addrtaken/frontend.mk -------------------------------------------------------------------------------- /test/bounds-addrtaken/mk.inc: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/bounds-arrarr/bounds-arrarr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/bounds-arrarr/bounds-arrarr.c -------------------------------------------------------------------------------- /test/bounds-arrarr/frontend.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/bounds-arrarr/frontend.mk -------------------------------------------------------------------------------- /test/bounds-arrarr/mk.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/bounds-arrarr/mk.inc -------------------------------------------------------------------------------- /test/bounds-diff/bounds-diff.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/bounds-diff/bounds-diff.c -------------------------------------------------------------------------------- /test/bounds-diff/frontend.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/bounds-diff/frontend.mk -------------------------------------------------------------------------------- /test/bounds-diff/mk.inc: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/bounds-extern/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/bounds-extern/Makefile -------------------------------------------------------------------------------- /test/bounds-extern/bounds-extern.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/bounds-extern/bounds-extern.c -------------------------------------------------------------------------------- /test/bounds-extern/frontend.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/bounds-extern/frontend.mk -------------------------------------------------------------------------------- /test/bounds-extern/lib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/bounds-extern/lib.c -------------------------------------------------------------------------------- /test/bounds-extern/mk.inc: -------------------------------------------------------------------------------- 1 | 2 | bounds-extern: lib.o 3 | -------------------------------------------------------------------------------- /test/bounds-indexzero/bounds-indexzero.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/bounds-indexzero/bounds-indexzero.c -------------------------------------------------------------------------------- /test/bounds-indexzero/frontend.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/bounds-indexzero/frontend.mk -------------------------------------------------------------------------------- /test/bounds-indexzero/mk.inc: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/bounds-multi-alloc/bounds-multi-alloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/bounds-multi-alloc/bounds-multi-alloc.c -------------------------------------------------------------------------------- /test/bounds-multi-alloc/frontend.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/bounds-multi-alloc/frontend.mk -------------------------------------------------------------------------------- /test/bounds-multi-alloc/mk.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/bounds-multi-alloc/mk.inc -------------------------------------------------------------------------------- /test/bounds-nonlocal/bounds-nonlocal.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/bounds-nonlocal/bounds-nonlocal.c -------------------------------------------------------------------------------- /test/bounds-nonlocal/frontend.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/bounds-nonlocal/frontend.mk -------------------------------------------------------------------------------- /test/bounds-nonlocal/mk.inc: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/bounds-pure-helper/bounds-pure-helper.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/bounds-pure-helper/bounds-pure-helper.c -------------------------------------------------------------------------------- /test/bounds-pure-helper/frontend.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/bounds-pure-helper/frontend.mk -------------------------------------------------------------------------------- /test/bounds-pure-helper/mk.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/bounds-pure-helper/mk.inc -------------------------------------------------------------------------------- /test/bounds-simple/bounds-simple.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/bounds-simple/bounds-simple.c -------------------------------------------------------------------------------- /test/bounds-simple/frontend.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/bounds-simple/frontend.mk -------------------------------------------------------------------------------- /test/bounds-simple/mk.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/bounds-simple/mk.inc -------------------------------------------------------------------------------- /test/bounds-static-init-ptr/bounds-static-init-ptr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/bounds-static-init-ptr/bounds-static-init-ptr.c -------------------------------------------------------------------------------- /test/bounds-static-init-ptr/frontend.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/bounds-static-init-ptr/frontend.mk -------------------------------------------------------------------------------- /test/bounds-static-init-ptr/mk.inc: -------------------------------------------------------------------------------- 1 | 2 | LDFLAGS += -Wl,--defsym,other_vs=vs 3 | -------------------------------------------------------------------------------- /test/bounds-struct-return/bounds-struct-return.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/bounds-struct-return/bounds-struct-return.c -------------------------------------------------------------------------------- /test/bounds-struct-return/frontend.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/bounds-struct-return/frontend.mk -------------------------------------------------------------------------------- /test/bounds-struct-return/mk.inc: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/bounds-struct/bounds-struct.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/bounds-struct/bounds-struct.c -------------------------------------------------------------------------------- /test/bounds-struct/frontend.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/bounds-struct/frontend.mk -------------------------------------------------------------------------------- /test/bounds-struct/mk.inc: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/bounds-trap/bounds-trap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/bounds-trap/bounds-trap.c -------------------------------------------------------------------------------- /test/bounds-trap/frontend.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/bounds-trap/frontend.mk -------------------------------------------------------------------------------- /test/bounds-trap/mk.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/bounds-trap/mk.inc -------------------------------------------------------------------------------- /test/bounds-type/bounds-type.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/bounds-type/bounds-type.c -------------------------------------------------------------------------------- /test/bounds-type/frontend.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/bounds-type/frontend.mk -------------------------------------------------------------------------------- /test/bounds-type/mk.inc: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/bounds-va_arg/bounds-va_arg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/bounds-va_arg/bounds-va_arg.c -------------------------------------------------------------------------------- /test/bounds-va_arg/frontend.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/bounds-va_arg/frontend.mk -------------------------------------------------------------------------------- /test/bounds-va_arg/mk.inc: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/checks.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/checks.sh -------------------------------------------------------------------------------- /test/clang-frontend/frontend.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/clang-frontend/frontend.mk -------------------------------------------------------------------------------- /test/fail-bounds-oneprev/fail-bounds-oneprev.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/fail-bounds-oneprev/fail-bounds-oneprev.c -------------------------------------------------------------------------------- /test/fail-bounds-oneprev/frontend.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/fail-bounds-oneprev/frontend.mk -------------------------------------------------------------------------------- /test/fail-bounds-oneprev/mk.inc: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/fail-bounds-segv/fail-bounds-segv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/fail-bounds-segv/fail-bounds-segv.c -------------------------------------------------------------------------------- /test/fail-bounds-segv/frontend.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/fail-bounds-segv/frontend.mk -------------------------------------------------------------------------------- /test/fail-bounds-type-simple/fail-bounds-type-simple.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/fail-bounds-type-simple/fail-bounds-type-simple.c -------------------------------------------------------------------------------- /test/fail-bounds-type-simple/frontend.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/fail-bounds-type-simple/frontend.mk -------------------------------------------------------------------------------- /test/fail-bounds-type-simple/mk.inc: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/fail-bounds-type-trapped/fail-bounds-type-trapped.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/fail-bounds-type-trapped/fail-bounds-type-trapped.c -------------------------------------------------------------------------------- /test/fail-bounds-type-trapped/frontend.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/fail-bounds-type-trapped/frontend.mk -------------------------------------------------------------------------------- /test/fail-bounds-type-trapped/mk.inc: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/fail-funptr/fail-funptr.c: -------------------------------------------------------------------------------- 1 | ../hello-funptr/hello-funptr.c -------------------------------------------------------------------------------- /test/fail-sloppy-gpcot/fail-sloppy-gpcot.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/fail-sloppy-gpcot/fail-sloppy-gpcot.c -------------------------------------------------------------------------------- /test/fail-sloppy-gpcot/mk.inc: -------------------------------------------------------------------------------- 1 | export LIBCRUNCH_USE_LOOSELY_LIKE_A_FOR_TYPES := View 2 | 3 | -------------------------------------------------------------------------------- /test/fail-va_arg/fail-va_arg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/fail-va_arg/fail-va_arg.c -------------------------------------------------------------------------------- /test/fail-voidptrptr-invalid/fail-voidptrptr-invalid.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/fail-voidptrptr-invalid/fail-voidptrptr-invalid.c -------------------------------------------------------------------------------- /test/fail-voidptrptr-strict/fail-voidptrptr-strict.c: -------------------------------------------------------------------------------- 1 | ../voidptrptr/voidptrptr.c -------------------------------------------------------------------------------- /test/fail-voidptrptr-strict/mk.inc: -------------------------------------------------------------------------------- 1 | export LIBCRUNCH_STRICT_GENERIC_POINTERS := 1 2 | -------------------------------------------------------------------------------- /test/function-refines/function-refines.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/function-refines/function-refines.c -------------------------------------------------------------------------------- /test/hello-array/hello-array.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/hello-array/hello-array.c -------------------------------------------------------------------------------- /test/hello-c++-static-cast/frontend.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/hello-c++-static-cast/frontend.mk -------------------------------------------------------------------------------- /test/hello-c++-static-cast/hello-c++-static-cast.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/hello-c++-static-cast/hello-c++-static-cast.cc -------------------------------------------------------------------------------- /test/hello-c++/frontend.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/hello-c++/frontend.mk -------------------------------------------------------------------------------- /test/hello-c++/hello-c++.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/hello-c++/hello-c++.cc -------------------------------------------------------------------------------- /test/hello-errno/hello-errno.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/hello-errno/hello-errno.c -------------------------------------------------------------------------------- /test/hello-funptr/hello-funptr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/hello-funptr/hello-funptr.c -------------------------------------------------------------------------------- /test/hello-funptr/mk.inc: -------------------------------------------------------------------------------- 1 | export LIBCRUNCH_SLOPPY_FUNCTION_POINTERS := 1 2 | -------------------------------------------------------------------------------- /test/hello-heap/hello-heap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/hello-heap/hello-heap.c -------------------------------------------------------------------------------- /test/hello-incomplete/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/hello-incomplete/Makefile -------------------------------------------------------------------------------- /test/hello-incomplete/hello-incomplete.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/hello-incomplete/hello-incomplete.c -------------------------------------------------------------------------------- /test/hello-incomplete/lib.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/hello-incomplete/lib.c -------------------------------------------------------------------------------- /test/hello-incomplete/mk.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/hello-incomplete/mk.inc -------------------------------------------------------------------------------- /test/hello-indirect/hello-indirect.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/hello-indirect/hello-indirect.c -------------------------------------------------------------------------------- /test/hello-qualified-char/hello-qualified-char.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/hello-qualified-char/hello-qualified-char.c -------------------------------------------------------------------------------- /test/hello-sizeofness/hello-sizeofness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/hello-sizeofness/hello-sizeofness.c -------------------------------------------------------------------------------- /test/hello-stack/hello-stack.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/hello-stack/hello-stack.c -------------------------------------------------------------------------------- /test/hello-stackactual/hello-stackactual.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/hello-stackactual/hello-stackactual.c -------------------------------------------------------------------------------- /test/hello-static/hello-static.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/hello-static/hello-static.c -------------------------------------------------------------------------------- /test/hello-stubgen/hello-stubgen.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/hello-stubgen/hello-stubgen.c -------------------------------------------------------------------------------- /test/hello-stubgen/mk.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/hello-stubgen/mk.inc -------------------------------------------------------------------------------- /test/hello-union/hello-union.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/hello-union/hello-union.c -------------------------------------------------------------------------------- /test/hello-void/hello-void.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/hello-void/hello-void.c -------------------------------------------------------------------------------- /test/hello/hello.c: -------------------------------------------------------------------------------- 1 | #include 2 | 3 | int main(void) 4 | { 5 | printf("Hello, world!\n"); 6 | return 0; 7 | } 8 | -------------------------------------------------------------------------------- /test/lazy-typing/lazy-typing.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/lazy-typing/lazy-typing.c -------------------------------------------------------------------------------- /test/lazy-typing/mk.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/lazy-typing/mk.inc -------------------------------------------------------------------------------- /test/like-a/like-a.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/like-a/like-a.c -------------------------------------------------------------------------------- /test/like-a/mk.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/like-a/mk.inc -------------------------------------------------------------------------------- /test/noquery-bounds-adjuststore/frontend.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/noquery-bounds-adjuststore/frontend.mk -------------------------------------------------------------------------------- /test/noquery-bounds-adjuststore/mk.inc: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/noquery-bounds-adjuststore/noquery-bounds-adjuststore.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/noquery-bounds-adjuststore/noquery-bounds-adjuststore.c -------------------------------------------------------------------------------- /test/noquery-bounds-itersimple/frontend.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/noquery-bounds-itersimple/frontend.mk -------------------------------------------------------------------------------- /test/noquery-bounds-itersimple/mk.inc: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/noquery-bounds-itersimple/noquery-bounds-itersimple.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/noquery-bounds-itersimple/noquery-bounds-itersimple.c -------------------------------------------------------------------------------- /test/noquery-bounds-loadstore/frontend.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/noquery-bounds-loadstore/frontend.mk -------------------------------------------------------------------------------- /test/noquery-bounds-loadstore/mk.inc: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/noquery-bounds-loadstore/noquery-bounds-loadstore.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/noquery-bounds-loadstore/noquery-bounds-loadstore.c -------------------------------------------------------------------------------- /test/noquery-bounds-multidim/frontend.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/noquery-bounds-multidim/frontend.mk -------------------------------------------------------------------------------- /test/noquery-bounds-multidim/mk.inc: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/noquery-bounds-multidim/noquery-bounds-multidim.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/noquery-bounds-multidim/noquery-bounds-multidim.c -------------------------------------------------------------------------------- /test/noquery-bounds-nofetch/frontend.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/noquery-bounds-nofetch/frontend.mk -------------------------------------------------------------------------------- /test/noquery-bounds-nofetch/mk.inc: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /test/noquery-bounds-nofetch/noquery-bounds-nofetch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/noquery-bounds-nofetch/noquery-bounds-nofetch.c -------------------------------------------------------------------------------- /test/noquery-bounds-static-init-ptr/frontend.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/noquery-bounds-static-init-ptr/frontend.mk -------------------------------------------------------------------------------- /test/noquery-bounds-static-init-ptr/mk.inc: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/noquery-bounds-static-init-ptr/noquery-bounds-static-init-ptr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/noquery-bounds-static-init-ptr/noquery-bounds-static-init-ptr.c -------------------------------------------------------------------------------- /test/noquery-bounds-viacache/frontend.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/noquery-bounds-viacache/frontend.mk -------------------------------------------------------------------------------- /test/noquery-bounds-viacache/mk.inc: -------------------------------------------------------------------------------- 1 | 2 | -------------------------------------------------------------------------------- /test/noquery-bounds-viacache/noquery-bounds-viacache.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/noquery-bounds-viacache/noquery-bounds-viacache.c -------------------------------------------------------------------------------- /test/pointer-degree/mk.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/pointer-degree/mk.inc -------------------------------------------------------------------------------- /test/pointer-degree/pointer-degree.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/pointer-degree/pointer-degree.c -------------------------------------------------------------------------------- /test/sloppy-gpcot/mk.inc: -------------------------------------------------------------------------------- 1 | export LIBCRUNCH_ABSTRACT_LVALUE_TYPES := View 2 | 3 | -------------------------------------------------------------------------------- /test/sloppy-gpcot/sloppy-gpcot.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/sloppy-gpcot/sloppy-gpcot.c -------------------------------------------------------------------------------- /test/softbound-actuals/frontend.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/softbound-actuals/frontend.mk -------------------------------------------------------------------------------- /test/softbound-actuals/mk.inc: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/softbound-actuals/softbound-actuals.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/softbound-actuals/softbound-actuals.c -------------------------------------------------------------------------------- /test/softbound-heap/frontend.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/softbound-heap/frontend.mk -------------------------------------------------------------------------------- /test/softbound-heap/mk.inc: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/softbound-heap/softbound-heap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/softbound-heap/softbound-heap.c -------------------------------------------------------------------------------- /test/softbound-multi-alloc/frontend.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/softbound-multi-alloc/frontend.mk -------------------------------------------------------------------------------- /test/softbound-multi-alloc/mk.inc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/softbound-multi-alloc/mk.inc -------------------------------------------------------------------------------- /test/softbound-multi-alloc/softbound-multi-alloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/softbound-multi-alloc/softbound-multi-alloc.c -------------------------------------------------------------------------------- /test/softbound-nonlocal/frontend.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/softbound-nonlocal/frontend.mk -------------------------------------------------------------------------------- /test/softbound-nonlocal/mk.inc: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/softbound-nonlocal/softbound-nonlocal.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/softbound-nonlocal/softbound-nonlocal.c -------------------------------------------------------------------------------- /test/softbound-simple/frontend.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/softbound-simple/frontend.mk -------------------------------------------------------------------------------- /test/softbound-simple/mk.inc: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/softbound-simple/softbound-simple.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/softbound-simple/softbound-simple.c -------------------------------------------------------------------------------- /test/softbound-static-init-ptr/frontend.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/softbound-static-init-ptr/frontend.mk -------------------------------------------------------------------------------- /test/softbound-static-init-ptr/mk.inc: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/softbound-static-init-ptr/softbound-static-init-ptr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/softbound-static-init-ptr/softbound-static-init-ptr.c -------------------------------------------------------------------------------- /test/specialize-types/specialize-types.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/specialize-types/specialize-types.c -------------------------------------------------------------------------------- /test/trap-bounds-oneprev/frontend.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/trap-bounds-oneprev/frontend.mk -------------------------------------------------------------------------------- /test/trap-bounds-oneprev/mk.inc: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/trap-bounds-oneprev/trap-bounds-oneprev.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/trap-bounds-oneprev/trap-bounds-oneprev.c -------------------------------------------------------------------------------- /test/trap-bounds-toint/frontend.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/trap-bounds-toint/frontend.mk -------------------------------------------------------------------------------- /test/trap-bounds-toint/mk.inc: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/trap-bounds-toint/trap-bounds-toint.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/trap-bounds-toint/trap-bounds-toint.c -------------------------------------------------------------------------------- /test/va_arg/va_arg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/va_arg/va_arg.c -------------------------------------------------------------------------------- /test/voidptrptr/voidptrptr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/stephenrkell/libcrunch/HEAD/test/voidptrptr/voidptrptr.c --------------------------------------------------------------------------------