search

DependableSystemsLab / LLFI

LLFI is an LLVM based fault injection tool, that injects faults into the LLVM IR of the application source code. The faults can be injected into specific program points, and the effect can be easily tracked back to the source code. Please refer to the paper below. NOTE: If you publish a paper using LLFI, please add it to PaperLLFI.bib
http://blogs.ubc.ca/karthik/2014/02/23/quantifying-the-accuracy-of-high-level-fault-injection-techniques/
Other
68 stars 35 forks source link

Regression Test Problem #69

Closed Happycan closed 9 years ago

Happycan commented 9 years ago

Hi, My system is Ubuntu 14.04(64 bit).

When i start to do the regression test, it turns out that there may be some problems.

After the injections, it shows that

MSG: instrument succeed for: /home/ma/faultInjection/llfidst/test_suite/HardwareFaults/insttype MCF.ll MSG: profile succeed for: /home/ma/faultInjection/llfidst/test_suite/HardwareFaults/insttype MCF.ll inp.in * Error in `/home/ma/faultInjection/llfidst/test_suite/HardwareFaults/insttype/llfi/MCF-faultinjection.exe': double free or corruption (top): 0x00000000010fc7a0 ** Error in/home/ma/faultInjection/llfidst/test_suite/HardwareFaults/insttype/llfi/MCF-faultinjection.exe': double free or corruption (top): 0x0000000001bd37a0 *** **\* Error in/home/ma/faultInjection/llfidst/test_suite/HardwareFaults/insttype/llfi/MCF-faultinjection.exe': double free or corruption (top): 0x0000000000e2f7a0 Error in/home/ma/faultInjection/llfidst/test_suite/HardwareFaults/insttype/llfi/MCF-faultinjection.exe': double free or corruption (top): 0x00000000015817a0 *** **\* Error in/home/ma/faultInjection/llfidst/test_suite/HardwareFaults/insttype/llfi/MCF-faultinjection.exe': double free or corruption (top): 0x00000000015447a0 *** MSG: Injection for: test_suite HardwareFaults insttype/MCF.ll finished!

The test on factorial goes well, but most of the injections on other programs show "double free or corruption"(just like the regression test) or "free: invalid next size".

what should i do, thanks

karthikp-ubc commented 9 years ago

I'm not sure, but it seems like the fault injection is doing what it's supposed to - namely, inject a fault, so what you're seeing is the failure due to the injection. Phil, can you take a look and see if this is the correct behavior ? Thanks,

karfair commented 9 years ago

This is the correct behavior for the regression test, it is a failure due to the fault injection. Once you have run 'check_injection.py', it will result in a 'PASS'. Thanks!

karthikp-ubc commented 9 years ago

Reopening this as it looks like the fix didn't resolve the issue i.e. the test cases don't result in a PASS.

karfair commented 9 years ago

This was my result. I did get a double free error as well but in the end it resulted in a pass.

phil@phil-VirtualBox:~/Desktop$ cd llfi-gui-merge/
phil@phil-VirtualBox:~/Desktop/llfi-gui-merge$ python3 test_suite/SCRIPTS/build_prog.py
for prog in deadlock factorial mcf memcpy1 mpi sudoku2 bfs ; do \
        make -C $prog; \
    done
make[1]: Entering directory `/home/phil/Desktop/llfi-gui-merge/test_suite/PROGRAMS/deadlock'
make[1]: Nothing to be done for `default'.
make[1]: Leaving directory `/home/phil/Desktop/llfi-gui-merge/test_suite/PROGRAMS/deadlock'
make[1]: Entering directory `/home/phil/Desktop/llfi-gui-merge/test_suite/PROGRAMS/factorial'
make[1]: Nothing to be done for `default'.
make[1]: Leaving directory `/home/phil/Desktop/llfi-gui-merge/test_suite/PROGRAMS/factorial'
make[1]: Entering directory `/home/phil/Desktop/llfi-gui-merge/test_suite/PROGRAMS/mcf'
/home/phil/Desktop/llvm/bin/clang -emit-llvm pbeampp.c -c -o pbeampp.bc
/home/phil/Desktop/llvm/bin/clang -emit-llvm pbla.c -c -o pbla.bc
/home/phil/Desktop/llvm/bin/clang -emit-llvm readmin.c -c -o readmin.bc
/home/phil/Desktop/llvm/bin/clang -emit-llvm treeup.c -c -o treeup.bc
/home/phil/Desktop/llvm/bin/llvm-link implicit.bc mcf.bc mcfutil.bc output.bc pbeampp.bc pbla.bc pflowup.bc psimplex.bc pstart.bc readmin.bc treeup.bc -o MCF.bc
/home/phil/Desktop/llvm/bin/llvm-dis MCF.bc -o MCF.ll
make[1]: Leaving directory `/home/phil/Desktop/llfi-gui-merge/test_suite/PROGRAMS/mcf'
make[1]: Entering directory `/home/phil/Desktop/llfi-gui-merge/test_suite/PROGRAMS/memcpy1'
/home/phil/Desktop/llvm/bin/clang -emit-llvm memcpy1.c -c -o memcpy1.bc
/home/phil/Desktop/llvm/bin/llvm-dis memcpy1.bc -o memcpy1.ll
rm memcpy1.bc
make[1]: Leaving directory `/home/phil/Desktop/llfi-gui-merge/test_suite/PROGRAMS/memcpy1'
make[1]: Entering directory `/home/phil/Desktop/llfi-gui-merge/test_suite/PROGRAMS/mpi'
/home/phil/Desktop/llvm/bin/clang echoServer.c -o echoServer.exe
make[1]: Leaving directory `/home/phil/Desktop/llfi-gui-merge/test_suite/PROGRAMS/mpi'
make[1]: Entering directory `/home/phil/Desktop/llfi-gui-merge/test_suite/PROGRAMS/sudoku2'
make[1]: Nothing to be done for `default'.
make[1]: Leaving directory `/home/phil/Desktop/llfi-gui-merge/test_suite/PROGRAMS/sudoku2'
make[1]: Entering directory `/home/phil/Desktop/llfi-gui-merge/test_suite/PROGRAMS/bfs'
/home/phil/Desktop/llvm/bin/clang -emit-llvm -fno-use-cxa-atexit main.cpp -c -o main.bc
/home/phil/Desktop/llvm/bin/llvm-link main.bc parboil.bc -o bfs.bc
/home/phil/Desktop/llvm/bin/llvm-dis bfs.bc -o bfs.ll
make[1]: Leaving directory `/home/phil/Desktop/llfi-gui-merge/test_suite/PROGRAMS/bfs'

