{"id":22116314,"url":"https://github.com/jmid/luata-quickcheck","last_synced_at":"2026-03-02T09:31:39.185Z","repository":{"id":27369461,"uuid":"30844968","full_name":"jmid/luata-quickcheck","owner":"jmid","description":"Lua type analysis and corresponding QuickCheck code","archived":false,"fork":false,"pushed_at":"2017-09-26T05:15:38.000Z","size":2020,"stargazers_count":5,"open_issues_count":2,"forks_count":1,"subscribers_count":4,"default_branch":"master","last_synced_at":"2025-07-16T08:36:25.426Z","etag":null,"topics":["lattice","lua","property-based-testing","prototype","quickcheck","static-analysis","type-analysis"],"latest_commit_sha":null,"homepage":null,"language":"HTML","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"bsd-2-clause","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/jmid.png","metadata":{"files":{"readme":"README.md","changelog":null,"contributing":null,"funding":null,"license":"LICENSE","code_of_conduct":null,"threat_model":null,"audit":null,"citation":null,"codeowners":null,"security":null,"support":null}},"created_at":"2015-02-15T22:36:59.000Z","updated_at":"2025-04-05T13:14:24.000Z","dependencies_parsed_at":"2022-07-24T15:01:55.184Z","dependency_job_id":null,"html_url":"https://github.com/jmid/luata-quickcheck","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"purl":"pkg:github/jmid/luata-quickcheck","repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jmid%2Fluata-quickcheck","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jmid%2Fluata-quickcheck/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jmid%2Fluata-quickcheck/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jmid%2Fluata-quickcheck/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/jmid","download_url":"https://codeload.github.com/jmid/luata-quickcheck/tar.gz/refs/heads/master","sbom_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/jmid%2Fluata-quickcheck/sbom","scorecard":null,"host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":286080680,"owners_count":29997213,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2026-03-02T01:47:34.672Z","status":"online","status_checked_at":"2026-03-02T02:00:07.342Z","response_time":60,"last_error":null,"robots_txt_status":"success","robots_txt_updated_at":"2025-07-24T06:49:26.215Z","robots_txt_url":"https://github.com/robots.txt","online":true,"can_crawl_api":true,"host_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub","repositories_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories","repository_names_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repository_names","owners_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners"}},"keywords":["lattice","lua","property-based-testing","prototype","quickcheck","static-analysis","type-analysis"],"created_at":"2024-12-01T12:26:43.388Z","updated_at":"2026-03-02T09:31:39.120Z","avatar_url":"https://github.com/jmid.png","language":"HTML","funding_links":[],"categories":[],"sub_categories":[],"readme":"LuaTA : Lua Type Analysis and corresponding QuickCheck code\n===========================================================\n\nThis is a static analysis for conservatively inferring run-time types\nof Lua programs. It forms the case study contained in the paper\n\n    QuickChecking Static Analysis Properties\n    Jan Midtgaard and Anders Møller\n    Proceedings of ICST'15\n    http://janmidtgaard.dk/papers/Midtgaard-Moeller:ICST15.pdf\n\nwhich focuses on testing properties related to static analyses\n(lattice properties, and monotonicity, strictness, and invariance of\noperations) using the increasingly popular QuickCheck methodology.\n\nNote: the present analysis has been updated since the publication of\nthe above paper.\n\n\nThe full source code of the analysis is available from this\nvery URL https://github.com/jmid/luata-quickcheck\n\nThe analysis can be built as a command line client or as a web client\navailable at http://jmid.github.io/luata-quickcheck/\n\nThe coverage reports mentioned in the paper are available in the sub-directories:\n\n - [cov-report-qcheck](http://jmid.github.io/luata-quickcheck/cov-report-qcheck/)\n   is based solely on QuickChecking.\n\n - [cov-report-test](http://jmid.github.io/luata-quickcheck/cov-report-test/)\n   is based solely on our test suite of programs.\n\n - [cov-report-combined](http://jmid.github.io/luata-quickcheck/cov-report-combined/)\n   is the combination of the two above.\n\n\nRequirements:\n-------------\n\n- OCaml, version 4.01.0 or newer\n  - ocamlp4-extra (for 'camlp4of', required by bisect below)\n- OCaml libraries/tools (through OPAM):\n  - ocamlfind\n  - [qcheck](https://github.com/c-cube/qcheck/) v.0.2\n  - [ounit](http://ounit.forge.ocamlcore.org/) v.2.0.0\n  - [bisect](http://bisect.x9c.fr/) v.1.3 (for coverage reports)\n- GNU Make\n\nThe web interface further requires:\n- [Js_of_ocaml](http://ocsigen.org/js_of_ocaml/) (available through OPAM)\n- [CodeMirror](http://codemirror.net) (included)\n- [TextHover addon](\"https://github.com/angelozerr/CodeMirror-XQuery/tree/master/codemirror-extension/addon/hover\") to CodeMirror (also included)\n\n\nLicense:\n--------\n\nThe analysis is released under a BSD license.\nThe visualizer builds on [CodeMirror](https://github.com/codemirror/CodeMirror) which is MIT licensed,\nand the [TextHover addon](\"https://github.com/angelozerr/CodeMirror-XQuery/tree/master/codemirror-extension/addon/hover\") by [Angelo Zerr](https://github.com/angelozerr).\n\n\nAnalysis instructions:\n----------------------\n\nThe file `doc/luata-doc.md` provides a basic description of the\nanalysis architecture as well as an explanation of its output.\n\nThe analysis comes with both a command line interface and a web\nclient. \n\nTo build the command line client, run:\n\n    $ make\n\nTo run the analysis on a Lua program, for example (see\nexamples/ directory for other examples):\n\n    $ ./luata examples/table06.lua\n\nThe result will now be printed to the console.\n\nTo reduce the amount of console output passing the option `-no-heap`\nwill just emit the warnings:\n\n    $ ./luata -no-heap examples/table06.lua\n\n\nAlternatively you can build the web client with\n\n    $ make js\n\nThe web client is now available as an HTML page with overlays\nin `index.html` (view with a web browser and shrink fontsize).\n\n\nQuickcheck instructions:\n------------------------\n\n The source code for the QuickCheck LCheck module is included\n in `src/lCheck.ml` for convenience, but is also separately available\n from http://github.com/jmid/lcheck\n\n The source code applying LCheck to the Lua type analyses is\n available in `src/edslcheck.ml`\n\n To rerun our quickchecking on the type analysis:\n\n    $ make -B edslcheck\n    $ ./edslcheck\n\n Warning: the last step takes a full lunchbreak! You can comment out\n some tests at the bottom of `src/edslcheck.ml` to run fewer tests.\n\n\nReport instructions:\n--------------------\n\nTo reproduce the numbers in the paper's Table 1, regarding\nQuickCheck, test suite, and combined coverage, follow the below\ninstructions.\n\n* To reproduce the QuickCheck coverage numbers:\n\n  Run:\n\n      $ make -B edslcheckcov\n      $ make -B runedslcheckcov\n      $ make -B checkreport\n\n  (Warning: the second step takes a full lunchbreak)\n  The resulting report is now available in HTML format in `cov-report-qcheck/index.html`\n\n\n* To reproduce the original test suite coverage numbers:\n\n  Run:\n\n      $ make -B testcov\n      $ make -B runtestcov\n      $ make -B testreport\n\n  The resulting report is now available in HTML format in `cov-report-test/index.html`\n\n\n* To reproduce the combined coverage numbers:\n\n  First run both the above (which will generate cov-report-qcheck.out\n  and cov-report-test.out). Then\n\n      $ make -B combinedreport\n\n  The resulting report is now available in HTML format in `cov-report-combined/index.html`\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fjmid%2Fluata-quickcheck","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fjmid%2Fluata-quickcheck","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fjmid%2Fluata-quickcheck/lists"}