{"id":19650095,"url":"https://github.com/pmatos/webkit-misc","last_synced_at":"2026-03-15T22:45:42.872Z","repository":{"id":141565539,"uuid":"194845084","full_name":"pmatos/WebKit-misc","owner":"pmatos","description":"Utilities for WebKit work","archived":false,"fork":false,"pushed_at":"2022-06-30T13:13:33.000Z","size":133,"stargazers_count":2,"open_issues_count":0,"forks_count":4,"subscribers_count":3,"default_branch":"master","last_synced_at":"2025-01-09T23:25:54.113Z","etag":null,"topics":["igalia","racket","static-analysis","utility","webkit"],"latest_commit_sha":null,"homepage":null,"language":"Racket","has_issues":true,"has_wiki":null,"has_pages":null,"mirror_url":null,"source_name":null,"license":"gpl-3.0","status":null,"scm":"git","pull_requests_enabled":true,"icon_url":"https://github.com/pmatos.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,"governance":null,"roadmap":null,"authors":null,"dei":null,"publiccode":null,"codemeta":null}},"created_at":"2019-07-02T10:50:50.000Z","updated_at":"2022-06-30T13:13:36.000Z","dependencies_parsed_at":null,"dependency_job_id":"a29ed82e-588e-4ec6-acfa-24688ae0f424","html_url":"https://github.com/pmatos/WebKit-misc","commit_stats":null,"previous_names":[],"tags_count":0,"template":false,"template_full_name":null,"repository_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/pmatos%2FWebKit-misc","tags_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/pmatos%2FWebKit-misc/tags","releases_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/pmatos%2FWebKit-misc/releases","manifests_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/pmatos%2FWebKit-misc/manifests","owner_url":"https://repos.ecosyste.ms/api/v1/hosts/GitHub/owners/pmatos","download_url":"https://codeload.github.com/pmatos/WebKit-misc/tar.gz/refs/heads/master","host":{"name":"GitHub","url":"https://github.com","kind":"github","repositories_count":240959127,"owners_count":19884911,"icon_url":"https://github.com/github.png","version":null,"created_at":"2022-05-30T11:31:42.601Z","updated_at":"2022-07-04T15:15:14.044Z","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":["igalia","racket","static-analysis","utility","webkit"],"created_at":"2024-11-11T14:56:36.101Z","updated_at":"2026-03-15T22:45:37.842Z","avatar_url":"https://github.com/pmatos.png","language":"Racket","funding_links":[],"categories":[],"sub_categories":[],"readme":"[![](.github/badges/SponsoredbyIgalia.svg)](https://www.igalia.com)\n\n# WebKit Misc Script\n\nAs part of my work as an Igalian (https://www.igalia.com) I am working on WebKit. For some specific tasks I am using a few scripts. I am adding these here as time goes by.\nSome are better than others but expect the unexpected. Feel free to do PRs and open Issues.\n\n# Scripts\n\n## `scan-build-webkit.sh` (Status: ![Fragile](https://img.shields.io/badge/sh-Fragile-red.svg))\n\nRun LLVM `scan-build` on WebKit. This expects a ubuntu like environment so you might want to use `docker-trigger.sh` on this one.\n\nThe special thing about this specific `scan-build` is that it uses the recent advances on SMT guided counterexample introduced by \n[SMT-based refutation of spurious bug reports in the clang static analyzer](https://dl.acm.org/citation.cfm?id=3339673).\n\nDue to a bug in LLVM it also temporarily applies a workaround patch from [bug 41809](https://bugs.llvm.org/show_bug.cgi?id=41809).\n\nWith any PC with docker support you should be able to run:\n```\n./docker-trigger.sh ubuntu:latest scan-build-webkit.sh \n```\n\n## `docker-trigger.sh` (Status: ![Fragile](https://img.shields.io/badge/sh-Fragile-red.svg))\n\nThis script will trigger another script inside a docker container and save artifacts to the current directory in `$PWD/artifacts/`.\n\nTry\n```\n$ ./docker-trigger.sh ubuntu:latest ./hello-world.sh\n```\n\n## `JetStream2-cmp/cmp.rkt` (Status: ![Fragile](https://img.shields.io/badge/sh-Fragile-red.svg))\n\nThis script will compare the outputs of two cli JetStream2 runs. Inside WebKit, you can go to `PerformanceTests/JetStream2` and after build `jsc`, you can run:\n\n```\n../../WebKitBuild/Release/bin/jsc cli.js 2\u003e\u00261 | tee output.log\n```\n\nIf you build another version of jsc and run the same command line you can then compare the results with:\n\n```\nracket cmp.rkt VERSION1 \u003cPath to WebKit1\u003e/PerformanceTests/JetStream2/output.log VERSION1 \u003cPath to WebKit2\u003e/PerformanceTests/JetStream2/output.log 2\u003e\u00261 | less\n```\n","project_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fpmatos%2Fwebkit-misc","html_url":"https://awesome.ecosyste.ms/projects/github.com%2Fpmatos%2Fwebkit-misc","lists_url":"https://awesome.ecosyste.ms/api/v1/projects/github.com%2Fpmatos%2Fwebkit-misc/lists"}