phil@phil-VirtualBox:~/Desktop/llfi-gui-merge$ python3 test_suite/SCRIPTS/deploy_prog.py
MSG: 93 files copied

phil@phil-VirtualBox:~/Desktop/llfi-gui-merge$ python3 test_suite/SCRIPTS/inject_prog.py 1
MSG: instrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/BufferUnderflow_API memcpy1.ll
MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/BufferUnderflow_API memcpy1.ll None
MSG: Injection for: test_suite SoftwareFaults BufferUnderflow_API/memcpy1.ll finished!

MSG: instrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/WrongSource_Data memcpy1.ll
MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/WrongSource_Data memcpy1.ll None
MSG: Injection for: test_suite SoftwareFaults WrongSource_Data/memcpy1.ll finished!

MSG: instrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/WrongPointer_Data memcpy1.ll
MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/WrongPointer_Data memcpy1.ll None
MSG: Injection for: test_suite SoftwareFaults WrongPointer_Data/memcpy1.ll finished!

MSG: instrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/HardwareFaults/multiplebits bfs.ll
MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/HardwareFaults/multiplebits bfs.ll -i graph_input.dat -o output.dat
MSG: Injection for: test_suite HardwareFaults multiplebits/bfs.ll finished!

MSG: instrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/LowMemory_Res MCF.ll
MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/LowMemory_Res MCF.ll inp.in
MSG: Injection for: test_suite SoftwareFaults LowMemory_Res/MCF.ll finished!

