├── .github ├── dependabot.yml └── workflows │ ├── ci.yml │ ├── nix-ci.yml │ └── release.yml ├── .gitignore ├── CHANGELOG.md ├── CODE_OF_CONDUCT.md ├── Cargo.lock ├── Cargo.toml ├── LICENSE ├── README.md ├── benches └── bench.rs ├── doc ├── .gitignore ├── SUMMARY.md ├── book.toml ├── contributing.md ├── dev.md ├── install.md ├── overview.md └── usage.md ├── examples └── module.rs ├── flake.lock ├── flake.nix ├── rustc-flags ├── scripts ├── poor-mans-profiler.sh └── wall.sh ├── signatures.json ├── src ├── alloc.rs ├── analysis.rs ├── analysis │ ├── callgraph.rs │ ├── int.rs │ └── pointer.rs ├── arc.rs ├── arc │ ├── cached.rs │ ├── precomputed.rs │ └── uarc.rs ├── bin │ └── int.rs ├── cli.rs ├── hash.rs ├── hash │ ├── cached.rs │ ├── precomputed.rs │ ├── prehashed.rs │ └── ref.rs ├── klimited.rs ├── lattice.rs ├── layers.rs ├── layers │ ├── counts.rs │ └── nanos.rs ├── lib.rs ├── llvm.rs ├── llvm │ ├── constant.rs │ ├── error.rs │ ├── instruction.rs │ ├── name.rs │ ├── operand.rs │ └── terminator.rs ├── main.rs ├── signatures.rs └── union.rs └── tests ├── big └── sqlite │ ├── .gitignore │ ├── Makefile │ └── src │ ├── shell.c │ ├── sqlite3.c │ ├── sqlite3.h │ └── sqlite3ext.h ├── int.rs ├── int ├── .gitignore ├── arg.c ├── assert.h ├── const.c ├── lit.cfg.py ├── ret.c └── soundness │ ├── arg.c │ ├── assert.h │ ├── const.c │ ├── lit.cfg.py │ └── ret.c ├── medium ├── .gitignore ├── irving.c └── jackson.cpp ├── pointer.rs ├── pointer ├── imprecision │ ├── .gitignore │ ├── array.c │ ├── assert.h │ ├── context.c │ ├── fail-assert-may-alias.c │ └── struct.c ├── precision │ ├── .gitignore │ ├── assert.h │ ├── fail-assert-disjoint.c │ ├── fail-assert-unreachable.c │ ├── heap-heap.c │ ├── lit.cfg.py │ ├── memcpy-size.c │ ├── sig-sig.c │ ├── sig-sig.json │ ├── stack-stack.c │ └── unreachable.c ├── signatures │ ├── .gitignore │ ├── arg-memcpy-arg.c │ ├── arg-memcpy-arg.json │ ├── assert.h │ ├── return-aliases-arg.c │ ├── return-aliases-arg.json │ ├── return-alloc.c │ ├── return-alloc.json │ ├── return-points-to-global.c │ └── return-points-to-global.json ├── soundness │ ├── .gitignore │ ├── alloca.c │ ├── argv-0.c │ ├── argv.c │ ├── assert.h │ ├── call-alloca.c │ ├── call.c │ ├── calloc.c │ ├── errno.c │ ├── fail-assert-points-to-something.c │ ├── fail-assert-reachable.c │ ├── func-ptr.c │ ├── function-table.c │ ├── gep.c │ ├── global-array.c │ ├── global-cast.c │ ├── global-expr.c │ ├── global-load.c │ ├── global-store.c │ ├── global-struct.c │ ├── global.c │ ├── indirect-call.c │ ├── lit.cfg.py │ ├── main.c │ ├── main.rs │ ├── malloc.c │ ├── memcpy.c │ ├── new.cpp │ ├── phi.c │ ├── ptr-arg.c │ ├── ptr-ret.c │ ├── ptr-to-int-sub.c │ ├── ptr-to-int.c │ ├── realloc.c │ ├── reallocarray.c │ ├── slice.rs │ ├── stack-array.c │ ├── stack-cast.c │ ├── stack-struct.c │ ├── stack.rs │ ├── stderr.c │ ├── str.rs │ ├── string.rs │ ├── throw.cpp │ ├── undef.c │ └── varargs.c └── templates │ ├── .gitignore │ ├── any.json │ ├── any.rs │ ├── arc.rs │ ├── array.cpp │ ├── assert.h │ ├── box.json │ ├── box.rs │ ├── cell.rs │ ├── list.cpp │ ├── queue.cpp │ ├── rc.json │ ├── rc.rs │ ├── refcell.rs │ ├── shared-ptr.cpp │ ├── stack.cpp │ ├── unique-ptr.cpp │ ├── vec.rs │ ├── vector-push-back.cpp │ └── vector.cpp └── property ├── .gitignore ├── accumulate.cpp ├── allocation-sizes.c ├── array-tests.c ├── basictemplates.cpp ├── cdg-test.c ├── cfg-test.c ├── customclass.cpp ├── customclassinheritance.cpp ├── deadcode.c ├── deadcode2.c ├── dwarf_properties.cpp ├── dwarf_properties2.cpp ├── dynamic-cast.cpp ├── errno.c ├── ex_simple.c ├── ex_symb_index.c ├── exception-driven-control-flow.cpp ├── exceptions.cpp ├── extra-args.c ├── fancytypes.c ├── forcedentry.cpp ├── friends.cpp ├── functiontable.c ├── functiontablebranch.c ├── functiontableparm.c ├── garfield_minimised_setchr.cpp ├── garfield_minimised_substr.cpp ├── global.c ├── globalvars.c ├── guessing-game-cxx.cpp ├── guessing-game-heap.c ├── guessing-game.c ├── heap_oob.cpp ├── hello.c ├── inlineasm.c ├── inlineasm2.c ├── inlineasm3.c ├── inlineasm4.c ├── inlinedfuncs.c ├── inlinedfuncs2.c ├── interprocedural_dataflow_test.cpp ├── issue_1058.cpp ├── issue_1137.c ├── issue_1522.cpp ├── issue_954.c ├── iterator-invalidation.cpp ├── lambda.cpp ├── linkedlist.c ├── liveness.c ├── mini-fenway-uaf.c ├── mmap.c ├── multi_recv.c ├── nested.c ├── nested_structs.c ├── nestedlambda.cpp ├── nestedtypes.c ├── nontypetemplate.cpp ├── overflowable-allocations.cpp ├── ovington-extra-minimal.cpp ├── ovington-minimal.cpp ├── param-binding-and-return.cpp ├── placement_new_simple.cpp ├── recurse.c ├── recurselambda.cpp ├── simple-uaf-read.c ├── simple-uaf-write.c ├── simple-uaf.cpp ├── stack-args-2.c ├── stack-args.c ├── standalone.c ├── staticfuncs.c ├── stdinttypes.c ├── strings.cpp ├── struct-by-value.c ├── struct_bounds.c ├── switch.c ├── symbol-alias.c ├── symbol-menagerie.c ├── test-dataflow-small.c ├── test-dataflow.c ├── triple_nested_structs.c ├── truncated-integer.cpp ├── type-backprop.c ├── uninit-stack-array-use.c ├── uninit-stack-var-use.c ├── unused_argument.c ├── variadicfunctemplate.cpp ├── variadictemplatemultiple.cpp ├── virtual-multiple-inheritance.cpp ├── virtual.cpp └── voidptr.c /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.github/workflows/nix-ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/.github/workflows/nix-ci.yml -------------------------------------------------------------------------------- /.github/workflows/release.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/.github/workflows/release.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/.gitignore -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /CODE_OF_CONDUCT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/CODE_OF_CONDUCT.md -------------------------------------------------------------------------------- /Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/Cargo.lock -------------------------------------------------------------------------------- /Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/Cargo.toml -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/README.md -------------------------------------------------------------------------------- /benches/bench.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/benches/bench.rs -------------------------------------------------------------------------------- /doc/.gitignore: -------------------------------------------------------------------------------- 1 | book/ 2 | -------------------------------------------------------------------------------- /doc/SUMMARY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/doc/SUMMARY.md -------------------------------------------------------------------------------- /doc/book.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/doc/book.toml -------------------------------------------------------------------------------- /doc/contributing.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/doc/contributing.md -------------------------------------------------------------------------------- /doc/dev.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/doc/dev.md -------------------------------------------------------------------------------- /doc/install.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/doc/install.md -------------------------------------------------------------------------------- /doc/overview.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/doc/overview.md -------------------------------------------------------------------------------- /doc/usage.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/doc/usage.md -------------------------------------------------------------------------------- /examples/module.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/examples/module.rs -------------------------------------------------------------------------------- /flake.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/flake.lock -------------------------------------------------------------------------------- /flake.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/flake.nix -------------------------------------------------------------------------------- /rustc-flags: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/rustc-flags -------------------------------------------------------------------------------- /scripts/poor-mans-profiler.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/scripts/poor-mans-profiler.sh -------------------------------------------------------------------------------- /scripts/wall.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/scripts/wall.sh -------------------------------------------------------------------------------- /signatures.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/signatures.json -------------------------------------------------------------------------------- /src/alloc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/src/alloc.rs -------------------------------------------------------------------------------- /src/analysis.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/src/analysis.rs -------------------------------------------------------------------------------- /src/analysis/callgraph.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/src/analysis/callgraph.rs -------------------------------------------------------------------------------- /src/analysis/int.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/src/analysis/int.rs -------------------------------------------------------------------------------- /src/analysis/pointer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/src/analysis/pointer.rs -------------------------------------------------------------------------------- /src/arc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/src/arc.rs -------------------------------------------------------------------------------- /src/arc/cached.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/src/arc/cached.rs -------------------------------------------------------------------------------- /src/arc/precomputed.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/src/arc/precomputed.rs -------------------------------------------------------------------------------- /src/arc/uarc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/src/arc/uarc.rs -------------------------------------------------------------------------------- /src/bin/int.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/src/bin/int.rs -------------------------------------------------------------------------------- /src/cli.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/src/cli.rs -------------------------------------------------------------------------------- /src/hash.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/src/hash.rs -------------------------------------------------------------------------------- /src/hash/cached.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/src/hash/cached.rs -------------------------------------------------------------------------------- /src/hash/precomputed.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/src/hash/precomputed.rs -------------------------------------------------------------------------------- /src/hash/prehashed.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/src/hash/prehashed.rs -------------------------------------------------------------------------------- /src/hash/ref.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/src/hash/ref.rs -------------------------------------------------------------------------------- /src/klimited.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/src/klimited.rs -------------------------------------------------------------------------------- /src/lattice.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/src/lattice.rs -------------------------------------------------------------------------------- /src/layers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/src/layers.rs -------------------------------------------------------------------------------- /src/layers/counts.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/src/layers/counts.rs -------------------------------------------------------------------------------- /src/layers/nanos.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/src/layers/nanos.rs -------------------------------------------------------------------------------- /src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/src/lib.rs -------------------------------------------------------------------------------- /src/llvm.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/src/llvm.rs -------------------------------------------------------------------------------- /src/llvm/constant.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/src/llvm/constant.rs -------------------------------------------------------------------------------- /src/llvm/error.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/src/llvm/error.rs -------------------------------------------------------------------------------- /src/llvm/instruction.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/src/llvm/instruction.rs -------------------------------------------------------------------------------- /src/llvm/name.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/src/llvm/name.rs -------------------------------------------------------------------------------- /src/llvm/operand.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/src/llvm/operand.rs -------------------------------------------------------------------------------- /src/llvm/terminator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/src/llvm/terminator.rs -------------------------------------------------------------------------------- /src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/src/main.rs -------------------------------------------------------------------------------- /src/signatures.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/src/signatures.rs -------------------------------------------------------------------------------- /src/union.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/src/union.rs -------------------------------------------------------------------------------- /tests/big/sqlite/.gitignore: -------------------------------------------------------------------------------- 1 | build/ 2 | -------------------------------------------------------------------------------- /tests/big/sqlite/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/big/sqlite/Makefile -------------------------------------------------------------------------------- /tests/big/sqlite/src/shell.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/big/sqlite/src/shell.c -------------------------------------------------------------------------------- /tests/big/sqlite/src/sqlite3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/big/sqlite/src/sqlite3.c -------------------------------------------------------------------------------- /tests/big/sqlite/src/sqlite3.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/big/sqlite/src/sqlite3.h -------------------------------------------------------------------------------- /tests/big/sqlite/src/sqlite3ext.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/big/sqlite/src/sqlite3ext.h -------------------------------------------------------------------------------- /tests/int.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/int.rs -------------------------------------------------------------------------------- /tests/int/.gitignore: -------------------------------------------------------------------------------- 1 | *.bc 2 | *.ll 3 | # lit: 4 | Output/ 5 | .lit* 6 | -------------------------------------------------------------------------------- /tests/int/arg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/int/arg.c -------------------------------------------------------------------------------- /tests/int/assert.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/int/assert.h -------------------------------------------------------------------------------- /tests/int/const.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/int/const.c -------------------------------------------------------------------------------- /tests/int/lit.cfg.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/int/lit.cfg.py -------------------------------------------------------------------------------- /tests/int/ret.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/int/ret.c -------------------------------------------------------------------------------- /tests/int/soundness/arg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/int/soundness/arg.c -------------------------------------------------------------------------------- /tests/int/soundness/assert.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/int/soundness/assert.h -------------------------------------------------------------------------------- /tests/int/soundness/const.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/int/soundness/const.c -------------------------------------------------------------------------------- /tests/int/soundness/lit.cfg.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/int/soundness/lit.cfg.py -------------------------------------------------------------------------------- /tests/int/soundness/ret.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/int/soundness/ret.c -------------------------------------------------------------------------------- /tests/medium/.gitignore: -------------------------------------------------------------------------------- 1 | *.bc 2 | *.ll 3 | -------------------------------------------------------------------------------- /tests/medium/irving.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/medium/irving.c -------------------------------------------------------------------------------- /tests/medium/jackson.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/medium/jackson.cpp -------------------------------------------------------------------------------- /tests/pointer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer.rs -------------------------------------------------------------------------------- /tests/pointer/imprecision/.gitignore: -------------------------------------------------------------------------------- 1 | *.bc 2 | *.ll 3 | # lit: 4 | Output/ 5 | .lit* 6 | -------------------------------------------------------------------------------- /tests/pointer/imprecision/array.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/imprecision/array.c -------------------------------------------------------------------------------- /tests/pointer/imprecision/assert.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/imprecision/assert.h -------------------------------------------------------------------------------- /tests/pointer/imprecision/context.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/imprecision/context.c -------------------------------------------------------------------------------- /tests/pointer/imprecision/fail-assert-may-alias.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/imprecision/fail-assert-may-alias.c -------------------------------------------------------------------------------- /tests/pointer/imprecision/struct.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/imprecision/struct.c -------------------------------------------------------------------------------- /tests/pointer/precision/.gitignore: -------------------------------------------------------------------------------- 1 | *.bc 2 | *.ll 3 | # lit: 4 | Output/ 5 | .lit* 6 | -------------------------------------------------------------------------------- /tests/pointer/precision/assert.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/precision/assert.h -------------------------------------------------------------------------------- /tests/pointer/precision/fail-assert-disjoint.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/precision/fail-assert-disjoint.c -------------------------------------------------------------------------------- /tests/pointer/precision/fail-assert-unreachable.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/precision/fail-assert-unreachable.c -------------------------------------------------------------------------------- /tests/pointer/precision/heap-heap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/precision/heap-heap.c -------------------------------------------------------------------------------- /tests/pointer/precision/lit.cfg.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/precision/lit.cfg.py -------------------------------------------------------------------------------- /tests/pointer/precision/memcpy-size.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/precision/memcpy-size.c -------------------------------------------------------------------------------- /tests/pointer/precision/sig-sig.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/precision/sig-sig.c -------------------------------------------------------------------------------- /tests/pointer/precision/sig-sig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/precision/sig-sig.json -------------------------------------------------------------------------------- /tests/pointer/precision/stack-stack.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/precision/stack-stack.c -------------------------------------------------------------------------------- /tests/pointer/precision/unreachable.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/precision/unreachable.c -------------------------------------------------------------------------------- /tests/pointer/signatures/.gitignore: -------------------------------------------------------------------------------- 1 | *.bc 2 | *.ll 3 | -------------------------------------------------------------------------------- /tests/pointer/signatures/arg-memcpy-arg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/signatures/arg-memcpy-arg.c -------------------------------------------------------------------------------- /tests/pointer/signatures/arg-memcpy-arg.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/signatures/arg-memcpy-arg.json -------------------------------------------------------------------------------- /tests/pointer/signatures/assert.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/signatures/assert.h -------------------------------------------------------------------------------- /tests/pointer/signatures/return-aliases-arg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/signatures/return-aliases-arg.c -------------------------------------------------------------------------------- /tests/pointer/signatures/return-aliases-arg.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/signatures/return-aliases-arg.json -------------------------------------------------------------------------------- /tests/pointer/signatures/return-alloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/signatures/return-alloc.c -------------------------------------------------------------------------------- /tests/pointer/signatures/return-alloc.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/signatures/return-alloc.json -------------------------------------------------------------------------------- /tests/pointer/signatures/return-points-to-global.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/signatures/return-points-to-global.c -------------------------------------------------------------------------------- /tests/pointer/signatures/return-points-to-global.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/signatures/return-points-to-global.json -------------------------------------------------------------------------------- /tests/pointer/soundness/.gitignore: -------------------------------------------------------------------------------- 1 | *.bc 2 | *.ll 3 | # lit: 4 | Output/ 5 | .lit* 6 | -------------------------------------------------------------------------------- /tests/pointer/soundness/alloca.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/alloca.c -------------------------------------------------------------------------------- /tests/pointer/soundness/argv-0.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/argv-0.c -------------------------------------------------------------------------------- /tests/pointer/soundness/argv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/argv.c -------------------------------------------------------------------------------- /tests/pointer/soundness/assert.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/assert.h -------------------------------------------------------------------------------- /tests/pointer/soundness/call-alloca.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/call-alloca.c -------------------------------------------------------------------------------- /tests/pointer/soundness/call.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/call.c -------------------------------------------------------------------------------- /tests/pointer/soundness/calloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/calloc.c -------------------------------------------------------------------------------- /tests/pointer/soundness/errno.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/errno.c -------------------------------------------------------------------------------- /tests/pointer/soundness/fail-assert-points-to-something.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/fail-assert-points-to-something.c -------------------------------------------------------------------------------- /tests/pointer/soundness/fail-assert-reachable.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/fail-assert-reachable.c -------------------------------------------------------------------------------- /tests/pointer/soundness/func-ptr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/func-ptr.c -------------------------------------------------------------------------------- /tests/pointer/soundness/function-table.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/function-table.c -------------------------------------------------------------------------------- /tests/pointer/soundness/gep.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/gep.c -------------------------------------------------------------------------------- /tests/pointer/soundness/global-array.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/global-array.c -------------------------------------------------------------------------------- /tests/pointer/soundness/global-cast.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/global-cast.c -------------------------------------------------------------------------------- /tests/pointer/soundness/global-expr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/global-expr.c -------------------------------------------------------------------------------- /tests/pointer/soundness/global-load.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/global-load.c -------------------------------------------------------------------------------- /tests/pointer/soundness/global-store.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/global-store.c -------------------------------------------------------------------------------- /tests/pointer/soundness/global-struct.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/global-struct.c -------------------------------------------------------------------------------- /tests/pointer/soundness/global.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/global.c -------------------------------------------------------------------------------- /tests/pointer/soundness/indirect-call.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/indirect-call.c -------------------------------------------------------------------------------- /tests/pointer/soundness/lit.cfg.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/lit.cfg.py -------------------------------------------------------------------------------- /tests/pointer/soundness/main.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/main.c -------------------------------------------------------------------------------- /tests/pointer/soundness/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/main.rs -------------------------------------------------------------------------------- /tests/pointer/soundness/malloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/malloc.c -------------------------------------------------------------------------------- /tests/pointer/soundness/memcpy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/memcpy.c -------------------------------------------------------------------------------- /tests/pointer/soundness/new.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/new.cpp -------------------------------------------------------------------------------- /tests/pointer/soundness/phi.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/phi.c -------------------------------------------------------------------------------- /tests/pointer/soundness/ptr-arg.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/ptr-arg.c -------------------------------------------------------------------------------- /tests/pointer/soundness/ptr-ret.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/ptr-ret.c -------------------------------------------------------------------------------- /tests/pointer/soundness/ptr-to-int-sub.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/ptr-to-int-sub.c -------------------------------------------------------------------------------- /tests/pointer/soundness/ptr-to-int.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/ptr-to-int.c -------------------------------------------------------------------------------- /tests/pointer/soundness/realloc.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/realloc.c -------------------------------------------------------------------------------- /tests/pointer/soundness/reallocarray.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/reallocarray.c -------------------------------------------------------------------------------- /tests/pointer/soundness/slice.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/slice.rs -------------------------------------------------------------------------------- /tests/pointer/soundness/stack-array.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/stack-array.c -------------------------------------------------------------------------------- /tests/pointer/soundness/stack-cast.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/stack-cast.c -------------------------------------------------------------------------------- /tests/pointer/soundness/stack-struct.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/stack-struct.c -------------------------------------------------------------------------------- /tests/pointer/soundness/stack.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/stack.rs -------------------------------------------------------------------------------- /tests/pointer/soundness/stderr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/stderr.c -------------------------------------------------------------------------------- /tests/pointer/soundness/str.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/str.rs -------------------------------------------------------------------------------- /tests/pointer/soundness/string.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/string.rs -------------------------------------------------------------------------------- /tests/pointer/soundness/throw.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/throw.cpp -------------------------------------------------------------------------------- /tests/pointer/soundness/undef.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/undef.c -------------------------------------------------------------------------------- /tests/pointer/soundness/varargs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/soundness/varargs.c -------------------------------------------------------------------------------- /tests/pointer/templates/.gitignore: -------------------------------------------------------------------------------- 1 | *.bc 2 | *.ll 3 | -------------------------------------------------------------------------------- /tests/pointer/templates/any.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/templates/any.json -------------------------------------------------------------------------------- /tests/pointer/templates/any.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/templates/any.rs -------------------------------------------------------------------------------- /tests/pointer/templates/arc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/templates/arc.rs -------------------------------------------------------------------------------- /tests/pointer/templates/array.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/templates/array.cpp -------------------------------------------------------------------------------- /tests/pointer/templates/assert.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/templates/assert.h -------------------------------------------------------------------------------- /tests/pointer/templates/box.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/templates/box.json -------------------------------------------------------------------------------- /tests/pointer/templates/box.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/templates/box.rs -------------------------------------------------------------------------------- /tests/pointer/templates/cell.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/templates/cell.rs -------------------------------------------------------------------------------- /tests/pointer/templates/list.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/templates/list.cpp -------------------------------------------------------------------------------- /tests/pointer/templates/queue.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/templates/queue.cpp -------------------------------------------------------------------------------- /tests/pointer/templates/rc.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/templates/rc.json -------------------------------------------------------------------------------- /tests/pointer/templates/rc.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/templates/rc.rs -------------------------------------------------------------------------------- /tests/pointer/templates/refcell.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/templates/refcell.rs -------------------------------------------------------------------------------- /tests/pointer/templates/shared-ptr.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/templates/shared-ptr.cpp -------------------------------------------------------------------------------- /tests/pointer/templates/stack.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/templates/stack.cpp -------------------------------------------------------------------------------- /tests/pointer/templates/unique-ptr.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/templates/unique-ptr.cpp -------------------------------------------------------------------------------- /tests/pointer/templates/vec.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/templates/vec.rs -------------------------------------------------------------------------------- /tests/pointer/templates/vector-push-back.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/templates/vector-push-back.cpp -------------------------------------------------------------------------------- /tests/pointer/templates/vector.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/pointer/templates/vector.cpp -------------------------------------------------------------------------------- /tests/property/.gitignore: -------------------------------------------------------------------------------- 1 | *.bc 2 | *.ll 3 | -------------------------------------------------------------------------------- /tests/property/accumulate.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/accumulate.cpp -------------------------------------------------------------------------------- /tests/property/allocation-sizes.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/allocation-sizes.c -------------------------------------------------------------------------------- /tests/property/array-tests.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/array-tests.c -------------------------------------------------------------------------------- /tests/property/basictemplates.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/basictemplates.cpp -------------------------------------------------------------------------------- /tests/property/cdg-test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/cdg-test.c -------------------------------------------------------------------------------- /tests/property/cfg-test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/cfg-test.c -------------------------------------------------------------------------------- /tests/property/customclass.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/customclass.cpp -------------------------------------------------------------------------------- /tests/property/customclassinheritance.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/customclassinheritance.cpp -------------------------------------------------------------------------------- /tests/property/deadcode.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/deadcode.c -------------------------------------------------------------------------------- /tests/property/deadcode2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/deadcode2.c -------------------------------------------------------------------------------- /tests/property/dwarf_properties.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/dwarf_properties.cpp -------------------------------------------------------------------------------- /tests/property/dwarf_properties2.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/dwarf_properties2.cpp -------------------------------------------------------------------------------- /tests/property/dynamic-cast.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/dynamic-cast.cpp -------------------------------------------------------------------------------- /tests/property/errno.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/errno.c -------------------------------------------------------------------------------- /tests/property/ex_simple.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/ex_simple.c -------------------------------------------------------------------------------- /tests/property/ex_symb_index.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/ex_symb_index.c -------------------------------------------------------------------------------- /tests/property/exception-driven-control-flow.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/exception-driven-control-flow.cpp -------------------------------------------------------------------------------- /tests/property/exceptions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/exceptions.cpp -------------------------------------------------------------------------------- /tests/property/extra-args.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/extra-args.c -------------------------------------------------------------------------------- /tests/property/fancytypes.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/fancytypes.c -------------------------------------------------------------------------------- /tests/property/forcedentry.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/forcedentry.cpp -------------------------------------------------------------------------------- /tests/property/friends.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/friends.cpp -------------------------------------------------------------------------------- /tests/property/functiontable.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/functiontable.c -------------------------------------------------------------------------------- /tests/property/functiontablebranch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/functiontablebranch.c -------------------------------------------------------------------------------- /tests/property/functiontableparm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/functiontableparm.c -------------------------------------------------------------------------------- /tests/property/garfield_minimised_setchr.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/garfield_minimised_setchr.cpp -------------------------------------------------------------------------------- /tests/property/garfield_minimised_substr.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/garfield_minimised_substr.cpp -------------------------------------------------------------------------------- /tests/property/global.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/global.c -------------------------------------------------------------------------------- /tests/property/globalvars.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/globalvars.c -------------------------------------------------------------------------------- /tests/property/guessing-game-cxx.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/guessing-game-cxx.cpp -------------------------------------------------------------------------------- /tests/property/guessing-game-heap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/guessing-game-heap.c -------------------------------------------------------------------------------- /tests/property/guessing-game.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/guessing-game.c -------------------------------------------------------------------------------- /tests/property/heap_oob.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/heap_oob.cpp -------------------------------------------------------------------------------- /tests/property/hello.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/hello.c -------------------------------------------------------------------------------- /tests/property/inlineasm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/inlineasm.c -------------------------------------------------------------------------------- /tests/property/inlineasm2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/inlineasm2.c -------------------------------------------------------------------------------- /tests/property/inlineasm3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/inlineasm3.c -------------------------------------------------------------------------------- /tests/property/inlineasm4.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/inlineasm4.c -------------------------------------------------------------------------------- /tests/property/inlinedfuncs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/inlinedfuncs.c -------------------------------------------------------------------------------- /tests/property/inlinedfuncs2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/inlinedfuncs2.c -------------------------------------------------------------------------------- /tests/property/interprocedural_dataflow_test.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/interprocedural_dataflow_test.cpp -------------------------------------------------------------------------------- /tests/property/issue_1058.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/issue_1058.cpp -------------------------------------------------------------------------------- /tests/property/issue_1137.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/issue_1137.c -------------------------------------------------------------------------------- /tests/property/issue_1522.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/issue_1522.cpp -------------------------------------------------------------------------------- /tests/property/issue_954.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/issue_954.c -------------------------------------------------------------------------------- /tests/property/iterator-invalidation.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/iterator-invalidation.cpp -------------------------------------------------------------------------------- /tests/property/lambda.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/lambda.cpp -------------------------------------------------------------------------------- /tests/property/linkedlist.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/linkedlist.c -------------------------------------------------------------------------------- /tests/property/liveness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/liveness.c -------------------------------------------------------------------------------- /tests/property/mini-fenway-uaf.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/mini-fenway-uaf.c -------------------------------------------------------------------------------- /tests/property/mmap.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/mmap.c -------------------------------------------------------------------------------- /tests/property/multi_recv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/multi_recv.c -------------------------------------------------------------------------------- /tests/property/nested.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/nested.c -------------------------------------------------------------------------------- /tests/property/nested_structs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/nested_structs.c -------------------------------------------------------------------------------- /tests/property/nestedlambda.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/nestedlambda.cpp -------------------------------------------------------------------------------- /tests/property/nestedtypes.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/nestedtypes.c -------------------------------------------------------------------------------- /tests/property/nontypetemplate.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/nontypetemplate.cpp -------------------------------------------------------------------------------- /tests/property/overflowable-allocations.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/overflowable-allocations.cpp -------------------------------------------------------------------------------- /tests/property/ovington-extra-minimal.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/ovington-extra-minimal.cpp -------------------------------------------------------------------------------- /tests/property/ovington-minimal.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/ovington-minimal.cpp -------------------------------------------------------------------------------- /tests/property/param-binding-and-return.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/param-binding-and-return.cpp -------------------------------------------------------------------------------- /tests/property/placement_new_simple.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/placement_new_simple.cpp -------------------------------------------------------------------------------- /tests/property/recurse.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/recurse.c -------------------------------------------------------------------------------- /tests/property/recurselambda.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/recurselambda.cpp -------------------------------------------------------------------------------- /tests/property/simple-uaf-read.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/simple-uaf-read.c -------------------------------------------------------------------------------- /tests/property/simple-uaf-write.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/simple-uaf-write.c -------------------------------------------------------------------------------- /tests/property/simple-uaf.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/simple-uaf.cpp -------------------------------------------------------------------------------- /tests/property/stack-args-2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/stack-args-2.c -------------------------------------------------------------------------------- /tests/property/stack-args.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/stack-args.c -------------------------------------------------------------------------------- /tests/property/standalone.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/standalone.c -------------------------------------------------------------------------------- /tests/property/staticfuncs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/staticfuncs.c -------------------------------------------------------------------------------- /tests/property/stdinttypes.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/stdinttypes.c -------------------------------------------------------------------------------- /tests/property/strings.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/strings.cpp -------------------------------------------------------------------------------- /tests/property/struct-by-value.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/struct-by-value.c -------------------------------------------------------------------------------- /tests/property/struct_bounds.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/struct_bounds.c -------------------------------------------------------------------------------- /tests/property/switch.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/switch.c -------------------------------------------------------------------------------- /tests/property/symbol-alias.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/symbol-alias.c -------------------------------------------------------------------------------- /tests/property/symbol-menagerie.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/symbol-menagerie.c -------------------------------------------------------------------------------- /tests/property/test-dataflow-small.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/test-dataflow-small.c -------------------------------------------------------------------------------- /tests/property/test-dataflow.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/test-dataflow.c -------------------------------------------------------------------------------- /tests/property/triple_nested_structs.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/triple_nested_structs.c -------------------------------------------------------------------------------- /tests/property/truncated-integer.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/truncated-integer.cpp -------------------------------------------------------------------------------- /tests/property/type-backprop.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/type-backprop.c -------------------------------------------------------------------------------- /tests/property/uninit-stack-array-use.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/uninit-stack-array-use.c -------------------------------------------------------------------------------- /tests/property/uninit-stack-var-use.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/uninit-stack-var-use.c -------------------------------------------------------------------------------- /tests/property/unused_argument.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/unused_argument.c -------------------------------------------------------------------------------- /tests/property/variadicfunctemplate.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/variadicfunctemplate.cpp -------------------------------------------------------------------------------- /tests/property/variadictemplatemultiple.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/variadictemplatemultiple.cpp -------------------------------------------------------------------------------- /tests/property/virtual-multiple-inheritance.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/virtual-multiple-inheritance.cpp -------------------------------------------------------------------------------- /tests/property/virtual.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/virtual.cpp -------------------------------------------------------------------------------- /tests/property/voidptr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/GaloisInc/yapall/HEAD/tests/property/voidptr.c --------------------------------------------------------------------------------