Commit da086eb
authored
Clean up TritonSan for release (#322)
**This PR refactors TritonSan-related files to prepare the tool for
broader use. Key changes include:**
1. **CMake Option for TritonSan**
Introduced a new CMake option `TRITON_SAN_ENABLED` (default: `ON`) to
allow users to disable TritonSan build and tests if not needed.
2. **Directory Renaming**
Renamed the `script` folder to `triton-san` for clarity and consistency.
3. **Unified Build Script**
Added a single build script `triton-san/build.sh` to streamline the
installation process for users.
4. **Driver Script Template**
Included a template `triton-san.in` used by `build.sh` to generate the
final `triton-san` driver script, enabling users to launch Triton
programs with TritonSan.
5. **Documentation and Examples**
Provided a new README and example programs to help users get started
with TritonSan.
6. **Test Suite Updates**
Updated relevant `lit` tests and added `; REQUIRES: triton-san` to
ensure tests are only run when TritonSan is enabled.
7. **Fix some broken path settings in test/lit.site.cfg.py.in**
8. **Move common utility bash functions into `utility.inc` and include
it into other bash scripts through the `source` command**
9. **Use ANSI escape codes to set the color for status/warning/error
messages**
https://stackoverflow.com/questions/5947742/how-to-change-the-output-color-of-echo-in-linux1 parent 15b3f87 commit da086eb
24 files changed
Lines changed: 625 additions & 320 deletions
File tree
- lib
- scripts
- test
- Sanitizer/SanitizerAttributes
- triton-san
- examples
- image
- script
- template
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | 1 | | |
| 2 | + | |
2 | 3 | | |
3 | 4 | | |
4 | 5 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
207 | 207 | | |
208 | 208 | | |
209 | 209 | | |
210 | | - | |
| 210 | + | |
211 | 211 | | |
212 | 212 | | |
213 | 213 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
2 | 2 | | |
3 | 3 | | |
4 | 4 | | |
5 | | - | |
| 5 | + | |
| 6 | + | |
| 7 | + | |
| 8 | + | |
| 9 | + | |
6 | 10 | | |
7 | 11 | | |
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
This file was deleted.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
| 2 | + | |
2 | 3 | | |
3 | 4 | | |
4 | 5 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
1 | | - | |
| 1 | + | |
| 2 | + | |
2 | 3 | | |
3 | 4 | | |
4 | 5 | | |
| |||
0 commit comments