MSG: instrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/InvalidPointer_Res MCF.ll
MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/InvalidPointer_Res MCF.ll inp.in
*** Error in `/home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/InvalidPointer_Res/llfi/MCF-faultinjection.exe': free(): invalid pointer: 0x00007f11da585030 ***
MSG: Injection for: test_suite SoftwareFaults InvalidPointer_Res/MCF.ll finished!

MSG: instrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/WrongSavedFormat_IO memcpy1.ll
MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/WrongSavedFormat_IO memcpy1.ll None
MSG: Injection for: test_suite SoftwareFaults WrongSavedFormat_IO/memcpy1.ll finished!

MSG: instrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/WrongRetrievedFormat_IO memcpy1.ll
MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/WrongRetrievedFormat_IO memcpy1.ll None
MSG: Injection for: test_suite SoftwareFaults WrongRetrievedFormat_IO/memcpy1.ll finished!

MSG: instrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/NoMessage_MPI echoClient.ll
using startEchoServer
no output yet
b'Server running...waiting for connections.\n'
MSG: echoServer.ll started for profile, please make sure there is only one echoServer running

MSG: echoServer.exe terminated for profile.

MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/NoMessage_MPI echoClient.ll 127.0.0.1
using startEchoServer
b'Server running...waiting for connections.\n'
MSG: echoServer.ll started for injectfault, please make sure there is only one echoServer running

MSG: echoServer.exe terminated for profile.

MSG: Injection for: test_suite SoftwareFaults NoMessage_MPI/echoClient.ll finished!

MSG: instrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/NoOutput_Data MCF.ll
MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/NoOutput_Data MCF.ll inp.in
MSG: Injection for: test_suite SoftwareFaults NoOutput_Data/MCF.ll finished!

MSG: instrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/WrongMode_API memcpy1.ll
MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/WrongMode_API memcpy1.ll None
MSG: Injection for: test_suite SoftwareFaults WrongMode_API/memcpy1.ll finished!

MSG: instrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/NoOpen_API memcpy1.ll
MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/NoOpen_API memcpy1.ll None
MSG: Injection for: test_suite SoftwareFaults NoOpen_API/memcpy1.ll finished!

MSG: instrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/HighFrequentEvent_Timing MCF.ll
MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/HighFrequentEvent_Timing MCF.ll inp.in
MSG: Injection for: test_suite SoftwareFaults HighFrequentEvent_Timing/MCF.ll finished!

MSG: instrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/HardwareFaults/llfiindex MCF.ll
MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/HardwareFaults/llfiindex MCF.ll inp.in
MSG: Injection for: test_suite HardwareFaults llfiindex/MCF.ll finished!

MSG: batchInstrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/BatchMode/NoOpen_API_WrongMode_API_BufferUnderflow_API memcpy1.ll
MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/BatchMode/NoOpen_API_WrongMode_API_BufferUnderflow_API memcpy1.ll None
MSG: Injection for: test_suite BatchMode NoOpen_API_WrongMode_API_BufferUnderflow_API/memcpy1.ll finished!

MSG: instrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/InappropriateClose_API memcpy1.ll
MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/InappropriateClose_API memcpy1.ll None
*** Error in `/home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/InappropriateClose_API/llfi/memcpy1-faultinjection.exe': double free or corruption (!prev): 0x000000000162ea60 ***
*** Error in `/home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/InappropriateClose_API/llfi/memcpy1-faultinjection.exe': double free or corruption (!prev): 0x0000000000886a60 ***
MSG: Injection for: test_suite SoftwareFaults InappropriateClose_API/memcpy1.ll finished!

MSG: instrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/CPUHog_Res MCF.ll
MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/CPUHog_Res MCF.ll inp.in
MSG: Injection for: test_suite SoftwareFaults CPUHog_Res/MCF.ll finished!

MSG: instrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/ThreadKiller_Res deadlock.ll
MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/ThreadKiller_Res deadlock.ll None
MSG: Injection for: test_suite SoftwareFaults ThreadKiller_Res/deadlock.ll finished!

MSG: instrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/InvalidSender_MPI echoClient.ll
using startEchoServer
no output yet
b'Server running...waiting for connections.\n'
MSG: echoServer.ll started for profile, please make sure there is only one echoServer running

MSG: echoServer.exe terminated for profile.

MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/InvalidSender_MPI echoClient.ll 127.0.0.1
using startEchoServer
no output yet
b'Server running...waiting for connections.\n'
MSG: echoServer.ll started for injectfault, please make sure there is only one echoServer running

MSG: echoServer.exe terminated for profile.

MSG: Injection for: test_suite SoftwareFaults InvalidSender_MPI/echoClient.ll finished!

MSG: instrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/BufferOverflow_API memcpy1.ll
MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/BufferOverflow_API memcpy1.ll None
MSG: Injection for: test_suite SoftwareFaults BufferOverflow_API/memcpy1.ll finished!

MSG: instrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/BufferOverflowMemmove_Data memcpy1.ll
MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/BufferOverflowMemmove_Data memcpy1.ll None
MSG: Injection for: test_suite SoftwareFaults BufferOverflowMemmove_Data/memcpy1.ll finished!

MSG: instrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/WrongSavedAddress_IO memcpy1.ll
MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/WrongSavedAddress_IO memcpy1.ll None
MSG: Injection for: test_suite SoftwareFaults WrongSavedAddress_IO/memcpy1.ll finished!

MSG: instrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/WrongRetrievedAddress_IO memcpy1.ll
MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/WrongRetrievedAddress_IO memcpy1.ll None
MSG: Injection for: test_suite SoftwareFaults WrongRetrievedAddress_IO/memcpy1.ll finished!

MSG: instrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/StalePointer_Res memcpy1.ll
MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/StalePointer_Res memcpy1.ll None
*** Error in `/home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/StalePointer_Res/llfi/memcpy1-faultinjection.exe': double free or corruption (fasttop): 0x0000000001d049e0 ***
MSG: Injection for: test_suite SoftwareFaults StalePointer_Res/memcpy1.ll finished!

