PALM
+**Rust tests, guided by program analysis.**
+
+[](https://cppbear.github.io/PALM/)
+[](LICENSE)
[](https://github.com/cppbear/PALM/actions/workflows/ci.yml)
PALM generates Rust tests by combining program analysis with large language models. It extracts path constraints and code context, generates candidates, repairs compilation errors, and reports execution results and coverage with test code excluded.
This is the maintained implementation of ***PALM: Synergizing Program Analysis and LLMs to Enhance Rust Unit Test Coverage***, published at ASE 2025. The current code includes changes made after the paper's experiments.
-[Quick start](#quick-start) · [Examples](examples/README.md) · [CLI reference](utgen/README.md) · [中文技术指南](docs/palm-rust-unit-test-generation.md) · [Paper](https://doi.org/10.1109/ASE63991.2025.00223) · [Preprint](https://arxiv.org/abs/2506.09002)
+[Website](https://cppbear.github.io/PALM/) · [Quick start](#quick-start) · [Examples](examples/README.md) · [CLI reference](utgen/README.md) · [中文技术指南](docs/palm-rust-unit-test-generation.md) · [Paper](https://doi.org/10.1109/ASE63991.2025.00223) · [Preprint](https://arxiv.org/abs/2506.09002)
## What PALM does
diff --git a/site/README.md b/site/README.md
new file mode 100644
index 0000000000..2c936dc242
--- /dev/null
+++ b/site/README.md
@@ -0,0 +1,13 @@
+# Project website
+
+The GitHub Pages site is plain HTML, CSS, and JavaScript. Preview from the repository root:
+
+```sh
+python3 -m http.server 8000 --directory site
+```
+
+Open `http://localhost:8000`. The branch selector is an illustration of `examples/minimal`, not a live model or Rust execution. Keep detailed instructions in the repository and link to them from the site.
+
+The Pages workflow publishes only this directory after relevant changes reach `main`. In repository **Settings → Pages**, select **GitHub Actions** as the source. Project-relative asset URLs work under `/PALM/`.
+
+The self-hosted Sora semibold font is from [Google Fonts](https://github.com/google/fonts/tree/main/ofl/sora), licensed under the [SIL Open Font License](assets/OFL-Sora.md). The geometric PALM mark is part of this project's MIT-licensed source.
diff --git a/site/assets/OFL-Sora.md b/site/assets/OFL-Sora.md
new file mode 100644
index 0000000000..936a84ef40
--- /dev/null
+++ b/site/assets/OFL-Sora.md
@@ -0,0 +1,93 @@
+Copyright 2019 The Sora Project Authors (https://github.com/sora-xor/sora-font)
+
+This Font Software is licensed under the SIL Open Font License, Version 1.1.
+
+This license is copied below, and is also available with a FAQ at: https://scripts.sil.org/OFL
+
+
+-----------------------------------------------------------
+SIL OPEN FONT LICENSE Version 1.1 - 26 February 2007
+-----------------------------------------------------------
+
+PREAMBLE
+The goals of the Open Font License (OFL) are to stimulate worldwide
+development of collaborative font projects, to support the font creation
+efforts of academic and linguistic communities, and to provide a free and
+open framework in which fonts may be shared and improved in partnership
+with others.
+
+The OFL allows the licensed fonts to be used, studied, modified and
+redistributed freely as long as they are not sold by themselves. The
+fonts, including any derivative works, can be bundled, embedded,
+redistributed and/or sold with any software provided that any reserved
+names are not used by derivative works. The fonts and derivatives,
+however, cannot be released under any other type of license. The
+requirement for fonts to remain under this license does not apply
+to any document created using the fonts or their derivatives.
+
+DEFINITIONS
+"Font Software" refers to the set of files released by the Copyright
+Holder(s) under this license and clearly marked as such. This may
+include source files, build scripts and documentation.
+
+"Reserved Font Name" refers to any names specified as such after the
+copyright statement(s).
+
+"Original Version" refers to the collection of Font Software components as
+distributed by the Copyright Holder(s).
+
+"Modified Version" refers to any derivative made by adding to, deleting,
+or substituting -- in part or in whole -- any of the components of the
+Original Version, by changing formats or by porting the Font Software to a
+new environment.
+
+"Author" refers to any designer, engineer, programmer, technical
+writer or other person who contributed to the Font Software.
+
+PERMISSION & CONDITIONS
+Permission is hereby granted, free of charge, to any person obtaining
+a copy of the Font Software, to use, study, copy, merge, embed, modify,
+redistribute, and sell modified and unmodified copies of the Font
+Software, subject to the following conditions:
+
+1) Neither the Font Software nor any of its individual components,
+in Original or Modified Versions, may be sold by itself.
+
+2) Original or Modified Versions of the Font Software may be bundled,
+redistributed and/or sold with any software, provided that each copy
+contains the above copyright notice and this license. These can be
+included either as stand-alone text files, human-readable headers or
+in the appropriate machine-readable metadata fields within text or
+binary files as long as those fields can be easily viewed by the user.
+
+3) No Modified Version of the Font Software may use the Reserved Font
+Name(s) unless explicit written permission is granted by the corresponding
+Copyright Holder. This restriction only applies to the primary font name as
+presented to the users.
+
+4) The name(s) of the Copyright Holder(s) or the Author(s) of the Font
+Software shall not be used to promote, endorse or advertise any
+Modified Version, except to acknowledge the contribution(s) of the
+Copyright Holder(s) and the Author(s) or with their explicit written
+permission.
+
+5) The Font Software, modified or unmodified, in part or in whole,
+must be distributed entirely under this license, and must not be
+distributed under any other license. The requirement for fonts to
+remain under this license does not apply to any document created
+using the Font Software.
+
+TERMINATION
+This license becomes null and void if any of the above conditions are
+not met.
+
+DISCLAIMER
+THE FONT SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
+EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO ANY WARRANTIES OF
+MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT
+OF COPYRIGHT, PATENT, TRADEMARK, OR OTHER RIGHT. IN NO EVENT SHALL THE
+COPYRIGHT HOLDER BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,
+INCLUDING ANY GENERAL, SPECIAL, INDIRECT, INCIDENTAL, OR CONSEQUENTIAL
+DAMAGES, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING
+FROM, OUT OF THE USE OR INABILITY TO USE THE FONT SOFTWARE OR FROM
+OTHER DEALINGS IN THE FONT SOFTWARE.
diff --git a/site/assets/mark.svg b/site/assets/mark.svg
new file mode 100644
index 0000000000..9ec29a881b
--- /dev/null
+++ b/site/assets/mark.svg
@@ -0,0 +1 @@
+
diff --git a/site/assets/sora-semibold.ttf b/site/assets/sora-semibold.ttf
new file mode 100644
index 0000000000..66820ae428
Binary files /dev/null and b/site/assets/sora-semibold.ttf differ
diff --git a/site/index.html b/site/index.html
new file mode 100644
index 0000000000..a3471c9f42
--- /dev/null
+++ b/site/index.html
@@ -0,0 +1,360 @@
+
+
+
+
+
+
+
+ 
PALM
+ Rust tests.
Grounded in your code.
+
+ + PALM combines program analysis with language models to turn path + constraints and code context into test candidates. +
+ Try the offline example + +One function. Two paths to test.
+ Explore the fixture + +pub fn classify(value: i32) -> i32 {
+ if support::positive(value) {
+ 1
+ } else {
+ 0
+ }
+}
+ support::positive checks value > 0.
+
value > 0
+ assert_eq!(classify(2), 1);
+ + Interactive illustration of the minimal fixture. Its offline check + uses fixed local model responses; this page does not run Rust or + call a model. +
+
+ Give the model
more than a signature.
+
+ + PALM brings the function’s paths and dependencies into the prompt, + then checks the generated tests with the Rust toolchain. +
+-
+
-
+
+
Analyze the code
++ Extract representative path constraints, calls, and type + dependencies for the focal function. +
+ Explore code context +
+ -
+
+
Generate & repair
++ Generate candidates with a language model. Use compiler + diagnostics to repair compilation errors. +
+ Explore the CLI +
+ -
+
+
Run & measure
++ Inspect compilation, execution, and coverage per function, with + test code excluded from coverage. +
+ Understand the results +
+
+ Repair addresses compilation errors. Assertion failures and candidate + timeouts remain failed test outcomes. +
+Start small.
See the whole pipeline.
+ + The minimal example checks analysis, generation, compilation + repair, execution, coverage, and source restoration. No model + credentials needed. +
++ First install the + prerequisites: Git, Rust and a C linker, Python 3.9+, the pinned nightly, and + cargo-llvm-cov. Downloads may need network access. +
+git clone https://github.com/cppbear/PALM.git
+cd PALM
+cargo build --workspace --locked
+python3 scripts/check_minimal.pyExpected completion
++ Minimal analysis/generation/repair/coverage checks passed. +
+ +Know where it fits.
++ Start with one standalone Cargo package and a few functions. Expand + after checking the results. +
+-
+
- Unit & integration tests +
- + Unit tests use the recorded library or binary target. + Function-level integration tests require a library and check + external access. + +
- One package at a time +
- + Ordinary lib/bin targets are supported, including custom names and + entry files. The complete workflow does not support multi-package + workspaces. + +
- Explicit analysis boundaries +
- + Analysis follows the active build configuration. Definitions + shared by lib and bin prefer lib; this does not cover every binary + variant. + +
- A pinned Rust toolchain +
-
+ Uses
nightly-2025-03-19and cargo-llvm-cov +0.6.16. Linux CI and local macOS Apple Silicon have + been exercised; Windows has not been validated. +
+
+ Built on research.
Open for exploration.
+
+ + PALM: Synergizing Program Analysis and LLMs to Enhance Rust Unit + Test Coverage. +
++ Published at ASE 2025. This maintained implementation includes + changes made after the paper’s experiments. +
+