Skip to content

Instantly share code, notes, and snippets.

View davidmalcolm's full-sized avatar

David Malcolm davidmalcolm

View GitHub Profile
send: spawn id exp0 not open
while executing
"send_user "$message\n""
("default" arm line 2)
invoked from within
"switch -glob "$firstword" {
"PASS:" -
"XFAIL:" -
"KFAIL:" -
"UNRESOLVED:" -
spawn -ignore SIGHUP /builddir/build/BUILD/gcc-d995c94/obj-i686-redhat-linux/gcc/xgcc -B/builddir/build/BUILD/gcc-d995c94/obj-i686-redhat-linux/gcc/ /builddir/build/BUILD/gcc-d995c94/gcc/testsuite/jit.dg/test-accessing-struct.c -fno-diagnostics-show-caret -fdiagnostics-color=never -I/builddir/build/BUILD/gcc-d995c94/gcc/testsuite/../jit -lgccjit -g -Wall -Werror -Wl,--export-dynamic -o test-accessing-struct.exe
pid is 1431 -1431
waitres is 1431 exp5 0 0
output is status 0
calling is_remote host
board_info build name
getting i-00008113 name
board_info host name
getting i-00008113 name
board is host, host is local
@davidmalcolm
davidmalcolm / a.wpa.sarif
Created July 11, 2022 22:18
Example of GCC SARIF output showing LTO report of a cross-TU type-mismatch in a use of a variadic API
{"$schema": "https://raw.githubusercontent.com/oasis-tcs/sarif-spec/master/Schemata/sarif-schema-2.1.0.json", "runs": [{"results": [{"level": "warning", "ruleId": "-Wanalyzer-va-arg-type-mismatch", "locations": [{"logicalLocations": [{"decoratedName": "called_by_test_type_mismatch_1", "kind": "function", "name": "called_by_test_type_mismatch_1", "fullyQualifiedName": "called_by_test_type_mismatch_1"}], "physicalLocation": {"contextRegion": {"startLine": 19, "snippet": {"text": " str = va_arg (ap, const char *); /* { dg-warning \"'va_arg' expected '\\[^\\n\\r\\]*' but received 'int' for variadic argument 1 of 'ap'\" } */\n"}}, "artifactLocation": {"uri": "../../src/gcc/testsuite/gcc.dg/analyzer/stdarg-lto-1-a.c", "uriBaseId": "PWD"}, "region": {"startLine": 19, "endColumn": 8, "startColumn": 7}}}], "message": {"text": "‘va_arg’ expected ‘const char *’ but received ‘int’ for variadic argument 1 of ‘ap’"}, "taxa": [{"id": "686", "toolComponent": {"name": "cwe"}}], "codeFlows": [{"threadFlows": [{"locations": [{
{
"$schema": "https://raw.githubusercontent.com/oasis-tcs/sarif-spec/master/Schemata/sarif-schema-2.1.0.json",
"runs": [
{
"results": [
{
"level": "warning",
"ruleId": "-Wanalyzer-va-arg-type-mismatch",
"locations": [
{
@davidmalcolm
davidmalcolm / taint-CVE-2011-2210-1.c.sarif
Created July 11, 2022 22:29
Reformatted output of gcc -fanalyzer -S ../../src/gcc/testsuite/gcc.dg/analyzer/taint-CVE-2011-2210-1.c -fanalyzer-checker=taint -fdiagnostics-format=sarif-stderr
{
"$schema": "https://raw.githubusercontent.com/oasis-tcs/sarif-spec/master/Schemata/sarif-schema-2.1.0.json",
"runs": [
{
"results": [
{
"level": "warning",
"ruleId": "warning",
"locations": [
{