MSG: instrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/IncorrectOutput_API MCF.ll
MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/IncorrectOutput_API MCF.ll inp.in
MSG: Injection for: test_suite SoftwareFaults IncorrectOutput_API/MCF.ll finished!

MSG: instrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/NoOutput_API sudoku2.ll
MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/NoOutput_API sudoku2.ll None
MSG: Injection for: test_suite SoftwareFaults NoOutput_API/sudoku2.ll finished!

MSG: instrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/UnderAccumulator_Res memcpy1.ll
MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/UnderAccumulator_Res memcpy1.ll None
MSG: Injection for: test_suite SoftwareFaults UnderAccumulator_Res/memcpy1.ll finished!

MSG: instrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/MemoryLeak_Res MCF.ll
MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/MemoryLeak_Res MCF.ll inp.in
MSG: Injection for: test_suite SoftwareFaults MemoryLeak_Res/MCF.ll finished!

MSG: instrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/DataCorruption_Data MCF.ll
MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/DataCorruption_Data MCF.ll inp.in
MSG: Injection for: test_suite SoftwareFaults DataCorruption_Data/MCF.ll finished!

MSG: instrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/HardwareFaults/funcname MCF.ll
MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/HardwareFaults/funcname MCF.ll inp.in
MSG: Injection for: test_suite HardwareFaults funcname/MCF.ll finished!

MSG: instrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/RaceCondition_Timing deadlock.ll
MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/RaceCondition_Timing deadlock.ll None
MSG: Injection for: test_suite SoftwareFaults RaceCondition_Timing/deadlock.ll finished!

MSG: instrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/Deadlock_Res deadlock.ll
MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/Deadlock_Res deadlock.ll None
MSG: Injection for: test_suite SoftwareFaults Deadlock_Res/deadlock.ll finished!

