├── .github └── workflows │ └── build.yml ├── .gitignore ├── LICENSE ├── README.md ├── detecter ├── Makefile ├── doc │ ├── analyzer.html │ ├── build.html │ ├── dev.html │ ├── edoc-info │ ├── erlang.png │ ├── event.html │ ├── event_writer.html │ ├── evm_tracer.html │ ├── gen_eval.html │ ├── gen_file_poller.html │ ├── gen_file_poller_impl.html │ ├── hml_eval.html │ ├── hml_lexer.html │ ├── hml_parser.html │ ├── index.html │ ├── lin_analyzer.html │ ├── lin_weaver.html │ ├── log.html │ ├── log_eval.html │ ├── log_lexer.html │ ├── log_parser.html │ ├── log_poller.html │ ├── log_tracer.html │ ├── maxhml_eval.html │ ├── maxhml_lexer.html │ ├── maxhml_parser.html │ ├── modules-frame.html │ ├── monitor.html │ ├── opts.html │ ├── overview-summary.html │ ├── report.html │ ├── shml_eval.html │ ├── shml_lexer.html │ ├── shml_parser.html │ ├── simple.html │ ├── stylesheet.css │ ├── trace_lib.html │ ├── tracer.html │ ├── util.html │ └── weaver.html ├── include │ ├── dev.hrl │ └── log.hrl ├── priv │ ├── edoc │ │ └── edoc.css │ ├── hml_lexer.xrl │ ├── hml_parser.yrl │ ├── log_lexer.xrl │ ├── log_parser.yrl │ ├── maxhml_lexer.xrl │ ├── maxhml_parser.yrl │ ├── shml_lexer.xrl │ └── shml_parser.yrl ├── src │ ├── behavior │ │ ├── gen_file_poller.erl │ │ └── gen_file_poller_impl.erl │ ├── build.erl │ ├── dev.erl │ ├── examples │ │ └── simple.erl │ ├── log.erl │ ├── monitoring │ │ ├── analyzer.erl │ │ ├── hml_eval.erl │ │ ├── hml_lexer.erl │ │ ├── hml_parser.erl │ │ ├── monitor.erl │ │ ├── opts.erl │ │ ├── shml_eval.erl │ │ ├── shml_lexer.erl │ │ ├── shml_parser.erl │ │ ├── tracer.erl │ │ └── weaver.erl │ ├── synthesis │ │ ├── event_writer.erl │ │ ├── gen_eval.erl │ │ ├── lin_analyzer.erl │ │ ├── lin_weaver.erl │ │ ├── maxhml_eval.erl │ │ ├── maxhml_lexer.erl │ │ └── maxhml_parser.erl │ ├── tracing │ │ ├── event.erl │ │ ├── evm_tracer.erl │ │ ├── log_eval.erl │ │ ├── log_lexer.erl │ │ ├── log_parser.erl │ │ ├── log_poller.erl │ │ ├── log_tracer.erl │ │ └── trace_lib.erl │ └── util.erl └── test │ ├── monitoring │ └── tracer_test.erl │ └── tracing │ └── log_tracer_test.erl ├── examples ├── elixir │ ├── Makefile │ ├── lib │ │ └── demo │ │ │ ├── calc_client.ex │ │ │ ├── calc_server.ex │ │ │ └── calc_server_bug.ex │ └── props │ │ ├── prop_add.hml │ │ └── prop_add_rec.hml ├── erlang │ ├── Makefile │ ├── props │ │ ├── prop_add.hml │ │ ├── prop_add_rec.hml │ │ ├── prop_correct_add.hml │ │ ├── prop_correct_start.hml │ │ ├── prop_hello.hml │ │ ├── prop_no_failure.hml │ │ └── prop_no_leak.hml │ └── src │ │ └── demo │ │ ├── calc_client.erl │ │ ├── calc_server.erl │ │ ├── calc_server_bug.erl │ │ ├── calc_server_dbl_add.erl │ │ ├── hello.erl │ │ └── token_server.erl └── python │ ├── Makefile │ ├── props │ ├── prop_add.hml │ └── prop_add_rec.hml │ └── src │ └── demo │ ├── __init__.py │ ├── calc_server.py │ └── calc_server_bug.py └── tutorial ├── README.md ├── docs ├── about.md ├── detecter-linear-time │ ├── getting-started.md │ ├── inline-instrumentation.md │ ├── setting-up-detecter.md │ ├── synthesising-analysers.md │ ├── the-specification-logic.md │ └── verdict-explainability.md ├── erlang.md ├── getting-started │ ├── preparation.md │ ├── quickstart.md │ └── setting-up-detecter.md ├── index.md ├── stylesheets │ └── extra.css ├── thesis-benchmarks.md └── using-detecter │ ├── formalising-properties.md │ ├── getting-started.md │ ├── inline-instrumentation.md │ ├── instrumentation.md │ ├── offline-instrumentation.md │ ├── outline-instrumentation.md │ ├── runtime-verification.md │ ├── synthesising-analysers.md │ └── the-specification-logic.md ├── includes ├── calc_server.md ├── common.md ├── footer.md ├── model.svg ├── model_old_wrong.svg ├── model_sample.svg └── token_server.md ├── maxhml_lexer ├── __init__.py └── shml.py ├── mkdocs.yml ├── requirements.txt ├── setup-maxhml.py ├── setup.py ├── shml_lexer ├── __init__.py └── shml.py └── test.shml /.github/workflows/build.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/.github/workflows/build.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/README.md -------------------------------------------------------------------------------- /detecter/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/Makefile -------------------------------------------------------------------------------- /detecter/doc/analyzer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/doc/analyzer.html -------------------------------------------------------------------------------- /detecter/doc/build.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/doc/build.html -------------------------------------------------------------------------------- /detecter/doc/dev.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/doc/dev.html -------------------------------------------------------------------------------- /detecter/doc/edoc-info: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/doc/edoc-info -------------------------------------------------------------------------------- /detecter/doc/erlang.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/doc/erlang.png -------------------------------------------------------------------------------- /detecter/doc/event.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/doc/event.html -------------------------------------------------------------------------------- /detecter/doc/event_writer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/doc/event_writer.html -------------------------------------------------------------------------------- /detecter/doc/evm_tracer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/doc/evm_tracer.html -------------------------------------------------------------------------------- /detecter/doc/gen_eval.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/doc/gen_eval.html -------------------------------------------------------------------------------- /detecter/doc/gen_file_poller.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/doc/gen_file_poller.html -------------------------------------------------------------------------------- /detecter/doc/gen_file_poller_impl.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/doc/gen_file_poller_impl.html -------------------------------------------------------------------------------- /detecter/doc/hml_eval.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/doc/hml_eval.html -------------------------------------------------------------------------------- /detecter/doc/hml_lexer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/doc/hml_lexer.html -------------------------------------------------------------------------------- /detecter/doc/hml_parser.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/doc/hml_parser.html -------------------------------------------------------------------------------- /detecter/doc/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/doc/index.html -------------------------------------------------------------------------------- /detecter/doc/lin_analyzer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/doc/lin_analyzer.html -------------------------------------------------------------------------------- /detecter/doc/lin_weaver.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/doc/lin_weaver.html -------------------------------------------------------------------------------- /detecter/doc/log.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/doc/log.html -------------------------------------------------------------------------------- /detecter/doc/log_eval.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/doc/log_eval.html -------------------------------------------------------------------------------- /detecter/doc/log_lexer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/doc/log_lexer.html -------------------------------------------------------------------------------- /detecter/doc/log_parser.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/doc/log_parser.html -------------------------------------------------------------------------------- /detecter/doc/log_poller.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/doc/log_poller.html -------------------------------------------------------------------------------- /detecter/doc/log_tracer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/doc/log_tracer.html -------------------------------------------------------------------------------- /detecter/doc/maxhml_eval.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/doc/maxhml_eval.html -------------------------------------------------------------------------------- /detecter/doc/maxhml_lexer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/doc/maxhml_lexer.html -------------------------------------------------------------------------------- /detecter/doc/maxhml_parser.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/doc/maxhml_parser.html -------------------------------------------------------------------------------- /detecter/doc/modules-frame.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/doc/modules-frame.html -------------------------------------------------------------------------------- /detecter/doc/monitor.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/doc/monitor.html -------------------------------------------------------------------------------- /detecter/doc/opts.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/doc/opts.html -------------------------------------------------------------------------------- /detecter/doc/overview-summary.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/doc/overview-summary.html -------------------------------------------------------------------------------- /detecter/doc/report.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/doc/report.html -------------------------------------------------------------------------------- /detecter/doc/shml_eval.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/doc/shml_eval.html -------------------------------------------------------------------------------- /detecter/doc/shml_lexer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/doc/shml_lexer.html -------------------------------------------------------------------------------- /detecter/doc/shml_parser.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/doc/shml_parser.html -------------------------------------------------------------------------------- /detecter/doc/simple.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/doc/simple.html -------------------------------------------------------------------------------- /detecter/doc/stylesheet.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/doc/stylesheet.css -------------------------------------------------------------------------------- /detecter/doc/trace_lib.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/doc/trace_lib.html -------------------------------------------------------------------------------- /detecter/doc/tracer.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/doc/tracer.html -------------------------------------------------------------------------------- /detecter/doc/util.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/doc/util.html -------------------------------------------------------------------------------- /detecter/doc/weaver.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/doc/weaver.html -------------------------------------------------------------------------------- /detecter/include/dev.hrl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/include/dev.hrl -------------------------------------------------------------------------------- /detecter/include/log.hrl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/include/log.hrl -------------------------------------------------------------------------------- /detecter/priv/edoc/edoc.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/priv/edoc/edoc.css -------------------------------------------------------------------------------- /detecter/priv/hml_lexer.xrl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/priv/hml_lexer.xrl -------------------------------------------------------------------------------- /detecter/priv/hml_parser.yrl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/priv/hml_parser.yrl -------------------------------------------------------------------------------- /detecter/priv/log_lexer.xrl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/priv/log_lexer.xrl -------------------------------------------------------------------------------- /detecter/priv/log_parser.yrl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/priv/log_parser.yrl -------------------------------------------------------------------------------- /detecter/priv/maxhml_lexer.xrl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/priv/maxhml_lexer.xrl -------------------------------------------------------------------------------- /detecter/priv/maxhml_parser.yrl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/priv/maxhml_parser.yrl -------------------------------------------------------------------------------- /detecter/priv/shml_lexer.xrl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/priv/shml_lexer.xrl -------------------------------------------------------------------------------- /detecter/priv/shml_parser.yrl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/priv/shml_parser.yrl -------------------------------------------------------------------------------- /detecter/src/behavior/gen_file_poller.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/src/behavior/gen_file_poller.erl -------------------------------------------------------------------------------- /detecter/src/behavior/gen_file_poller_impl.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/src/behavior/gen_file_poller_impl.erl -------------------------------------------------------------------------------- /detecter/src/build.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/src/build.erl -------------------------------------------------------------------------------- /detecter/src/dev.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/src/dev.erl -------------------------------------------------------------------------------- /detecter/src/examples/simple.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/src/examples/simple.erl -------------------------------------------------------------------------------- /detecter/src/log.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/src/log.erl -------------------------------------------------------------------------------- /detecter/src/monitoring/analyzer.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/src/monitoring/analyzer.erl -------------------------------------------------------------------------------- /detecter/src/monitoring/hml_eval.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/src/monitoring/hml_eval.erl -------------------------------------------------------------------------------- /detecter/src/monitoring/hml_lexer.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/src/monitoring/hml_lexer.erl -------------------------------------------------------------------------------- /detecter/src/monitoring/hml_parser.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/src/monitoring/hml_parser.erl -------------------------------------------------------------------------------- /detecter/src/monitoring/monitor.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/src/monitoring/monitor.erl -------------------------------------------------------------------------------- /detecter/src/monitoring/opts.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/src/monitoring/opts.erl -------------------------------------------------------------------------------- /detecter/src/monitoring/shml_eval.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/src/monitoring/shml_eval.erl -------------------------------------------------------------------------------- /detecter/src/monitoring/shml_lexer.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/src/monitoring/shml_lexer.erl -------------------------------------------------------------------------------- /detecter/src/monitoring/shml_parser.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/src/monitoring/shml_parser.erl -------------------------------------------------------------------------------- /detecter/src/monitoring/tracer.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/src/monitoring/tracer.erl -------------------------------------------------------------------------------- /detecter/src/monitoring/weaver.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/src/monitoring/weaver.erl -------------------------------------------------------------------------------- /detecter/src/synthesis/event_writer.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/src/synthesis/event_writer.erl -------------------------------------------------------------------------------- /detecter/src/synthesis/gen_eval.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/src/synthesis/gen_eval.erl -------------------------------------------------------------------------------- /detecter/src/synthesis/lin_analyzer.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/src/synthesis/lin_analyzer.erl -------------------------------------------------------------------------------- /detecter/src/synthesis/lin_weaver.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/src/synthesis/lin_weaver.erl -------------------------------------------------------------------------------- /detecter/src/synthesis/maxhml_eval.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/src/synthesis/maxhml_eval.erl -------------------------------------------------------------------------------- /detecter/src/synthesis/maxhml_lexer.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/src/synthesis/maxhml_lexer.erl -------------------------------------------------------------------------------- /detecter/src/synthesis/maxhml_parser.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/src/synthesis/maxhml_parser.erl -------------------------------------------------------------------------------- /detecter/src/tracing/event.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/src/tracing/event.erl -------------------------------------------------------------------------------- /detecter/src/tracing/evm_tracer.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/src/tracing/evm_tracer.erl -------------------------------------------------------------------------------- /detecter/src/tracing/log_eval.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/src/tracing/log_eval.erl -------------------------------------------------------------------------------- /detecter/src/tracing/log_lexer.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/src/tracing/log_lexer.erl -------------------------------------------------------------------------------- /detecter/src/tracing/log_parser.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/src/tracing/log_parser.erl -------------------------------------------------------------------------------- /detecter/src/tracing/log_poller.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/src/tracing/log_poller.erl -------------------------------------------------------------------------------- /detecter/src/tracing/log_tracer.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/src/tracing/log_tracer.erl -------------------------------------------------------------------------------- /detecter/src/tracing/trace_lib.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/src/tracing/trace_lib.erl -------------------------------------------------------------------------------- /detecter/src/util.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/src/util.erl -------------------------------------------------------------------------------- /detecter/test/monitoring/tracer_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/test/monitoring/tracer_test.erl -------------------------------------------------------------------------------- /detecter/test/tracing/log_tracer_test.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/detecter/test/tracing/log_tracer_test.erl -------------------------------------------------------------------------------- /examples/elixir/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/examples/elixir/Makefile -------------------------------------------------------------------------------- /examples/elixir/lib/demo/calc_client.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/examples/elixir/lib/demo/calc_client.ex -------------------------------------------------------------------------------- /examples/elixir/lib/demo/calc_server.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/examples/elixir/lib/demo/calc_server.ex -------------------------------------------------------------------------------- /examples/elixir/lib/demo/calc_server_bug.ex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/examples/elixir/lib/demo/calc_server_bug.ex -------------------------------------------------------------------------------- /examples/elixir/props/prop_add.hml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/examples/elixir/props/prop_add.hml -------------------------------------------------------------------------------- /examples/elixir/props/prop_add_rec.hml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/examples/elixir/props/prop_add_rec.hml -------------------------------------------------------------------------------- /examples/erlang/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/examples/erlang/Makefile -------------------------------------------------------------------------------- /examples/erlang/props/prop_add.hml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/examples/erlang/props/prop_add.hml -------------------------------------------------------------------------------- /examples/erlang/props/prop_add_rec.hml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/examples/erlang/props/prop_add_rec.hml -------------------------------------------------------------------------------- /examples/erlang/props/prop_correct_add.hml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/examples/erlang/props/prop_correct_add.hml -------------------------------------------------------------------------------- /examples/erlang/props/prop_correct_start.hml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/examples/erlang/props/prop_correct_start.hml -------------------------------------------------------------------------------- /examples/erlang/props/prop_hello.hml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/examples/erlang/props/prop_hello.hml -------------------------------------------------------------------------------- /examples/erlang/props/prop_no_failure.hml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/examples/erlang/props/prop_no_failure.hml -------------------------------------------------------------------------------- /examples/erlang/props/prop_no_leak.hml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/examples/erlang/props/prop_no_leak.hml -------------------------------------------------------------------------------- /examples/erlang/src/demo/calc_client.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/examples/erlang/src/demo/calc_client.erl -------------------------------------------------------------------------------- /examples/erlang/src/demo/calc_server.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/examples/erlang/src/demo/calc_server.erl -------------------------------------------------------------------------------- /examples/erlang/src/demo/calc_server_bug.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/examples/erlang/src/demo/calc_server_bug.erl -------------------------------------------------------------------------------- /examples/erlang/src/demo/calc_server_dbl_add.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/examples/erlang/src/demo/calc_server_dbl_add.erl -------------------------------------------------------------------------------- /examples/erlang/src/demo/hello.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/examples/erlang/src/demo/hello.erl -------------------------------------------------------------------------------- /examples/erlang/src/demo/token_server.erl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/examples/erlang/src/demo/token_server.erl -------------------------------------------------------------------------------- /examples/python/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/examples/python/Makefile -------------------------------------------------------------------------------- /examples/python/props/prop_add.hml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/examples/python/props/prop_add.hml -------------------------------------------------------------------------------- /examples/python/props/prop_add_rec.hml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/examples/python/props/prop_add_rec.hml -------------------------------------------------------------------------------- /examples/python/src/demo/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /examples/python/src/demo/calc_server.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/examples/python/src/demo/calc_server.py -------------------------------------------------------------------------------- /examples/python/src/demo/calc_server_bug.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/examples/python/src/demo/calc_server_bug.py -------------------------------------------------------------------------------- /tutorial/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/tutorial/README.md -------------------------------------------------------------------------------- /tutorial/docs/about.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/tutorial/docs/about.md -------------------------------------------------------------------------------- /tutorial/docs/detecter-linear-time/getting-started.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/tutorial/docs/detecter-linear-time/getting-started.md -------------------------------------------------------------------------------- /tutorial/docs/detecter-linear-time/inline-instrumentation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/tutorial/docs/detecter-linear-time/inline-instrumentation.md -------------------------------------------------------------------------------- /tutorial/docs/detecter-linear-time/setting-up-detecter.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/tutorial/docs/detecter-linear-time/setting-up-detecter.md -------------------------------------------------------------------------------- /tutorial/docs/detecter-linear-time/synthesising-analysers.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/tutorial/docs/detecter-linear-time/synthesising-analysers.md -------------------------------------------------------------------------------- /tutorial/docs/detecter-linear-time/the-specification-logic.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/tutorial/docs/detecter-linear-time/the-specification-logic.md -------------------------------------------------------------------------------- /tutorial/docs/detecter-linear-time/verdict-explainability.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/tutorial/docs/detecter-linear-time/verdict-explainability.md -------------------------------------------------------------------------------- /tutorial/docs/erlang.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/tutorial/docs/erlang.md -------------------------------------------------------------------------------- /tutorial/docs/getting-started/preparation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/tutorial/docs/getting-started/preparation.md -------------------------------------------------------------------------------- /tutorial/docs/getting-started/quickstart.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/tutorial/docs/getting-started/quickstart.md -------------------------------------------------------------------------------- /tutorial/docs/getting-started/setting-up-detecter.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/tutorial/docs/getting-started/setting-up-detecter.md -------------------------------------------------------------------------------- /tutorial/docs/index.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/tutorial/docs/index.md -------------------------------------------------------------------------------- /tutorial/docs/stylesheets/extra.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/tutorial/docs/stylesheets/extra.css -------------------------------------------------------------------------------- /tutorial/docs/thesis-benchmarks.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/tutorial/docs/thesis-benchmarks.md -------------------------------------------------------------------------------- /tutorial/docs/using-detecter/formalising-properties.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/tutorial/docs/using-detecter/formalising-properties.md -------------------------------------------------------------------------------- /tutorial/docs/using-detecter/getting-started.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/tutorial/docs/using-detecter/getting-started.md -------------------------------------------------------------------------------- /tutorial/docs/using-detecter/inline-instrumentation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/tutorial/docs/using-detecter/inline-instrumentation.md -------------------------------------------------------------------------------- /tutorial/docs/using-detecter/instrumentation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/tutorial/docs/using-detecter/instrumentation.md -------------------------------------------------------------------------------- /tutorial/docs/using-detecter/offline-instrumentation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/tutorial/docs/using-detecter/offline-instrumentation.md -------------------------------------------------------------------------------- /tutorial/docs/using-detecter/outline-instrumentation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/tutorial/docs/using-detecter/outline-instrumentation.md -------------------------------------------------------------------------------- /tutorial/docs/using-detecter/runtime-verification.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/tutorial/docs/using-detecter/runtime-verification.md -------------------------------------------------------------------------------- /tutorial/docs/using-detecter/synthesising-analysers.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/tutorial/docs/using-detecter/synthesising-analysers.md -------------------------------------------------------------------------------- /tutorial/docs/using-detecter/the-specification-logic.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/tutorial/docs/using-detecter/the-specification-logic.md -------------------------------------------------------------------------------- /tutorial/includes/calc_server.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/tutorial/includes/calc_server.md -------------------------------------------------------------------------------- /tutorial/includes/common.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/tutorial/includes/common.md -------------------------------------------------------------------------------- /tutorial/includes/footer.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/tutorial/includes/footer.md -------------------------------------------------------------------------------- /tutorial/includes/model.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/tutorial/includes/model.svg -------------------------------------------------------------------------------- /tutorial/includes/model_old_wrong.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/tutorial/includes/model_old_wrong.svg -------------------------------------------------------------------------------- /tutorial/includes/model_sample.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/tutorial/includes/model_sample.svg -------------------------------------------------------------------------------- /tutorial/includes/token_server.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/tutorial/includes/token_server.md -------------------------------------------------------------------------------- /tutorial/maxhml_lexer/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/tutorial/maxhml_lexer/__init__.py -------------------------------------------------------------------------------- /tutorial/maxhml_lexer/shml.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/tutorial/maxhml_lexer/shml.py -------------------------------------------------------------------------------- /tutorial/mkdocs.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/tutorial/mkdocs.yml -------------------------------------------------------------------------------- /tutorial/requirements.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/tutorial/requirements.txt -------------------------------------------------------------------------------- /tutorial/setup-maxhml.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/tutorial/setup-maxhml.py -------------------------------------------------------------------------------- /tutorial/setup.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/tutorial/setup.py -------------------------------------------------------------------------------- /tutorial/shml_lexer/__init__.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/tutorial/shml_lexer/__init__.py -------------------------------------------------------------------------------- /tutorial/shml_lexer/shml.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/tutorial/shml_lexer/shml.py -------------------------------------------------------------------------------- /tutorial/test.shml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/duncanatt/detecter/HEAD/tutorial/test.shml --------------------------------------------------------------------------------