├── .gitignore ├── .gitmodules ├── LICENSE.txt ├── Makefile ├── README.md ├── cclyzer-logo.png ├── docs ├── Makefile └── source │ ├── conf.py │ └── index.rst ├── examples ├── Makefile ├── complex_struct.c ├── exceptions.cpp ├── memory.c ├── minimal.cpp ├── nested_template.cpp ├── references.cpp ├── structEx.c ├── template.cpp ├── traverse.c └── vararrays.c ├── requirements.txt ├── scripts ├── cclyzer ├── compute_stats.py ├── gen-protobuf-message ├── pack-facts.py └── project-dependencies ├── setup.py ├── src ├── common.mk ├── logic │ ├── Makefile │ ├── blox.mk │ ├── callgraph │ │ ├── at-exit.logic │ │ ├── callgraph.logic │ │ ├── callgraph.project │ │ ├── entry-points.logic │ │ └── reachability.logic │ ├── debuginfo │ │ ├── debuginfo.project │ │ ├── load.logic │ │ ├── match-nodes.logic │ │ ├── node-pretty-printing.logic │ │ ├── node-representatives.logic │ │ ├── templates.logic │ │ └── type-layout.logic │ ├── import │ │ ├── .ignored-predicates │ │ ├── import-entities.logic │ │ ├── import-predicates.logic │ │ └── import.project │ ├── json-export │ │ ├── json-export.logic │ │ └── json-export.project │ ├── pearce-paste04 │ │ ├── allocations-decl.logic │ │ ├── allocations-subobjects-aliases.logic │ │ ├── allocations-subobjects.logic │ │ ├── allocations.logic │ │ ├── class-type.logic │ │ ├── constant-exprs.logic │ │ ├── constant-init.logic │ │ ├── core.logic │ │ ├── cplusplus.logic │ │ ├── field-sensitivity.logic │ │ ├── interprocedural.logic │ │ ├── memcpy.logic │ │ ├── pearce-paste04-queries.logic │ │ ├── pearce-paste04.project │ │ ├── points-to-decl.logic │ │ ├── points-to-options.logic │ │ ├── points-to-statistics.logic │ │ ├── type-compatibility.logic │ │ └── virtual-tables.logic │ ├── points-to │ │ ├── allocations-decl.logic │ │ ├── allocations-sizes.logic │ │ ├── allocations-subobjects-aliases.logic │ │ ├── allocations-subobjects.logic │ │ ├── allocations.logic │ │ ├── class-type.logic │ │ ├── constant-exprs.logic │ │ ├── constant-init.logic │ │ ├── core.logic │ │ ├── cplusplus-atexit.logic │ │ ├── cplusplus-exceptions.logic │ │ ├── cplusplus.logic │ │ ├── field-sensitivity.logic │ │ ├── interprocedural.logic │ │ ├── memcpy.logic │ │ ├── points-to-decl.logic │ │ ├── points-to-options.logic │ │ ├── points-to-queries.logic │ │ ├── points-to-statistics.logic │ │ ├── points-to.project │ │ ├── type-back-propagation.logic │ │ ├── type-compatibility.logic │ │ └── virtual-tables.logic │ ├── schema │ │ ├── activate-sanity.logic │ │ ├── add-instruction.logic │ │ ├── alloca-instruction.logic │ │ ├── and-instruction.logic │ │ ├── ashr-instruction.logic │ │ ├── asm.logic │ │ ├── atomicrmw-instruction.logic │ │ ├── attribute.logic │ │ ├── auxiliary.logic │ │ ├── bitcast-instruction.logic │ │ ├── br-instruction.logic │ │ ├── call-instruction.logic │ │ ├── calling-convention.logic │ │ ├── cmpxchg-instruction.logic │ │ ├── constants.logic │ │ ├── debuginfo │ │ │ ├── entry.logic │ │ │ ├── enumerators.logic │ │ │ ├── file.logic │ │ │ ├── imports.logic │ │ │ ├── lexical_scopes.logic │ │ │ ├── location.logic │ │ │ ├── namespace.logic │ │ │ ├── subprogram.logic │ │ │ ├── subrange.logic │ │ │ ├── tag.logic │ │ │ ├── templates.logic │ │ │ ├── types.logic │ │ │ └── variable.logic │ │ ├── derived-type.logic │ │ ├── extractelement-instruction.logic │ │ ├── extractvalue-instruction.logic │ │ ├── fadd-instruction.logic │ │ ├── fcmp-instruction.logic │ │ ├── fdiv-instruction.logic │ │ ├── fence-instruction.logic │ │ ├── flag.logic │ │ ├── fmul-instruction.logic │ │ ├── fpext-instruction.logic │ │ ├── fptosi-instruction.logic │ │ ├── fptoui-instruction.logic │ │ ├── fptrunc-instruction.logic │ │ ├── frem-instruction.logic │ │ ├── fsub-instruction.logic │ │ ├── function.logic │ │ ├── getelementptr-instruction.logic │ │ ├── global.logic │ │ ├── icmp-instruction.logic │ │ ├── indirectbr-instruction.logic │ │ ├── insertelement-instruction.logic │ │ ├── insertvalue-instruction.logic │ │ ├── instruction.logic │ │ ├── inttoptr-instruction.logic │ │ ├── invoke-instruction.logic │ │ ├── landingpad-instruction.logic │ │ ├── load-instruction.logic │ │ ├── lshr-instruction.logic │ │ ├── mul-instruction.logic │ │ ├── operand.logic │ │ ├── or-instruction.logic │ │ ├── ordering.logic │ │ ├── phi-instruction.logic │ │ ├── primitive-type.logic │ │ ├── ptrtoint-instruction.logic │ │ ├── resume-instruction.logic │ │ ├── ret-instruction.logic │ │ ├── sanity.logic │ │ ├── schema.project │ │ ├── sdiv-instruction.logic │ │ ├── select-instruction.logic │ │ ├── sext-instruction.logic │ │ ├── shl-instruction.logic │ │ ├── shufflevector-instruction.logic │ │ ├── sitofp-instruction.logic │ │ ├── srem-instruction.logic │ │ ├── store-instruction.logic │ │ ├── sub-instruction.logic │ │ ├── switch-instruction.logic │ │ ├── trunc-instruction.logic │ │ ├── type.logic │ │ ├── udiv-instruction.logic │ │ ├── uitofp-instruction.logic │ │ ├── unreachable-instruction.logic │ │ ├── urem-instruction.logic │ │ ├── va-arg-instruction.logic │ │ ├── xor-instruction.logic │ │ └── zext-instruction.logic │ └── symbol-lookup │ │ ├── resolve-function-calls.logic │ │ └── symbol-lookup.project ├── main │ ├── blox │ │ ├── __init__.py │ │ ├── connect.py │ │ ├── load_project_script.py │ │ ├── load_schema_script.py │ │ └── script.py │ ├── cclyzer │ │ ├── __init__.py │ │ ├── analysis.py │ │ ├── analysis_config.py │ │ ├── analysis_stats.py │ │ ├── analysis_steps.py │ │ ├── cli │ │ │ ├── __init__.py │ │ │ ├── analyze.py │ │ │ ├── ast_export.py │ │ │ ├── commands.py │ │ │ ├── configure.py │ │ │ ├── load_module.py │ │ │ ├── log.py │ │ │ ├── logging_utils.py │ │ │ └── timing_utils.py │ │ ├── collect │ │ │ ├── __init__.py │ │ │ └── json_collector.py │ │ ├── config │ │ │ ├── __init__.py │ │ │ ├── custom_analysis.py │ │ │ └── yaml_impl.py │ │ ├── project.py │ │ ├── resource.py │ │ ├── runtime │ │ │ ├── __init__.py │ │ │ ├── environment.py │ │ │ └── file_manager.py │ │ └── settings.py │ ├── resources │ │ ├── __init__.py │ │ └── default_config.yaml │ ├── tests │ │ └── __init__.py │ └── utils │ │ ├── __init__.py │ │ ├── contextlib2.py │ │ ├── singleton.py │ │ └── timer.py └── tests │ ├── computil.py │ ├── registry.py │ ├── resources │ └── facts.zip │ └── test_factgen.py ├── tests ├── coreutils-8.24 │ ├── .dirstamp │ ├── [.bc │ ├── base64.bc │ ├── basename.bc │ ├── cat.bc │ ├── chcon.bc │ ├── chgrp.bc │ ├── chmod.bc │ ├── chown.bc │ ├── chroot.bc │ ├── cksum.bc │ ├── comm.bc │ ├── coreutils.h │ ├── cp.bc │ ├── csplit.bc │ ├── cut.bc │ ├── date.bc │ ├── dd.bc │ ├── df.bc │ ├── dir.bc │ ├── dircolors.bc │ ├── dirname.bc │ ├── du.bc │ ├── echo.bc │ ├── env.bc │ ├── expand.bc │ ├── expr.bc │ ├── factor.bc │ ├── false.bc │ ├── fmt.bc │ ├── fold.bc │ ├── getlimits.bc │ ├── ginstall.bc │ ├── groups.bc │ ├── head.bc │ ├── hostid.bc │ ├── id.bc │ ├── join.bc │ ├── kill.bc │ ├── libstdbuf.so.bc │ ├── libver.a │ ├── link.bc │ ├── ln.bc │ ├── logname.bc │ ├── ls.bc │ ├── make-prime-list.bc │ ├── md5sum.bc │ ├── mkdir.bc │ ├── mkfifo.bc │ ├── mknod.bc │ ├── mktemp.bc │ ├── mv.bc │ ├── nice.bc │ ├── nl.bc │ ├── nohup.bc │ ├── nproc.bc │ ├── numfmt.bc │ ├── od.bc │ ├── paste.bc │ ├── pathchk.bc │ ├── pinky.bc │ ├── pr.bc │ ├── printenv.bc │ ├── printf.bc │ ├── ptx.bc │ ├── pwd.bc │ ├── readlink.bc │ ├── realpath.bc │ ├── rm.bc │ ├── rmdir.bc │ ├── runcon.bc │ ├── seq.bc │ ├── sha1sum.bc │ ├── sha224sum.bc │ ├── sha256sum.bc │ ├── sha384sum.bc │ ├── sha512sum.bc │ ├── shred.bc │ ├── shuf.bc │ ├── sleep.bc │ ├── sort.bc │ ├── split.bc │ ├── stat.bc │ ├── stdbuf.bc │ ├── stty.bc │ ├── sum.bc │ ├── sync.bc │ ├── tac.bc │ ├── tail.bc │ ├── tee.bc │ ├── test.bc │ ├── timeout.bc │ ├── touch.bc │ ├── tr.bc │ ├── true.bc │ ├── truncate.bc │ ├── tsort.bc │ ├── tty.bc │ ├── uname.bc │ ├── unexpand.bc │ ├── uniq.bc │ ├── unlink.bc │ ├── uptime.bc │ ├── users.bc │ ├── vdir.bc │ ├── wc.bc │ ├── who.bc │ ├── whoami.bc │ └── yes.bc └── postgresql-9.5.2 │ ├── clusterdb.bc │ ├── createdb.bc │ ├── createlang.bc │ ├── createuser.bc │ ├── dict_snowball.so.bc │ ├── dropdb.bc │ ├── droplang.bc │ ├── dropuser.bc │ ├── ecpg.bc │ ├── initdb.bc │ ├── libecpg.so.6.7.bc │ ├── libecpg_compat.so.3.7.bc │ ├── libpgtypes.so.3.6.bc │ ├── libpq.so.5.8.bc │ ├── libpqwalreceiver.so.bc │ ├── pg_basebackup.bc │ ├── pg_ctl.bc │ ├── pg_dump.bc │ ├── pg_dumpall.bc │ ├── pg_isready.bc │ ├── pg_receivexlog.bc │ ├── pg_recvlogical.bc │ ├── pg_restore.bc │ ├── pg_rewind.bc │ ├── pg_upgrade.bc │ ├── pgbench.bc │ ├── plpgsql.so.bc │ ├── psql.bc │ ├── reindexdb.bc │ └── vacuumdb.bc └── tools ├── fact-generator ├── .dir-locals.el ├── Makefile ├── include │ ├── DebugInfoProcessor.hpp │ ├── Demangler.hpp │ ├── FactGenerator.hpp │ ├── FactWriter.hpp │ ├── ForwardingFactWriter.hpp │ ├── InstructionVisitor.hpp │ ├── Options.hpp │ ├── ParseException.hpp │ ├── RefmodeEngine.hpp │ ├── Singleton.hpp │ ├── TypeAccumulator.hpp │ ├── TypeVisitor.hpp │ ├── csv_writer.hpp │ ├── debuginfo_predicate_groups.hpp │ ├── factgen.hpp │ ├── llvm_enums.hpp │ ├── predicate.hpp │ └── predicate_groups.hpp └── src │ ├── ContextManager.hpp │ ├── DebugInfoProcessor.cpp │ ├── DebugInfoProcessorImpl.cpp │ ├── DebugInfoProcessorImpl.hpp │ ├── FactGenerator.cpp │ ├── FactWriter.cpp │ ├── InstructionVisitor.cpp │ ├── Options.cpp │ ├── PyFactGen.cpp │ ├── RefmodeEngine.cpp │ ├── RefmodeEngineImpl.cpp │ ├── RefmodeEngineImpl.hpp │ ├── TypeAccumulator.cpp │ ├── TypeVisitor.cpp │ ├── assembly.cpp │ ├── constants.cpp │ ├── debuginfo_enums.cpp │ ├── debuginfo_imports.cpp │ ├── debuginfo_locations.cpp │ ├── debuginfo_scopes.cpp │ ├── debuginfo_subranges.cpp │ ├── debuginfo_templates.cpp │ ├── debuginfo_types.cpp │ ├── debuginfo_unions.cpp │ ├── debuginfo_variables.cpp │ ├── functions.cpp │ ├── globals.cpp │ ├── llvm_enums.cpp │ ├── main.cpp │ ├── operands.cpp │ ├── predicate.cpp │ └── predicate_groups.cpp ├── import-generator ├── Makefile ├── include │ ├── FilePredicateParts.h │ ├── Options.h │ ├── Predicate.h │ └── parse-protobuf.h └── src │ ├── FilePredicatesParts.cc │ ├── Options.cc │ ├── Predicate.cc │ ├── import-generator.cc │ └── parse-protobuf.cc └── json-ast-exporter ├── .dir-locals.el ├── Makefile └── src ├── Options.cpp ├── Options.hpp ├── PyExportAST.cpp ├── ast_export.cpp ├── ast_export.hpp ├── ast_visitor.cpp ├── ast_visitor.hpp ├── json_utils.cpp ├── json_utils.hpp └── main.cpp /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/.gitmodules -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/README.md -------------------------------------------------------------------------------- /cclyzer-logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/cclyzer-logo.png -------------------------------------------------------------------------------- /docs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/docs/Makefile -------------------------------------------------------------------------------- /docs/source/conf.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/docs/source/conf.py -------------------------------------------------------------------------------- /docs/source/index.rst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/docs/source/index.rst -------------------------------------------------------------------------------- /examples/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/examples/Makefile -------------------------------------------------------------------------------- /examples/complex_struct.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/examples/complex_struct.c -------------------------------------------------------------------------------- /examples/exceptions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/examples/exceptions.cpp -------------------------------------------------------------------------------- /examples/memory.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/examples/memory.c -------------------------------------------------------------------------------- /examples/minimal.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/examples/minimal.cpp -------------------------------------------------------------------------------- /examples/nested_template.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/examples/nested_template.cpp -------------------------------------------------------------------------------- /examples/references.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/examples/references.cpp -------------------------------------------------------------------------------- /examples/structEx.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/examples/structEx.c -------------------------------------------------------------------------------- /examples/template.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/examples/template.cpp -------------------------------------------------------------------------------- /examples/traverse.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/examples/traverse.c -------------------------------------------------------------------------------- /examples/vararrays.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/examples/vararrays.c -------------------------------------------------------------------------------- /requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/requirements.txt -------------------------------------------------------------------------------- /scripts/cclyzer: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/scripts/cclyzer -------------------------------------------------------------------------------- /scripts/compute_stats.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/scripts/compute_stats.py -------------------------------------------------------------------------------- /scripts/gen-protobuf-message: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/scripts/gen-protobuf-message -------------------------------------------------------------------------------- /scripts/pack-facts.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/scripts/pack-facts.py -------------------------------------------------------------------------------- /scripts/project-dependencies: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/scripts/project-dependencies -------------------------------------------------------------------------------- /setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/setup.py -------------------------------------------------------------------------------- /src/common.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/common.mk -------------------------------------------------------------------------------- /src/logic/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/Makefile -------------------------------------------------------------------------------- /src/logic/blox.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/blox.mk -------------------------------------------------------------------------------- /src/logic/callgraph/at-exit.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/callgraph/at-exit.logic -------------------------------------------------------------------------------- /src/logic/callgraph/callgraph.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/callgraph/callgraph.logic -------------------------------------------------------------------------------- /src/logic/callgraph/callgraph.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/callgraph/callgraph.project -------------------------------------------------------------------------------- /src/logic/callgraph/entry-points.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/callgraph/entry-points.logic -------------------------------------------------------------------------------- /src/logic/callgraph/reachability.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/callgraph/reachability.logic -------------------------------------------------------------------------------- /src/logic/debuginfo/debuginfo.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/debuginfo/debuginfo.project -------------------------------------------------------------------------------- /src/logic/debuginfo/load.logic: -------------------------------------------------------------------------------- 1 | debuginfo:loaded() <- di:entry(_). 2 | -------------------------------------------------------------------------------- /src/logic/debuginfo/match-nodes.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/debuginfo/match-nodes.logic -------------------------------------------------------------------------------- /src/logic/debuginfo/node-pretty-printing.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/debuginfo/node-pretty-printing.logic -------------------------------------------------------------------------------- /src/logic/debuginfo/node-representatives.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/debuginfo/node-representatives.logic -------------------------------------------------------------------------------- /src/logic/debuginfo/templates.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/debuginfo/templates.logic -------------------------------------------------------------------------------- /src/logic/debuginfo/type-layout.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/debuginfo/type-layout.logic -------------------------------------------------------------------------------- /src/logic/import/.ignored-predicates: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/import/.ignored-predicates -------------------------------------------------------------------------------- /src/logic/import/import-entities.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/import/import-entities.logic -------------------------------------------------------------------------------- /src/logic/import/import-predicates.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/import/import-predicates.logic -------------------------------------------------------------------------------- /src/logic/import/import.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/import/import.project -------------------------------------------------------------------------------- /src/logic/json-export/json-export.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/json-export/json-export.logic -------------------------------------------------------------------------------- /src/logic/json-export/json-export.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/json-export/json-export.project -------------------------------------------------------------------------------- /src/logic/pearce-paste04/allocations-decl.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/pearce-paste04/allocations-decl.logic -------------------------------------------------------------------------------- /src/logic/pearce-paste04/allocations-subobjects-aliases.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/pearce-paste04/allocations-subobjects-aliases.logic -------------------------------------------------------------------------------- /src/logic/pearce-paste04/allocations-subobjects.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/pearce-paste04/allocations-subobjects.logic -------------------------------------------------------------------------------- /src/logic/pearce-paste04/allocations.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/pearce-paste04/allocations.logic -------------------------------------------------------------------------------- /src/logic/pearce-paste04/class-type.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/pearce-paste04/class-type.logic -------------------------------------------------------------------------------- /src/logic/pearce-paste04/constant-exprs.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/pearce-paste04/constant-exprs.logic -------------------------------------------------------------------------------- /src/logic/pearce-paste04/constant-init.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/pearce-paste04/constant-init.logic -------------------------------------------------------------------------------- /src/logic/pearce-paste04/core.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/pearce-paste04/core.logic -------------------------------------------------------------------------------- /src/logic/pearce-paste04/cplusplus.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/pearce-paste04/cplusplus.logic -------------------------------------------------------------------------------- /src/logic/pearce-paste04/field-sensitivity.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/pearce-paste04/field-sensitivity.logic -------------------------------------------------------------------------------- /src/logic/pearce-paste04/interprocedural.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/pearce-paste04/interprocedural.logic -------------------------------------------------------------------------------- /src/logic/pearce-paste04/memcpy.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/pearce-paste04/memcpy.logic -------------------------------------------------------------------------------- /src/logic/pearce-paste04/pearce-paste04-queries.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/pearce-paste04/pearce-paste04-queries.logic -------------------------------------------------------------------------------- /src/logic/pearce-paste04/pearce-paste04.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/pearce-paste04/pearce-paste04.project -------------------------------------------------------------------------------- /src/logic/pearce-paste04/points-to-decl.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/pearce-paste04/points-to-decl.logic -------------------------------------------------------------------------------- /src/logic/pearce-paste04/points-to-options.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/pearce-paste04/points-to-options.logic -------------------------------------------------------------------------------- /src/logic/pearce-paste04/points-to-statistics.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/pearce-paste04/points-to-statistics.logic -------------------------------------------------------------------------------- /src/logic/pearce-paste04/type-compatibility.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/pearce-paste04/type-compatibility.logic -------------------------------------------------------------------------------- /src/logic/pearce-paste04/virtual-tables.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/pearce-paste04/virtual-tables.logic -------------------------------------------------------------------------------- /src/logic/points-to/allocations-decl.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/points-to/allocations-decl.logic -------------------------------------------------------------------------------- /src/logic/points-to/allocations-sizes.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/points-to/allocations-sizes.logic -------------------------------------------------------------------------------- /src/logic/points-to/allocations-subobjects-aliases.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/points-to/allocations-subobjects-aliases.logic -------------------------------------------------------------------------------- /src/logic/points-to/allocations-subobjects.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/points-to/allocations-subobjects.logic -------------------------------------------------------------------------------- /src/logic/points-to/allocations.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/points-to/allocations.logic -------------------------------------------------------------------------------- /src/logic/points-to/class-type.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/points-to/class-type.logic -------------------------------------------------------------------------------- /src/logic/points-to/constant-exprs.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/points-to/constant-exprs.logic -------------------------------------------------------------------------------- /src/logic/points-to/constant-init.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/points-to/constant-init.logic -------------------------------------------------------------------------------- /src/logic/points-to/core.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/points-to/core.logic -------------------------------------------------------------------------------- /src/logic/points-to/cplusplus-atexit.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/points-to/cplusplus-atexit.logic -------------------------------------------------------------------------------- /src/logic/points-to/cplusplus-exceptions.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/points-to/cplusplus-exceptions.logic -------------------------------------------------------------------------------- /src/logic/points-to/cplusplus.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/points-to/cplusplus.logic -------------------------------------------------------------------------------- /src/logic/points-to/field-sensitivity.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/points-to/field-sensitivity.logic -------------------------------------------------------------------------------- /src/logic/points-to/interprocedural.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/points-to/interprocedural.logic -------------------------------------------------------------------------------- /src/logic/points-to/memcpy.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/points-to/memcpy.logic -------------------------------------------------------------------------------- /src/logic/points-to/points-to-decl.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/points-to/points-to-decl.logic -------------------------------------------------------------------------------- /src/logic/points-to/points-to-options.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/points-to/points-to-options.logic -------------------------------------------------------------------------------- /src/logic/points-to/points-to-queries.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/points-to/points-to-queries.logic -------------------------------------------------------------------------------- /src/logic/points-to/points-to-statistics.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/points-to/points-to-statistics.logic -------------------------------------------------------------------------------- /src/logic/points-to/points-to.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/points-to/points-to.project -------------------------------------------------------------------------------- /src/logic/points-to/type-back-propagation.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/points-to/type-back-propagation.logic -------------------------------------------------------------------------------- /src/logic/points-to/type-compatibility.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/points-to/type-compatibility.logic -------------------------------------------------------------------------------- /src/logic/points-to/virtual-tables.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/points-to/virtual-tables.logic -------------------------------------------------------------------------------- /src/logic/schema/activate-sanity.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/activate-sanity.logic -------------------------------------------------------------------------------- /src/logic/schema/add-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/add-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/alloca-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/alloca-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/and-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/and-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/ashr-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/ashr-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/asm.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/asm.logic -------------------------------------------------------------------------------- /src/logic/schema/atomicrmw-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/atomicrmw-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/attribute.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/attribute.logic -------------------------------------------------------------------------------- /src/logic/schema/auxiliary.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/auxiliary.logic -------------------------------------------------------------------------------- /src/logic/schema/bitcast-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/bitcast-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/br-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/br-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/call-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/call-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/calling-convention.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/calling-convention.logic -------------------------------------------------------------------------------- /src/logic/schema/cmpxchg-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/cmpxchg-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/constants.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/constants.logic -------------------------------------------------------------------------------- /src/logic/schema/debuginfo/entry.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/debuginfo/entry.logic -------------------------------------------------------------------------------- /src/logic/schema/debuginfo/enumerators.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/debuginfo/enumerators.logic -------------------------------------------------------------------------------- /src/logic/schema/debuginfo/file.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/debuginfo/file.logic -------------------------------------------------------------------------------- /src/logic/schema/debuginfo/imports.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/debuginfo/imports.logic -------------------------------------------------------------------------------- /src/logic/schema/debuginfo/lexical_scopes.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/debuginfo/lexical_scopes.logic -------------------------------------------------------------------------------- /src/logic/schema/debuginfo/location.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/debuginfo/location.logic -------------------------------------------------------------------------------- /src/logic/schema/debuginfo/namespace.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/debuginfo/namespace.logic -------------------------------------------------------------------------------- /src/logic/schema/debuginfo/subprogram.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/debuginfo/subprogram.logic -------------------------------------------------------------------------------- /src/logic/schema/debuginfo/subrange.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/debuginfo/subrange.logic -------------------------------------------------------------------------------- /src/logic/schema/debuginfo/tag.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/debuginfo/tag.logic -------------------------------------------------------------------------------- /src/logic/schema/debuginfo/templates.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/debuginfo/templates.logic -------------------------------------------------------------------------------- /src/logic/schema/debuginfo/types.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/debuginfo/types.logic -------------------------------------------------------------------------------- /src/logic/schema/debuginfo/variable.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/debuginfo/variable.logic -------------------------------------------------------------------------------- /src/logic/schema/derived-type.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/derived-type.logic -------------------------------------------------------------------------------- /src/logic/schema/extractelement-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/extractelement-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/extractvalue-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/extractvalue-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/fadd-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/fadd-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/fcmp-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/fcmp-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/fdiv-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/fdiv-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/fence-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/fence-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/flag.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/flag.logic -------------------------------------------------------------------------------- /src/logic/schema/fmul-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/fmul-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/fpext-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/fpext-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/fptosi-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/fptosi-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/fptoui-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/fptoui-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/fptrunc-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/fptrunc-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/frem-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/frem-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/fsub-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/fsub-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/function.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/function.logic -------------------------------------------------------------------------------- /src/logic/schema/getelementptr-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/getelementptr-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/global.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/global.logic -------------------------------------------------------------------------------- /src/logic/schema/icmp-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/icmp-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/indirectbr-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/indirectbr-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/insertelement-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/insertelement-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/insertvalue-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/insertvalue-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/inttoptr-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/inttoptr-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/invoke-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/invoke-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/landingpad-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/landingpad-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/load-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/load-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/lshr-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/lshr-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/mul-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/mul-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/operand.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/operand.logic -------------------------------------------------------------------------------- /src/logic/schema/or-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/or-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/ordering.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/ordering.logic -------------------------------------------------------------------------------- /src/logic/schema/phi-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/phi-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/primitive-type.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/primitive-type.logic -------------------------------------------------------------------------------- /src/logic/schema/ptrtoint-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/ptrtoint-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/resume-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/resume-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/ret-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/ret-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/sanity.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/sanity.logic -------------------------------------------------------------------------------- /src/logic/schema/schema.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/schema.project -------------------------------------------------------------------------------- /src/logic/schema/sdiv-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/sdiv-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/select-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/select-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/sext-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/sext-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/shl-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/shl-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/shufflevector-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/shufflevector-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/sitofp-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/sitofp-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/srem-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/srem-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/store-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/store-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/sub-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/sub-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/switch-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/switch-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/trunc-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/trunc-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/type.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/type.logic -------------------------------------------------------------------------------- /src/logic/schema/udiv-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/udiv-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/uitofp-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/uitofp-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/unreachable-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/unreachable-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/urem-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/urem-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/va-arg-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/va-arg-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/xor-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/xor-instruction.logic -------------------------------------------------------------------------------- /src/logic/schema/zext-instruction.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/schema/zext-instruction.logic -------------------------------------------------------------------------------- /src/logic/symbol-lookup/resolve-function-calls.logic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/symbol-lookup/resolve-function-calls.logic -------------------------------------------------------------------------------- /src/logic/symbol-lookup/symbol-lookup.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/logic/symbol-lookup/symbol-lookup.project -------------------------------------------------------------------------------- /src/main/blox/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/main/blox/__init__.py -------------------------------------------------------------------------------- /src/main/blox/connect.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/main/blox/connect.py -------------------------------------------------------------------------------- /src/main/blox/load_project_script.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/main/blox/load_project_script.py -------------------------------------------------------------------------------- /src/main/blox/load_schema_script.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/main/blox/load_schema_script.py -------------------------------------------------------------------------------- /src/main/blox/script.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/main/blox/script.py -------------------------------------------------------------------------------- /src/main/cclyzer/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/main/cclyzer/__init__.py -------------------------------------------------------------------------------- /src/main/cclyzer/analysis.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/main/cclyzer/analysis.py -------------------------------------------------------------------------------- /src/main/cclyzer/analysis_config.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/main/cclyzer/analysis_config.py -------------------------------------------------------------------------------- /src/main/cclyzer/analysis_stats.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/main/cclyzer/analysis_stats.py -------------------------------------------------------------------------------- /src/main/cclyzer/analysis_steps.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/main/cclyzer/analysis_steps.py -------------------------------------------------------------------------------- /src/main/cclyzer/cli/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/main/cclyzer/cli/__init__.py -------------------------------------------------------------------------------- /src/main/cclyzer/cli/analyze.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/main/cclyzer/cli/analyze.py -------------------------------------------------------------------------------- /src/main/cclyzer/cli/ast_export.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/main/cclyzer/cli/ast_export.py -------------------------------------------------------------------------------- /src/main/cclyzer/cli/commands.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/main/cclyzer/cli/commands.py -------------------------------------------------------------------------------- /src/main/cclyzer/cli/configure.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/main/cclyzer/cli/configure.py -------------------------------------------------------------------------------- /src/main/cclyzer/cli/load_module.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/main/cclyzer/cli/load_module.py -------------------------------------------------------------------------------- /src/main/cclyzer/cli/log.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/main/cclyzer/cli/log.py -------------------------------------------------------------------------------- /src/main/cclyzer/cli/logging_utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/main/cclyzer/cli/logging_utils.py -------------------------------------------------------------------------------- /src/main/cclyzer/cli/timing_utils.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/main/cclyzer/cli/timing_utils.py -------------------------------------------------------------------------------- /src/main/cclyzer/collect/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/main/cclyzer/collect/json_collector.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/main/cclyzer/collect/json_collector.py -------------------------------------------------------------------------------- /src/main/cclyzer/config/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/main/cclyzer/config/__init__.py -------------------------------------------------------------------------------- /src/main/cclyzer/config/custom_analysis.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/main/cclyzer/config/custom_analysis.py -------------------------------------------------------------------------------- /src/main/cclyzer/config/yaml_impl.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/main/cclyzer/config/yaml_impl.py -------------------------------------------------------------------------------- /src/main/cclyzer/project.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/main/cclyzer/project.py -------------------------------------------------------------------------------- /src/main/cclyzer/resource.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/main/cclyzer/resource.py -------------------------------------------------------------------------------- /src/main/cclyzer/runtime/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/main/cclyzer/runtime/__init__.py -------------------------------------------------------------------------------- /src/main/cclyzer/runtime/environment.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/main/cclyzer/runtime/environment.py -------------------------------------------------------------------------------- /src/main/cclyzer/runtime/file_manager.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/main/cclyzer/runtime/file_manager.py -------------------------------------------------------------------------------- /src/main/cclyzer/settings.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/main/cclyzer/settings.py -------------------------------------------------------------------------------- /src/main/resources/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/main/resources/default_config.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/main/resources/default_config.yaml -------------------------------------------------------------------------------- /src/main/tests/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/main/utils/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /src/main/utils/contextlib2.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/main/utils/contextlib2.py -------------------------------------------------------------------------------- /src/main/utils/singleton.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/main/utils/singleton.py -------------------------------------------------------------------------------- /src/main/utils/timer.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/main/utils/timer.py -------------------------------------------------------------------------------- /src/tests/computil.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/tests/computil.py -------------------------------------------------------------------------------- /src/tests/registry.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/tests/registry.py -------------------------------------------------------------------------------- /src/tests/resources/facts.zip: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/tests/resources/facts.zip -------------------------------------------------------------------------------- /src/tests/test_factgen.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/src/tests/test_factgen.py -------------------------------------------------------------------------------- /tests/coreutils-8.24/.dirstamp: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/coreutils-8.24/[.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/[.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/base64.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/base64.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/basename.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/basename.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/cat.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/cat.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/chcon.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/chcon.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/chgrp.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/chgrp.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/chmod.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/chmod.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/chown.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/chown.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/chroot.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/chroot.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/cksum.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/cksum.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/comm.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/comm.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/coreutils.h: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/coreutils-8.24/cp.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/cp.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/csplit.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/csplit.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/cut.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/cut.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/date.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/date.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/dd.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/dd.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/df.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/df.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/dir.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/dir.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/dircolors.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/dircolors.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/dirname.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/dirname.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/du.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/du.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/echo.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/echo.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/env.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/env.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/expand.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/expand.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/expr.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/expr.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/factor.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/factor.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/false.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/false.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/fmt.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/fmt.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/fold.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/fold.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/getlimits.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/getlimits.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/ginstall.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/ginstall.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/groups.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/groups.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/head.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/head.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/hostid.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/hostid.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/id.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/id.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/join.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/join.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/kill.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/kill.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/libstdbuf.so.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/libstdbuf.so.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/libver.a: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/libver.a -------------------------------------------------------------------------------- /tests/coreutils-8.24/link.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/link.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/ln.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/ln.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/logname.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/logname.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/ls.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/ls.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/make-prime-list.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/make-prime-list.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/md5sum.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/md5sum.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/mkdir.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/mkdir.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/mkfifo.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/mkfifo.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/mknod.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/mknod.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/mktemp.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/mktemp.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/mv.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/mv.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/nice.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/nice.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/nl.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/nl.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/nohup.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/nohup.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/nproc.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/nproc.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/numfmt.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/numfmt.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/od.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/od.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/paste.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/paste.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/pathchk.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/pathchk.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/pinky.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/pinky.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/pr.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/pr.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/printenv.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/printenv.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/printf.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/printf.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/ptx.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/ptx.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/pwd.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/pwd.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/readlink.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/readlink.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/realpath.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/realpath.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/rm.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/rm.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/rmdir.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/rmdir.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/runcon.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/runcon.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/seq.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/seq.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/sha1sum.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/sha1sum.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/sha224sum.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/sha224sum.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/sha256sum.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/sha256sum.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/sha384sum.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/sha384sum.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/sha512sum.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/sha512sum.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/shred.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/shred.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/shuf.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/shuf.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/sleep.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/sleep.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/sort.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/sort.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/split.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/split.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/stat.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/stat.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/stdbuf.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/stdbuf.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/stty.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/stty.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/sum.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/sum.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/sync.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/sync.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/tac.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/tac.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/tail.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/tail.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/tee.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/tee.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/test.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/test.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/timeout.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/timeout.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/touch.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/touch.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/tr.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/tr.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/true.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/true.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/truncate.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/truncate.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/tsort.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/tsort.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/tty.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/tty.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/uname.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/uname.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/unexpand.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/unexpand.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/uniq.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/uniq.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/unlink.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/unlink.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/uptime.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/uptime.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/users.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/users.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/vdir.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/vdir.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/wc.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/wc.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/who.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/who.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/whoami.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/whoami.bc -------------------------------------------------------------------------------- /tests/coreutils-8.24/yes.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/coreutils-8.24/yes.bc -------------------------------------------------------------------------------- /tests/postgresql-9.5.2/clusterdb.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/postgresql-9.5.2/clusterdb.bc -------------------------------------------------------------------------------- /tests/postgresql-9.5.2/createdb.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/postgresql-9.5.2/createdb.bc -------------------------------------------------------------------------------- /tests/postgresql-9.5.2/createlang.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/postgresql-9.5.2/createlang.bc -------------------------------------------------------------------------------- /tests/postgresql-9.5.2/createuser.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/postgresql-9.5.2/createuser.bc -------------------------------------------------------------------------------- /tests/postgresql-9.5.2/dict_snowball.so.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/postgresql-9.5.2/dict_snowball.so.bc -------------------------------------------------------------------------------- /tests/postgresql-9.5.2/dropdb.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/postgresql-9.5.2/dropdb.bc -------------------------------------------------------------------------------- /tests/postgresql-9.5.2/droplang.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/postgresql-9.5.2/droplang.bc -------------------------------------------------------------------------------- /tests/postgresql-9.5.2/dropuser.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/postgresql-9.5.2/dropuser.bc -------------------------------------------------------------------------------- /tests/postgresql-9.5.2/ecpg.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/postgresql-9.5.2/ecpg.bc -------------------------------------------------------------------------------- /tests/postgresql-9.5.2/initdb.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/postgresql-9.5.2/initdb.bc -------------------------------------------------------------------------------- /tests/postgresql-9.5.2/libecpg.so.6.7.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/postgresql-9.5.2/libecpg.so.6.7.bc -------------------------------------------------------------------------------- /tests/postgresql-9.5.2/libecpg_compat.so.3.7.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/postgresql-9.5.2/libecpg_compat.so.3.7.bc -------------------------------------------------------------------------------- /tests/postgresql-9.5.2/libpgtypes.so.3.6.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/postgresql-9.5.2/libpgtypes.so.3.6.bc -------------------------------------------------------------------------------- /tests/postgresql-9.5.2/libpq.so.5.8.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/postgresql-9.5.2/libpq.so.5.8.bc -------------------------------------------------------------------------------- /tests/postgresql-9.5.2/libpqwalreceiver.so.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/postgresql-9.5.2/libpqwalreceiver.so.bc -------------------------------------------------------------------------------- /tests/postgresql-9.5.2/pg_basebackup.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/postgresql-9.5.2/pg_basebackup.bc -------------------------------------------------------------------------------- /tests/postgresql-9.5.2/pg_ctl.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/postgresql-9.5.2/pg_ctl.bc -------------------------------------------------------------------------------- /tests/postgresql-9.5.2/pg_dump.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/postgresql-9.5.2/pg_dump.bc -------------------------------------------------------------------------------- /tests/postgresql-9.5.2/pg_dumpall.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/postgresql-9.5.2/pg_dumpall.bc -------------------------------------------------------------------------------- /tests/postgresql-9.5.2/pg_isready.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/postgresql-9.5.2/pg_isready.bc -------------------------------------------------------------------------------- /tests/postgresql-9.5.2/pg_receivexlog.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/postgresql-9.5.2/pg_receivexlog.bc -------------------------------------------------------------------------------- /tests/postgresql-9.5.2/pg_recvlogical.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/postgresql-9.5.2/pg_recvlogical.bc -------------------------------------------------------------------------------- /tests/postgresql-9.5.2/pg_restore.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/postgresql-9.5.2/pg_restore.bc -------------------------------------------------------------------------------- /tests/postgresql-9.5.2/pg_rewind.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/postgresql-9.5.2/pg_rewind.bc -------------------------------------------------------------------------------- /tests/postgresql-9.5.2/pg_upgrade.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/postgresql-9.5.2/pg_upgrade.bc -------------------------------------------------------------------------------- /tests/postgresql-9.5.2/pgbench.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/postgresql-9.5.2/pgbench.bc -------------------------------------------------------------------------------- /tests/postgresql-9.5.2/plpgsql.so.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/postgresql-9.5.2/plpgsql.so.bc -------------------------------------------------------------------------------- /tests/postgresql-9.5.2/psql.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/postgresql-9.5.2/psql.bc -------------------------------------------------------------------------------- /tests/postgresql-9.5.2/reindexdb.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/postgresql-9.5.2/reindexdb.bc -------------------------------------------------------------------------------- /tests/postgresql-9.5.2/vacuumdb.bc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tests/postgresql-9.5.2/vacuumdb.bc -------------------------------------------------------------------------------- /tools/fact-generator/.dir-locals.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/.dir-locals.el -------------------------------------------------------------------------------- /tools/fact-generator/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/Makefile -------------------------------------------------------------------------------- /tools/fact-generator/include/DebugInfoProcessor.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/include/DebugInfoProcessor.hpp -------------------------------------------------------------------------------- /tools/fact-generator/include/Demangler.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/include/Demangler.hpp -------------------------------------------------------------------------------- /tools/fact-generator/include/FactGenerator.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/include/FactGenerator.hpp -------------------------------------------------------------------------------- /tools/fact-generator/include/FactWriter.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/include/FactWriter.hpp -------------------------------------------------------------------------------- /tools/fact-generator/include/ForwardingFactWriter.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/include/ForwardingFactWriter.hpp -------------------------------------------------------------------------------- /tools/fact-generator/include/InstructionVisitor.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/include/InstructionVisitor.hpp -------------------------------------------------------------------------------- /tools/fact-generator/include/Options.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/include/Options.hpp -------------------------------------------------------------------------------- /tools/fact-generator/include/ParseException.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/include/ParseException.hpp -------------------------------------------------------------------------------- /tools/fact-generator/include/RefmodeEngine.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/include/RefmodeEngine.hpp -------------------------------------------------------------------------------- /tools/fact-generator/include/Singleton.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/include/Singleton.hpp -------------------------------------------------------------------------------- /tools/fact-generator/include/TypeAccumulator.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/include/TypeAccumulator.hpp -------------------------------------------------------------------------------- /tools/fact-generator/include/TypeVisitor.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/include/TypeVisitor.hpp -------------------------------------------------------------------------------- /tools/fact-generator/include/csv_writer.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/include/csv_writer.hpp -------------------------------------------------------------------------------- /tools/fact-generator/include/debuginfo_predicate_groups.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/include/debuginfo_predicate_groups.hpp -------------------------------------------------------------------------------- /tools/fact-generator/include/factgen.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/include/factgen.hpp -------------------------------------------------------------------------------- /tools/fact-generator/include/llvm_enums.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/include/llvm_enums.hpp -------------------------------------------------------------------------------- /tools/fact-generator/include/predicate.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/include/predicate.hpp -------------------------------------------------------------------------------- /tools/fact-generator/include/predicate_groups.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/include/predicate_groups.hpp -------------------------------------------------------------------------------- /tools/fact-generator/src/ContextManager.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/src/ContextManager.hpp -------------------------------------------------------------------------------- /tools/fact-generator/src/DebugInfoProcessor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/src/DebugInfoProcessor.cpp -------------------------------------------------------------------------------- /tools/fact-generator/src/DebugInfoProcessorImpl.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/src/DebugInfoProcessorImpl.cpp -------------------------------------------------------------------------------- /tools/fact-generator/src/DebugInfoProcessorImpl.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/src/DebugInfoProcessorImpl.hpp -------------------------------------------------------------------------------- /tools/fact-generator/src/FactGenerator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/src/FactGenerator.cpp -------------------------------------------------------------------------------- /tools/fact-generator/src/FactWriter.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/src/FactWriter.cpp -------------------------------------------------------------------------------- /tools/fact-generator/src/InstructionVisitor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/src/InstructionVisitor.cpp -------------------------------------------------------------------------------- /tools/fact-generator/src/Options.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/src/Options.cpp -------------------------------------------------------------------------------- /tools/fact-generator/src/PyFactGen.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/src/PyFactGen.cpp -------------------------------------------------------------------------------- /tools/fact-generator/src/RefmodeEngine.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/src/RefmodeEngine.cpp -------------------------------------------------------------------------------- /tools/fact-generator/src/RefmodeEngineImpl.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/src/RefmodeEngineImpl.cpp -------------------------------------------------------------------------------- /tools/fact-generator/src/RefmodeEngineImpl.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/src/RefmodeEngineImpl.hpp -------------------------------------------------------------------------------- /tools/fact-generator/src/TypeAccumulator.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/src/TypeAccumulator.cpp -------------------------------------------------------------------------------- /tools/fact-generator/src/TypeVisitor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/src/TypeVisitor.cpp -------------------------------------------------------------------------------- /tools/fact-generator/src/assembly.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/src/assembly.cpp -------------------------------------------------------------------------------- /tools/fact-generator/src/constants.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/src/constants.cpp -------------------------------------------------------------------------------- /tools/fact-generator/src/debuginfo_enums.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/src/debuginfo_enums.cpp -------------------------------------------------------------------------------- /tools/fact-generator/src/debuginfo_imports.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/src/debuginfo_imports.cpp -------------------------------------------------------------------------------- /tools/fact-generator/src/debuginfo_locations.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/src/debuginfo_locations.cpp -------------------------------------------------------------------------------- /tools/fact-generator/src/debuginfo_scopes.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/src/debuginfo_scopes.cpp -------------------------------------------------------------------------------- /tools/fact-generator/src/debuginfo_subranges.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/src/debuginfo_subranges.cpp -------------------------------------------------------------------------------- /tools/fact-generator/src/debuginfo_templates.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/src/debuginfo_templates.cpp -------------------------------------------------------------------------------- /tools/fact-generator/src/debuginfo_types.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/src/debuginfo_types.cpp -------------------------------------------------------------------------------- /tools/fact-generator/src/debuginfo_unions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/src/debuginfo_unions.cpp -------------------------------------------------------------------------------- /tools/fact-generator/src/debuginfo_variables.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/src/debuginfo_variables.cpp -------------------------------------------------------------------------------- /tools/fact-generator/src/functions.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/src/functions.cpp -------------------------------------------------------------------------------- /tools/fact-generator/src/globals.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/src/globals.cpp -------------------------------------------------------------------------------- /tools/fact-generator/src/llvm_enums.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/src/llvm_enums.cpp -------------------------------------------------------------------------------- /tools/fact-generator/src/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/src/main.cpp -------------------------------------------------------------------------------- /tools/fact-generator/src/operands.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/src/operands.cpp -------------------------------------------------------------------------------- /tools/fact-generator/src/predicate.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/src/predicate.cpp -------------------------------------------------------------------------------- /tools/fact-generator/src/predicate_groups.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/fact-generator/src/predicate_groups.cpp -------------------------------------------------------------------------------- /tools/import-generator/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/import-generator/Makefile -------------------------------------------------------------------------------- /tools/import-generator/include/FilePredicateParts.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/import-generator/include/FilePredicateParts.h -------------------------------------------------------------------------------- /tools/import-generator/include/Options.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/import-generator/include/Options.h -------------------------------------------------------------------------------- /tools/import-generator/include/Predicate.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/import-generator/include/Predicate.h -------------------------------------------------------------------------------- /tools/import-generator/include/parse-protobuf.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/import-generator/include/parse-protobuf.h -------------------------------------------------------------------------------- /tools/import-generator/src/FilePredicatesParts.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/import-generator/src/FilePredicatesParts.cc -------------------------------------------------------------------------------- /tools/import-generator/src/Options.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/import-generator/src/Options.cc -------------------------------------------------------------------------------- /tools/import-generator/src/Predicate.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/import-generator/src/Predicate.cc -------------------------------------------------------------------------------- /tools/import-generator/src/import-generator.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/import-generator/src/import-generator.cc -------------------------------------------------------------------------------- /tools/import-generator/src/parse-protobuf.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/import-generator/src/parse-protobuf.cc -------------------------------------------------------------------------------- /tools/json-ast-exporter/.dir-locals.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/json-ast-exporter/.dir-locals.el -------------------------------------------------------------------------------- /tools/json-ast-exporter/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/json-ast-exporter/Makefile -------------------------------------------------------------------------------- /tools/json-ast-exporter/src/Options.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/json-ast-exporter/src/Options.cpp -------------------------------------------------------------------------------- /tools/json-ast-exporter/src/Options.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/json-ast-exporter/src/Options.hpp -------------------------------------------------------------------------------- /tools/json-ast-exporter/src/PyExportAST.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/json-ast-exporter/src/PyExportAST.cpp -------------------------------------------------------------------------------- /tools/json-ast-exporter/src/ast_export.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/json-ast-exporter/src/ast_export.cpp -------------------------------------------------------------------------------- /tools/json-ast-exporter/src/ast_export.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/json-ast-exporter/src/ast_export.hpp -------------------------------------------------------------------------------- /tools/json-ast-exporter/src/ast_visitor.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/json-ast-exporter/src/ast_visitor.cpp -------------------------------------------------------------------------------- /tools/json-ast-exporter/src/ast_visitor.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/json-ast-exporter/src/ast_visitor.hpp -------------------------------------------------------------------------------- /tools/json-ast-exporter/src/json_utils.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/json-ast-exporter/src/json_utils.cpp -------------------------------------------------------------------------------- /tools/json-ast-exporter/src/json_utils.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/json-ast-exporter/src/json_utils.hpp -------------------------------------------------------------------------------- /tools/json-ast-exporter/src/main.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/plast-lab/cclyzer/HEAD/tools/json-ast-exporter/src/main.cpp --------------------------------------------------------------------------------