Skip to content

Commit 3783218

Browse files
author
Analysis Tools Bot
committed
Commit list
1 parent 7442a5d commit 3783218

File tree

2 files changed

+0
-34
lines changed

2 files changed

+0
-34
lines changed

README.md

-6
Original file line numberDiff line numberDiff line change
@@ -159,9 +159,6 @@ Also check out the sister project, [awesome-static-analysis](https://github.com/
159159
- [LLVM/Clang Sanitizers](https://github.com/google/sanitizers) — <ul> <li><a href="https://github.com/google/sanitizers/wiki/AddressSanitizer">AddressSanitizer</a> - A memory error detector for C/C++</li> <li><a href="https://github.com/google/sanitizers/wiki/MemorySanitizer">MemorySanitizer</a> - A detector of uninitialized memory reads in C/C++ programs.</li> <li><a href="https://github.com/google/sanitizers/wiki/ThreadSanitizerCppManual">ThreadSanitizer</a> - A data race detector for C/C++</li> </ul>
160160

161161

162-
- [tis-interpreter](https://github.com/TrustInSoft/tis-interpreter) — An interpreter for finding subtle bugs in programs written in standard C.
163-
164-
165162
- [Valgrind](https://valgrind.org/) — An instrumentation framework for building dynamic analysis tools.
166163

167164

@@ -181,9 +178,6 @@ Also check out the sister project, [awesome-static-analysis](https://github.com/
181178
- [LLVM/Clang Sanitizers](https://github.com/google/sanitizers) — <ul> <li><a href="https://github.com/google/sanitizers/wiki/AddressSanitizer">AddressSanitizer</a> - A memory error detector for C/C++</li> <li><a href="https://github.com/google/sanitizers/wiki/MemorySanitizer">MemorySanitizer</a> - A detector of uninitialized memory reads in C/C++ programs.</li> <li><a href="https://github.com/google/sanitizers/wiki/ThreadSanitizerCppManual">ThreadSanitizer</a> - A data race detector for C/C++</li> </ul>
182179

183180

184-
- [tis-interpreter](https://github.com/TrustInSoft/tis-interpreter) — An interpreter for finding subtle bugs in programs written in standard C.
185-
186-
187181
- [Valgrind](https://valgrind.org/) — An instrumentation framework for building dynamic analysis tools.
188182

189183

data/api/tools.json

-28
Original file line numberDiff line numberDiff line change
@@ -1142,34 +1142,6 @@
11421142
"demos": null,
11431143
"wrapper": null
11441144
},
1145-
"tis-interpreter": {
1146-
"name": "tis-interpreter",
1147-
"categories": [
1148-
"linter"
1149-
],
1150-
"languages": [
1151-
"c",
1152-
"cpp"
1153-
],
1154-
"other": [],
1155-
"licenses": [
1156-
"MIT License"
1157-
],
1158-
"types": [
1159-
"cli"
1160-
],
1161-
"homepage": "https://github.com/TrustInSoft/tis-interpreter",
1162-
"source": "https://github.com/TrustInSoft/tis-interpreter",
1163-
"pricing": null,
1164-
"plans": null,
1165-
"description": "An interpreter for finding subtle bugs in programs written in standard C.",
1166-
"discussion": null,
1167-
"deprecated": null,
1168-
"resources": null,
1169-
"reviews": null,
1170-
"demos": null,
1171-
"wrapper": null
1172-
},
11731145
"triton": {
11741146
"name": "TRITON",
11751147
"categories": [

0 commit comments

Comments
 (0)