Mutator Header ----------------------------------- *** dyninstAPI test1... $Dyninst: v4.0-006 test1 #0 2003/05/31 04:05 dyninst@taylor.cs.umd.edu Main => test1 libdyninstAPI.so => /usr/users/dyninst/current/lib/alpha-dec-osf5.1/libdyninstAPI.so libm.so => /usr/shlib/libm.so libc.so => /usr/shlib/libc.so Mutatee Header ----------------------------------- [Tests with test1.mutatee_gcc] -rwxr-xr-x 1 dyninst misc5 141904 May 31 04:05 test1.mutatee_gcc* Main => test1.mutatee_gcc libc.so => /usr/shlib/libc.so Mutatee ./test1.mutatee_gcc [C]:"gcc_version_2.95.3_20010315_(release)" Test Results ------------------------------------- "test1 -mutatee test1.mutatee_gcc -attach" $Dyninst: v4.0-006 libdyninstAPI #0 2003/05/31 04:04 dyninst@taylor.cs.umd.edu $ DYNINSTAPI_RT_LIB=/usr/users/dyninst/current/lib/alpha-dec-osf5.1/libdyninstAPI_RT.so.1 Starting "test1.mutatee_gcc" (2) Error #100 (level 1): Found 2functions called DYNINSTloadLibrary -- not fatal but weird BPatch_module->getLineToAddr returned false! Waiting for mutator to attach... Mutator attached. Mutatee continuing. Passed test #1 (zero arg function call) Passed test #2 (four parameter function) Passed test #3 (passing variables to functions) Passed test #4 (sequence) Passed test #5 (if w.o. else) Passed test #6 (arithmetic operators) Passed test #7 (relational operators) Passed test #8 (preserve registers - expr) Passed test #9 (preserve registers - funcCall) Passed test #10 (insert snippet order) Passed test #11 (snippets at entry,exit,call) Passed test #12 (insert/remove and malloc/free) Passed test #13 (paramExpr,retExpr,nullExpr) Passed test #14 (replace/remove function call) Passed test #15 (setMutationsActive) Passed test #16 (if-else) Passed test #17 (return values from func calls) Passed test #18 (read/write a variable in the mutatee) Passed test #19 (oneTimeCode) Passed test #20 (instrument arbitrary points) Passed test #21 (findFunction in module) Passed test #22 (replace function) Passed test #23 (local variables) Passed test #24 (array variables) Passed test #25 (unary operators) Passed test #26 (field operators) Passed test #27 (type compatibility) Passed test #28 (user defined fields) Passed test #29 (BPatch_srcObj class) Passed test #30 (line information) Skipped test #31 (non-recursive base tramp guard) - not implemented on this platform Passed test #32 (recursive base tramp guard) Passed test #33 (control flow graphs) Passed test #34 (loop information) Skipped test #35 (function relocation) - not implemented on this platform All tests passed