<html>
<head>
<base href="http://llvm.org/bugs/" />
</head>
<body><table border="1" cellspacing="0" cellpadding="8">
<tr>
<th>Bug ID</th>
<td><a class="bz_bug_link
bz_status_NEW "
title="NEW --- - scan-build crashes(?) when scanning httping 2.3.1"
href="http://llvm.org/bugs/show_bug.cgi?id=15943">15943</a>
</td>
</tr>
<tr>
<th>Summary</th>
<td>scan-build crashes(?) when scanning httping 2.3.1
</td>
</tr>
<tr>
<th>Product</th>
<td>clang
</td>
</tr>
<tr>
<th>Version</th>
<td>3.1
</td>
</tr>
<tr>
<th>Hardware</th>
<td>PC
</td>
</tr>
<tr>
<th>OS</th>
<td>Linux
</td>
</tr>
<tr>
<th>Status</th>
<td>NEW
</td>
</tr>
<tr>
<th>Severity</th>
<td>normal
</td>
</tr>
<tr>
<th>Priority</th>
<td>P
</td>
</tr>
<tr>
<th>Component</th>
<td>Static Analyzer
</td>
</tr>
<tr>
<th>Assignee</th>
<td>kremenek@apple.com
</td>
</tr>
<tr>
<th>Reporter</th>
<td>folkert@vanheusden.com
</td>
</tr>
<tr>
<th>CC</th>
<td>llvmbugs@cs.uiuc.edu
</td>
</tr>
<tr>
<th>Classification</th>
<td>Unclassified
</td>
</tr></table>
<p>
<div>
<pre>Hi,
When I run scan-build on <a href="http://www.vanheusden.com/httping/httping-2.3.1.tgz">http://www.vanheusden.com/httping/httping-2.3.1.tgz</a> it
dumps a stacktrace.
I think that means it crashed?
Procedure:
wget <a href="http://www.vanheusden.com/httping/httping-2.3.1.tgz">http://www.vanheusden.com/httping/httping-2.3.1.tgz</a>
tar xvpzf httping-2.3.1.tgz
cd httping-2.3.1
echo -e "NC=yes\nSSL=yes\nFW=yes" > makefile.inc
scan-build make
The result is:
scan-build: 'clang' executable not found in '/usr/share/clang/scan-build/bin'.
scan-build: Using 'clang' from path: /usr/bin/clang
/usr/share/clang/scan-build/ccc-analyzer -Wall -W -DVERSION=\"2.3.1\"
-DLOCALEDIR=\"/usr/share/locale\" -DNC -DFW -D_DEBUG -ggdb -c -o gen.o gen.c
/usr/share/clang/scan-build/ccc-analyzer -Wall -W -DVERSION=\"2.3.1\"
-DLOCALEDIR=\"/usr/share/locale\" -DNC -DFW -D_DEBUG -ggdb -c -o http.o
http.c
/usr/share/clang/scan-build/ccc-analyzer -Wall -W -DVERSION=\"2.3.1\"
-DLOCALEDIR=\"/usr/share/locale\" -DNC -DFW -D_DEBUG -ggdb -c -o io.o io.c
/usr/share/clang/scan-build/ccc-analyzer -Wall -W -DVERSION=\"2.3.1\"
-DLOCALEDIR=\"/usr/share/locale\" -DNC -DFW -D_DEBUG -ggdb -c -o error.o
error.c
/usr/share/clang/scan-build/ccc-analyzer -Wall -W -DVERSION=\"2.3.1\"
-DLOCALEDIR=\"/usr/share/locale\" -DNC -DFW -D_DEBUG -ggdb -c -o utils.o
utils.c
/usr/share/clang/scan-build/ccc-analyzer -Wall -W -DVERSION=\"2.3.1\"
-DLOCALEDIR=\"/usr/share/locale\" -DNC -DFW -D_DEBUG -ggdb -c -o main.o
main.c
main.c:1830:6: warning: Value stored to 'rc' is never read
rc = RC_TIMEOUT;
^ ~~~~~~~~~~
0 libLLVM-3.1.so.1 0x00002ae9133be8bf
1 libLLVM-3.1.so.1 0x00002ae9133bed09
2 libpthread.so.0 0x00002ae913c98030
3 clang 0x0000000000c456e2
clang::ento::ExplodedGraph::shouldCollect(clang::ento::ExplodedNode const*) +
242
4 clang 0x0000000000c457f7
clang::ento::ExplodedGraph::reclaimRecentlyAllocatedNodes() + 71
5 clang 0x0000000000c4edc1
clang::ento::ExprEngine::ProcessStmt(clang::CFGStmt,
clang::ento::ExplodedNode*) + 49
6 clang 0x0000000000c4fd9c
clang::ento::ExprEngine::processCFGElement(clang::CFGElement,
clang::ento::ExplodedNode*, unsigned int, clang::ento::NodeBuilderContext*) +
172
7 clang 0x0000000000c35bca
clang::ento::CoreEngine::HandlePostStmt(clang::CFGBlock const*, unsigned int,
clang::ento::ExplodedNode*) + 74
8 clang 0x0000000000c35d2b
clang::ento::CoreEngine::dispatchWorkItem(clang::ento::ExplodedNode*,
clang::ProgramPoint, clang::ento::WorkListUnit const&) + 91
9 clang 0x0000000000c35f72
clang::ento::CoreEngine::ExecuteWorkList(clang::LocationContext const*,
unsigned int, llvm::IntrusiveRefCntPtr<clang::ento::ProgramState const>) + 194
10 clang 0x0000000000b16886
11 clang 0x0000000000b17282
12 clang 0x0000000000b1e2b9
13 clang 0x000000000081809d clang::ParseAST(clang::Sema&, bool,
bool) + 461
14 clang 0x00000000005c8156
clang::CompilerInstance::ExecuteAction(clang::FrontendAction&) + 262
15 clang 0x00000000005b14a2
clang::ExecuteCompilerInvocation(clang::CompilerInstance*) + 1042
16 clang 0x00000000005aabb5 cc1_main(char const**, char const**,
char const*, void*) + 9093
17 clang 0x00000000005a7ca6 main + 7014
18 libc.so.6 0x00002ae914a75ead __libc_start_main + 253
19 clang 0x00000000005a86b1
Stack dump:
0. Program arguments: /usr/bin/clang -cc1 -triple x86_64-pc-linux-gnu
-analyze -disable-free -disable-llvm-verifier -main-file-name main.c
-analyzer-store=region -analyzer-opt-analyze-nested-blocks
-analyzer-eagerly-assume -analyzer-ipa=inlining -analyzer-checker=core
-analyzer-checker=unix -analyzer-checker=deadcode
-analyzer-checker=security.insecureAPI.UncheckedReturn
-analyzer-checker=security.insecureAPI.getpw
-analyzer-checker=security.insecureAPI.gets
-analyzer-checker=security.insecureAPI.mktemp
-analyzer-checker=security.insecureAPI.mkstemp
-analyzer-checker=security.insecureAPI.vfork -analyzer-output plist -w
-mrelocation-model static -mdisable-fp-elim -masm-verbose -mconstructor-aliases
-munwind-tables -target-cpu x86-64 -target-linker-version 2.22
-momit-leaf-frame-pointer -resource-dir /usr/bin/../lib/clang/3.1 -D
VERSION="2.3.1" -D LOCALEDIR="/usr/share/locale" -D NC -D FW -D _DEBUG
-fmodule-cache-path /var/tmp/clang-module-cache -internal-isystem
/usr/local/include -internal-isystem /usr/bin/../lib/clang/3.1/include
-internal-isystem /usr/include/clang/3.1/include/ -internal-externc-isystem
-internal-externc-isystem /usr/include/x86_64-linux-gnu
-internal-externc-isystem /usr/include/x86_64-linux-gnu
-internal-externc-isystem /usr/include -fdebug-compilation-dir
/home/folkert/t/httping-2.3.1 -ferror-limit 19 -fmessage-length 0
-mstackrealign -fgnu-runtime -fobjc-runtime-has-arc -fobjc-runtime-has-weak
-fobjc-fragile-abi -fdiagnostics-show-option -analyzer-output=html -o
/tmp/scan-build-2013-05-09-6 -x c main.c
1. <eof> parser at end of file
/usr/share/clang/scan-build/ccc-analyzer -Wall -W -DVERSION=\"2.3.1\"
-DLOCALEDIR=\"/usr/share/locale\" -DNC -DFW -D_DEBUG -ggdb -c -o tcp.o tcp.c
tcp.c: In function ‘connect_to’:
tcp.c:183:1: warning: label ‘old_connect’ defined but not used [-Wunused-label]
/usr/share/clang/scan-build/ccc-analyzer -Wall -W -DVERSION=\"2.3.1\"
-DLOCALEDIR=\"/usr/share/locale\" -DNC -DFW -D_DEBUG -ggdb -c -o res.o res.c
/usr/share/clang/scan-build/ccc-analyzer -Wall -W -DVERSION=\"2.3.1\"
-DLOCALEDIR=\"/usr/share/locale\" -DNC -DFW -D_DEBUG -ggdb -c -o socks5.o
socks5.c
/usr/share/clang/scan-build/ccc-analyzer -Wall -W -DVERSION=\"2.3.1\"
-DLOCALEDIR=\"/usr/share/locale\" -DNC -DFW -D_DEBUG -ggdb -c -o kalman.o
kalman.c
/usr/share/clang/scan-build/ccc-analyzer -Wall -W -DVERSION=\"2.3.1\"
-DLOCALEDIR=\"/usr/share/locale\" -DNC -DFW -D_DEBUG -ggdb -c -o cookies.o
cookies.c
/usr/share/clang/scan-build/ccc-analyzer -Wall -W -DVERSION=\"2.3.1\"
-DLOCALEDIR=\"/usr/share/locale\" -DNC -DFW -D_DEBUG -ggdb -c -o help.o
help.c
/usr/share/clang/scan-build/ccc-analyzer -Wall -W -DVERSION=\"2.3.1\"
-DLOCALEDIR=\"/usr/share/locale\" -DNC -DFW -D_DEBUG -ggdb -c -o colors.o
colors.c
/usr/share/clang/scan-build/ccc-analyzer -Wall -W -DVERSION=\"2.3.1\"
-DLOCALEDIR=\"/usr/share/locale\" -DNC -DFW -D_DEBUG -ggdb -c -o mssl.o
mssl.c
mssl.c:50:3: warning: Value stored to 'rc' is never read
rc = SSL_shutdown(ssl_h);
^ ~~~~~~~~~~~~~~~~~~~
1 warning generated.
/usr/share/clang/scan-build/ccc-analyzer -Wall -W -DVERSION=\"2.3.1\"
-DLOCALEDIR=\"/usr/share/locale\" -DNC -DFW -D_DEBUG -ggdb -c -o nc.o nc.c
nc.c: In function ‘draw_graph’:
nc.c:612:24: warning: unused parameter ‘val’ [-Wunused-parameter]
nc.c:468:25: warning: Value stored to 'prev_val' is never read
prev_val = 0;
^ ~
1 warning generated.
/usr/share/clang/scan-build/ccc-analyzer -Wall -W -DVERSION=\"2.3.1\"
-DLOCALEDIR=\"/usr/share/locale\" -DNC -DFW -D_DEBUG -ggdb -c -o fft.o fft.c
/usr/share/clang/scan-build/ccc-analyzer -Wall -W gen.o http.o io.o error.o
utils.o main.o tcp.o res.o socks5.o kalman.o cookies.o help.o colors.o mssl.o
nc.o fft.o -lm -lssl -lcrypto -lncursesw -lfftw3 -g -o httping
#
# Oh, blatant plug: <a href="http://www.vanheusden.com/wishlist.php">http://www.vanheusden.com/wishlist.php</a>
msgfmt -o nl.mo nl.po
scan-build: 2 bugs found.
scan-build: Run 'scan-view /tmp/scan-build-2013-05-09-6' to examine bug
reports.
scan-build: The analyzer encountered problems on some source files.
scan-build: Preprocessed versions of these sources were deposited in
'/tmp/scan-build-2013-05-09-6/failures'.
scan-build: Please consider submitting a bug report using these files:
scan-build: <a href="http://clang-analyzer.llvm.org/filing_bugs.html">http://clang-analyzer.llvm.org/filing_bugs.html</a>
Versions of packages clang depends on:
ii libc6 2.13-37 Embedded GNU C Library: Shared lib
ii libclang-common-dev 3.1-3 clang library - Common development
ii libffi5 3.0.10-3 Foreign Function Interface library
ii libgcc1 1:4.7.2-5 GCC support library
ii libllvm3.1 3.1-1 Low-Level Virtual Machine (LLVM),
ii libstdc++6 4.7.2-5 GNU Standard C++ Library v3
ii libstdc++6-4.6-dev 4.6.3-14 GNU Standard C++ Library v3 (devel
regards</pre>
</div>
</p>
<hr>
<span>You are receiving this mail because:</span>
<ul>
<li>You are on the CC list for the bug.</li>
</ul>
</body>
</html>