[LLVMbugs] [Bug 15943] New: scan-build crashes(?) when scanning httping 2.3.1

bugzilla-daemon at llvm.org bugzilla-daemon at llvm.org
Thu May 9 12:09:19 PDT 2013


http://llvm.org/bugs/show_bug.cgi?id=15943

            Bug ID: 15943
           Summary: scan-build crashes(?) when scanning httping 2.3.1
           Product: clang
           Version: 3.1
          Hardware: PC
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P
         Component: Static Analyzer
          Assignee: kremenek at apple.com
          Reporter: folkert at vanheusden.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified

Hi,

When I run scan-build on http://www.vanheusden.com/httping/httping-2.3.1.tgz it
dumps a stacktrace.
I think that means it crashed?

Procedure:
wget http://www.vanheusden.com/httping/httping-2.3.1.tgz
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: http://www.vanheusden.com/wishlist.php
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:   http://clang-analyzer.llvm.org/filing_bugs.html


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

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20130509/cf95e3e9/attachment.html>


More information about the llvm-bugs mailing list