MSG: instrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/BufferOverflowMalloc_Data memcpy1.ll
MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/BufferOverflowMalloc_Data memcpy1.ll None
*** Error in `/home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/BufferOverflowMalloc_Data/llfi/memcpy1-faultinjection.exe': munmap_chunk(): invalid pointer: 0x000000000217da90 ***
*** Error in `/home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/BufferOverflowMalloc_Data/llfi/memcpy1-faultinjection.exe': munmap_chunk(): invalid pointer: 0x0000000000b7ba90 ***
*** Error in `/home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/BufferOverflowMalloc_Data/llfi/memcpy1-faultinjection.exe': munmap_chunk(): invalid pointer: 0x00000000014e4a90 ***
*** Error in `/home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/BufferOverflowMalloc_Data/llfi/memcpy1-faultinjection.exe': free(): invalid next size (normal): 0x0000000002369ad0 ***
*** Error in `/home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/BufferOverflowMalloc_Data/llfi/memcpy1-faultinjection.exe': free(): invalid next size (normal): 0x0000000001480ad0 ***
MSG: Injection for: test_suite SoftwareFaults BufferOverflowMalloc_Data/memcpy1.ll finished!

MSG: instrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/IncorrectOutput_Data MCF.ll
MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/IncorrectOutput_Data MCF.ll inp.in
MSG: Injection for: test_suite SoftwareFaults IncorrectOutput_Data/MCF.ll finished!

ERROR: instrument failed for: /home/phil/Desktop/llfi-gui-merge/test_suite/HardwareFaults/insttype MCF.ll
ERROR: Skip: ./HardwareFaults/insttype
MSG: instrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/NoDrain_MPI echoClient.ll
using startEchoServer
no output yet
b'Server running...waiting for connections.\n'
MSG: echoServer.ll started for profile, please make sure there is only one echoServer running

MSG: echoServer.exe terminated for profile.

MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/NoDrain_MPI echoClient.ll 127.0.0.1
using startEchoServer
no output yet
b'Server running...waiting for connections.\n'
MSG: echoServer.ll started for injectfault, please make sure there is only one echoServer running

MSG: echoServer.exe terminated for profile.

MSG: Injection for: test_suite SoftwareFaults NoDrain_MPI/echoClient.ll finished!

MSG: instrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/InvalidMessage_MPI echoClient.ll
using startEchoServer
no output yet
b'Server running...waiting for connections.\n'
MSG: echoServer.ll started for profile, please make sure there is only one echoServer running

MSG: echoServer.exe terminated for profile.

MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/InvalidMessage_MPI echoClient.ll 127.0.0.1
using startEchoServer
no output yet
b'Server running...waiting for connections.\n'
MSG: echoServer.ll started for injectfault, please make sure there is only one echoServer running

MSG: echoServer.exe terminated for profile.

MSG: Injection for: test_suite SoftwareFaults InvalidMessage_MPI/echoClient.ll finished!

MSG: SoftwareFailureAutoScan succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/BatchMode/SoftwareFailureAutoScan memcpy1.ll
MSG: batchInstrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/BatchMode/SoftwareFailureAutoScan memcpy1.ll
MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/BatchMode/SoftwareFailureAutoScan memcpy1.ll None
*** Error in `/home/phil/Desktop/llfi-gui-merge/test_suite/BatchMode/SoftwareFailureAutoScan/llfi-BufferOverflowMalloc(Data)/llfi/memcpy1-faultinjection.exe': munmap_chunk(): invalid pointer: 0x00000000015a3a90 ***
*** Error in `/home/phil/Desktop/llfi-gui-merge/test_suite/BatchMode/SoftwareFailureAutoScan/llfi-InappropriateClose(API)/llfi/memcpy1-faultinjection.exe': double free or corruption (!prev): 0x0000000001625a60 ***
MSG: Injection for: test_suite BatchMode SoftwareFailureAutoScan/memcpy1.ll finished!

MSG: instrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/WrongDestination_Data memcpy1.ll
MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/WrongDestination_Data memcpy1.ll None
MSG: Injection for: test_suite SoftwareFaults WrongDestination_Data/memcpy1.ll finished!

MSG: instrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/PacketStorm_MPI echoClient.ll
using startEchoServer
no output yet
b'Server running...waiting for connections.\n'
MSG: echoServer.ll started for profile, please make sure there is only one echoServer running

MSG: echoServer.exe terminated for profile.

MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/PacketStorm_MPI echoClient.ll 127.0.0.1
using startEchoServer
no output yet
b'Server running...waiting for connections.\n'
MSG: echoServer.ll started for injectfault, please make sure there is only one echoServer running

MSG: echoServer.exe terminated for profile.

MSG: Injection for: test_suite SoftwareFaults PacketStorm_MPI/echoClient.ll finished!

MSG: instrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/HardwareFaults/random MCF.ll
MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/HardwareFaults/random MCF.ll inp.in
MSG: Injection for: test_suite HardwareFaults random/MCF.ll finished!

MSG: instrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/HardwareFaults/tracing factorial.ll
MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/HardwareFaults/tracing factorial.ll 6
MSG: Injection for: test_suite HardwareFaults tracing/factorial.ll finished!

MSG: instrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/NoClose_API memcpy1.ll
MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/NoClose_API memcpy1.ll None
MSG: Injection for: test_suite SoftwareFaults NoClose_API/memcpy1.ll finished!

MSG: instrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/WrongAPI_API MCF.ll
MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/WrongAPI_API MCF.ll inp.in
MSG: Injection for: test_suite SoftwareFaults WrongAPI_API/MCF.ll finished!

MSG: instrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/MemoryExhaustion_Res memcpy1.ll
MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/MemoryExhaustion_Res memcpy1.ll None
MSG: Injection for: test_suite SoftwareFaults MemoryExhaustion_Res/memcpy1.ll finished!

MSG: instrument succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/NoAck_MPI echoClient.ll
using startEchoServer
no output yet
b'Server running...waiting for connections.\n'
MSG: echoServer.ll started for profile, please make sure there is only one echoServer running

MSG: echoServer.exe terminated for profile.

MSG: profile succeed for: /home/phil/Desktop/llfi-gui-merge/test_suite/SoftwareFaults/NoAck_MPI echoClient.ll 127.0.0.1
using startEchoServer
b'Server running...waiting for connections.\n'
MSG: echoServer.ll started for injectfault, please make sure there is only one echoServer running

MSG: echoServer.exe terminated for profile.

MSG: Injection for: test_suite SoftwareFaults NoAck_MPI/echoClient.ll finished!

phil@phil-VirtualBox:~/Desktop/llfi-gui-merge$ python3 test_suite/SCRIPTS/check_injection.py 
=============== Result ===============
./SoftwareFaults/InappropriateClose_API          PASS
./SoftwareFaults/IncorrectOutput_API         PASS
./HardwareFaults/random          PASS
./SoftwareFaults/WrongRetrievedFormat_IO         PASS
./SoftwareFaults/NoDrain_MPI         PASS
./SoftwareFaults/MemoryLeak_Res          PASS
./SoftwareFaults/InvalidMessage_MPI          PASS
./SoftwareFaults/InvalidPointer_Res          PASS
./SoftwareFaults/WrongRetrievedAddress_IO        PASS
./SoftwareFaults/WrongPointer_Data       PASS
./HardwareFaults/tracing         PASS
./SoftwareFaults/ThreadKiller_Res        PASS
./HardwareFaults/insttype        PASS
./BatchMode/NoOpen_API_WrongMode_API_BufferUnderflow_API         PASS
./HardwareFaults/llfiindex       PASS
./SoftwareFaults/BufferOverflow_API          PASS
./SoftwareFaults/NoAck_MPI       PASS
./HardwareFaults/funcname        PASS
./SoftwareFaults/RaceCondition_Timing        PASS
./BatchMode/SoftwareFailureAutoScan          PASS
./SoftwareFaults/WrongSavedAddress_IO        PASS
./SoftwareFaults/NoOutput_API        PASS
./SoftwareFaults/PacketStorm_MPI         PASS
./SoftwareFaults/MemoryExhaustion_Res        PASS
./SoftwareFaults/NoMessage_MPI       PASS
./SoftwareFaults/InvalidSender_MPI       PASS
./SoftwareFaults/NoClose_API         PASS
./SoftwareFaults/Deadlock_Res        PASS
./SoftwareFaults/NoOpen_API          PASS
./SoftwareFaults/DataCorruption_Data         PASS
./SoftwareFaults/NoOutput_Data       PASS
./SoftwareFaults/WrongAPI_API        PASS
./SoftwareFaults/WrongDestination_Data       PASS
./SoftwareFaults/BufferUnderflow_API         PASS
./SoftwareFaults/BufferOverflowMalloc_Data       PASS
./SoftwareFaults/CPUHog_Res          PASS
./SoftwareFaults/HighFrequentEvent_Timing        PASS
./SoftwareFaults/IncorrectOutput_Data        PASS
./SoftwareFaults/StalePointer_Res        PASS
./SoftwareFaults/UnderAccumulator_Res        PASS
./SoftwareFaults/LowMemory_Res       PASS
./HardwareFaults/multiplebits        PASS
./SoftwareFaults/WrongSavedFormat_IO         PASS
./SoftwareFaults/WrongSource_Data        PASS
./SoftwareFaults/WrongMode_API       PASS
./SoftwareFaults/BufferOverflowMemmove_Data          PASS
phil@phil-VirtualBox:~/Desktop/llfi-gui-merge$ cd Desktop/llfi-gui-merge/HP
karthikp-ubc commented 9 years ago

Closing this issue. Please reopen if this problem still persists. Thanks,