| ID | Checker | File | Function | Classification |
| 1 | BUFFER_SIZE_WARNING | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp.c | setup_clone_entry | UNINSPECTED |
| 2 | BUFFER_SIZE_WARNING | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp.c | finishrestore | UNINSPECTED |
| 3 | BUFFER_SIZE_WARNING | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp.c | mtcp_init | UNINSPECTED |
| 4 | CHECKED_RETURN | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcp_restart.cpp | <unnamed>::RestoreTarget::forkChild() | UNINSPECTED |
| 5 | CHECKED_RETURN | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcp_restart.cpp | <unnamed>::RestoreTarget::CreateProcess(dmtcp::DmtcpWorker &, dmtcp::SlidingFdTable &) | UNINSPECTED |
| 6 | CHECKED_RETURN | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcp_restart.cpp | main | UNINSPECTED |
| 7 | CHECKED_RETURN | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp.c | unlk_threads | UNINSPECTED |
| 8 | CHECKED_RETURN | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp.c | mtcp_restore_start | UNINSPECTED |
| 9 | CONSTANT_EXPRESSION_RESULT | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp_ptrace.c | process_ptrace_info | UNINSPECTED |
| 10 | DEADCODE | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp_restart_nolibc.c | lock_file | UNINSPECTED |
| 11 | FORWARD_NULL | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/connectionmanager.cpp | dmtcp::ConnectionList::serialize(jalib::JBinarySerializer &) | UNINSPECTED |
| 12 | FORWARD_NULL | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcp_coordinator.cpp | dmtcp::DmtcpCoordinator::onData(jalib::JReaderInterface *) | UNINSPECTED |
| 13 | INVALIDATE_ITERATOR | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/connectionmanager.cpp | dmtcp::UniquePtsNameToPtmxConId::retrieveCurrentPtsDeviceName(std::basic_string<char, std::char_traits<char>, dmtcp::DmtcpAlloc<char>>) | UNINSPECTED |
| 14 | INVALIDATE_ITERATOR | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/connectionmanager.cpp | dmtcp::KernelDeviceToConnection::retrieve(int) | UNINSPECTED |
| 15 | INVALIDATE_ITERATOR | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/connectionmanager.cpp | dmtcp::UniquePtsNameToPtmxConId::retrieve(std::basic_string<char, std::char_traits<char>, dmtcp::DmtcpAlloc<char>>) | UNINSPECTED |
| 16 | INVALIDATE_ITERATOR | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/sysvipc.cpp | dmtcp::ShmSegment::prepareForLeaderElection() | UNINSPECTED |
| 17 | INVALIDATE_ITERATOR | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/sysvipc.cpp | dmtcp::ShmSegment::leaderElection() | UNINSPECTED |
| 18 | INVALIDATE_ITERATOR | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/sysvipc.cpp | dmtcp::ShmSegment::preCheckpoint() | UNINSPECTED |
| 19 | INVALIDATE_ITERATOR | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/connectionrewirer.cpp | dmtcp::ConnectionRewirer::onConnect(const jalib::JSocket &, const sockaddr *, unsigned int) | UNINSPECTED |
| 20 | LOCK | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcpworker.cpp | dmtcp::DmtcpWorker::waitForCoordinatorMsg(std::basic_string<char, std::char_traits<char>, dmtcp::DmtcpAlloc<char>>, dmtcp::DmtcpMessageType) | UNINSPECTED |
| 21 | MISSING_LOCK | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcpworker.cpp | dmtcp::DmtcpWorker::cleanupWorker() | UNINSPECTED |
| 22 | NEGATIVE_RETURNS | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp_restart.c | open_ckpt_to_read | UNINSPECTED |
| 23 | NEGATIVE_RETURNS | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp_restart.c | open_ckpt_to_read | UNINSPECTED |
| 24 | NEGATIVE_RETURNS | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcp_coordinator.cpp | main | UNINSPECTED |
| 25 | NEGATIVE_RETURNS | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcpworker.cpp | dmtcp::DmtcpWorker::startCoordinatorIfNeeded(int, int) | UNINSPECTED |
| 26 | NEGATIVE_RETURNS | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/connectionmanager.cpp | open_ckpt_to_read(const char *) | UNINSPECTED |
| 27 | NEGATIVE_RETURNS | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/connectionmanager.cpp | open_ckpt_to_read(const char *) | UNINSPECTED |
| 28 | NEGATIVE_RETURNS | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcp_restart.cpp | openOriginalToCurrentMappingFiles() | UNINSPECTED |
| 29 | NEGATIVE_RETURNS | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcp_restart.cpp | openOriginalToCurrentMappingFiles() | UNINSPECTED |
| 30 | NEGATIVE_RETURNS | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcp_restart.cpp | openOriginalToCurrentMappingFiles() | UNINSPECTED |
| 31 | NEGATIVE_RETURNS | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcp_restart.cpp | openOriginalToCurrentMappingFiles() | UNINSPECTED |
| 32 | NEGATIVE_RETURNS | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/connectionmanager.cpp | open_ckpt_to_read(const char *) | UNINSPECTED |
| 33 | NEGATIVE_RETURNS | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/uniquepid.cpp | dmtcp::UniquePid::setTmpDir(const char *) | UNINSPECTED |
| 34 | NEGATIVE_RETURNS | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/miscwrappers.cpp | shmat | UNINSPECTED |
| 35 | NEGATIVE_RETURNS | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcp_restart.cpp | <unnamed>::RestoreTarget::CreateProcess(dmtcp::DmtcpWorker &, dmtcp::SlidingFdTable &) | UNINSPECTED |
| 36 | NEGATIVE_RETURNS | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/connectionmanager.cpp | first_char(const char *) | UNINSPECTED |
| 37 | NEGATIVE_RETURNS | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/connection.cpp | dmtcp::FileConnection::saveFile(int) | UNINSPECTED |
| 38 | NEGATIVE_RETURNS | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/jalib/jfilesystem.cpp | jalib::Filesystem::GetControllingTerm() | UNINSPECTED |
| 39 | NEGATIVE_RETURNS | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/connection.cpp | dmtcp::PtyConnection::restore(const dmtcp::vector<int> &, dmtcp::ConnectionRewirer &) | UNINSPECTED |
| 40 | NEGATIVE_RETURNS | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/jalib/jfilesystem.cpp | <unnamed>::_GetProgramCmdline(char *, int) | UNINSPECTED |
| 41 | NEGATIVE_RETURNS | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/connectionmanager.cpp | dmtcp::ConnectionToFds::openDmtcpCheckpointFile(const std::basic_string<char, std::char_traits<char>, dmtcp::DmtcpAlloc<char>>&) | UNINSPECTED |
| 42 | NEGATIVE_RETURNS | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/jalib/jassert.cpp | writeProcMaps() | UNINSPECTED |
| 43 | NEGATIVE_RETURNS | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/connectionmanager.cpp | dmtcp::ConnectionToFds::loadFromFile(const std::basic_string<char, std::char_traits<char>, dmtcp::DmtcpAlloc<char>>&, dmtcp::UniquePid &, int &, dmtcp::VirtualPidTable &) | UNINSPECTED |
| 44 | NEGATIVE_RETURNS | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/connection.cpp | dmtcp::FileConnection::saveFile(int) | UNINSPECTED |
| 45 | NEGATIVE_RETURNS | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcp_restart.cpp | <unnamed>::RestoreTarget::bringToForeground(dmtcp::SlidingFdTable &) | UNINSPECTED |
| 46 | NEGATIVE_RETURNS | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcp_restart.cpp | <unnamed>::RestoreTarget::bringToForeground(dmtcp::SlidingFdTable &) | UNINSPECTED |
| 47 | NEGATIVE_RETURNS | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/connection.cpp | dmtcp::FileConnection::preCheckpoint(const dmtcp::vector<int> &, dmtcp::KernelBufferDrainer &) | UNINSPECTED |
| 48 | NEGATIVE_RETURNS | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/connectionmanager.cpp | open_ckpt_to_read(const char *) | UNINSPECTED |
| 49 | NEGATIVE_RETURNS | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/jalib/jfilesystem.cpp | jalib::Filesystem::ListOpenFds() | UNINSPECTED |
| 50 | NEGATIVE_RETURNS | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp_restart.c | main | UNINSPECTED |
| 51 | NO_EFFECT | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp_ptrace.c | ptrace_attach_threads | UNINSPECTED |
| 52 | OVERRUN_STATIC | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/connection.cpp | dmtcp::TcpConnection::onBind(const sockaddr *, unsigned int) | UNINSPECTED |
| 53 | OVERRUN_STATIC | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/jalib/jsocket.cpp | jalib::JSocket::connect(const sockaddr *, unsigned int, int) | UNINSPECTED |
| 54 | OVERRUN_STATIC | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp_safe_open.c | mtcp_safe_open | UNINSPECTED |
| 55 | OVERRUN_STATIC | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp_safe_open.c | mtcp_safe_open | UNINSPECTED |
| 56 | OVERRUN_STATIC | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp_check_vdso.c | write_args | UNINSPECTED |
| 57 | PW.ASSIGN_WHERE_COMPARE_MEANT | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp_ptrace.c | unknown | UNINSPECTED |
| 58 | PW.IMPLICIT_FUNC_DECL | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp_ptrace.c | unknown | UNINSPECTED |
| 59 | PW.IMPLICIT_FUNC_DECL | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp_check_vdso.c | unknown | UNINSPECTED |
| 60 | PW.IMPLICIT_FUNC_DECL | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp.c | unknown | UNINSPECTED |
| 61 | PW.IMPLICIT_FUNC_DECL | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp.c | unknown | UNINSPECTED |
| 62 | PW.IMPLICIT_FUNC_DECL | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp.c | unknown | UNINSPECTED |
| 63 | PW.IMPLICIT_FUNC_DECL | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/nosyscallsreal.c | unknown | UNINSPECTED |
| 64 | PW.MAIN_WRONG_NUM_PARAMS | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp_restart.c | unknown | UNINSPECTED |
| 65 | PW.NULL_REFERENCE | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/connection.cpp | unknown | UNINSPECTED |
| 66 | PW.NULL_REFERENCE | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcp_coordinator.cpp | unknown | UNINSPECTED |
| 67 | PW.NULL_REFERENCE | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcp_coordinator.cpp | unknown | UNINSPECTED |
| 68 | RESOURCE_LEAK | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcpworker.cpp | processDmtcpCommands(std::basic_string<char, std::char_traits<char>, dmtcp::DmtcpAlloc<char>>) | UNINSPECTED |
| 69 | RESOURCE_LEAK | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcpworker.cpp | processSshCommand(std::basic_string<char, std::char_traits<char>, dmtcp::DmtcpAlloc<char>>) | UNINSPECTED |
| 70 | RETURN_LOCAL | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/signalwrappers.cpp | sigwait | UNINSPECTED |
| 71 | RETURN_LOCAL | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/signalwrappers.cpp | pthread_sigmask | UNINSPECTED |
| 72 | RETURN_LOCAL | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/signalwrappers.cpp | sigprocmask | UNINSPECTED |
| 73 | REVERSE_INULL | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/execwrappers.cpp | system | UNINSPECTED |
| 74 | REVERSE_INULL | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcp_restart.cpp | <unnamed>::RestoreTarget::bringToForeground(dmtcp::SlidingFdTable &) | UNINSPECTED |
| 75 | REVERSE_NEGATIVE | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcp_restart.cpp | <unnamed>::RestoreTarget::bringToForeground(dmtcp::SlidingFdTable &) | UNINSPECTED |
| 76 | SECURE_CODING | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp_restart.c | main | UNINSPECTED |
| 77 | SECURE_CODING | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp_ptrace.c | have_file | UNINSPECTED |
| 78 | SECURE_CODING | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp_ptrace.c | is_alive | UNINSPECTED |
| 79 | SECURE_CODING | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp_ptrace.c | create_file | UNINSPECTED |
| 80 | SECURE_CODING | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp.c | writefiledescrs | UNINSPECTED |
| 81 | SECURE_CODING | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/mtcpinterface.cpp | dmtcp::initializeMtcpEngine() | UNINSPECTED |
| 82 | SECURE_CODING | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcp_restart.cpp | main | UNINSPECTED |
| 83 | SECURE_CODING | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcp_checkpoint.cpp | prepareDmtcpWrappers() | UNINSPECTED |
| 84 | SECURE_CODING | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcp_checkpoint.cpp | expandPathname(const char *, char *, unsigned long) | UNINSPECTED |
| 85 | SECURE_CODING | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/miscwrappers.cpp | fopen | UNINSPECTED |
| 86 | SECURE_CODING | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcpworker.cpp | restoreUserLDPRELOAD() | UNINSPECTED |
| 87 | SECURE_CODING | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/miscwrappers.cpp | open | UNINSPECTED |
| 88 | SECURE_CODING | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/miscwrappers.cpp | ptsname_r_work(int, char *, unsigned long) | UNINSPECTED |
| 89 | SECURE_CODING | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/jalib/jfilesystem.cpp | jalib::Filesystem::GetControllingTerm() | UNINSPECTED |
| 90 | SECURE_CODING | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/miscwrappers.cpp | updateStatPath(const char *, char *) | UNINSPECTED |
| 91 | SECURE_CODING | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp.c | mtcp_init | UNINSPECTED |
| 92 | SECURE_CODING | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp_ptrace.c | procfs_state | UNINSPECTED |
| 93 | SECURE_CODING | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcp_restart.cpp | runMtcpRestore(const char *, int) | UNINSPECTED |
| 94 | SECURE_CODING | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/miscwrappers.cpp | updateProcPath(const char *, char *) | UNINSPECTED |
| 95 | SECURE_TEMP | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp.c | checkpointeverything | UNINSPECTED |
| 96 | STACK_USE | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp_check_vdso.c | write_args | UNINSPECTED |
| 97 | STRING_NULL | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcp_coordinator.cpp | dmtcp::DmtcpCoordinator::onConnect(const jalib::JSocket &, const sockaddr *, unsigned int) | UNINSPECTED |
| 98 | STRING_NULL | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/jalib/jfilesystem.cpp | jalib::Filesystem::ResolveSymlink(const std::basic_string<char, std::char_traits<char>, dmtcp::DmtcpAlloc<char>>&) | UNINSPECTED |
| 99 | STRING_NULL | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/execwrappers.cpp | execLibProcessAndExit(const char *) | UNINSPECTED |
| 100 | STRING_NULL | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcp_coordinator.cpp | dmtcp::DmtcpCoordinator::onData(jalib::JReaderInterface *) | UNINSPECTED |
| 101 | STRING_OVERFLOW | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/miscwrappers.cpp | open | UNINSPECTED |
| 102 | STRING_OVERFLOW | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/miscwrappers.cpp | fopen | UNINSPECTED |
| 103 | STRING_SIZE | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp_restart.c | main | UNINSPECTED |
| 104 | STRING_SIZE | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp_restart.c | main | UNINSPECTED |
| 105 | STRING_SIZE | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp_restart.c | main | UNINSPECTED |
| 106 | STRING_SIZE | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcp_checkpoint.cpp | main | UNINSPECTED |
| 107 | TAINTED_SCALAR | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/kernelbufferdrainer.cpp | dmtcp::KernelBufferDrainer::refillAllSockets() | UNINSPECTED |
| 108 | TAINTED_SCALAR | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcp_coordinator.cpp | dmtcp::DmtcpCoordinator::onConnect(const jalib::JSocket &, const sockaddr *, unsigned int) | UNINSPECTED |
| 109 | TAINTED_SCALAR | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp_restart.c | main | UNINSPECTED |
| 110 | TAINTED_SCALAR | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp_restart.c | main | UNINSPECTED |
| 111 | TAINTED_SCALAR | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp_restart.c | main | UNINSPECTED |
| 112 | TAINTED_SCALAR | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp_restart.c | main | UNINSPECTED |
| 113 | TAINTED_SCALAR | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp_restart.c | main | UNINSPECTED |
| 114 | TAINTED_STRING | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcp_restart.cpp | main | UNINSPECTED |
| 115 | TAINTED_STRING | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcp_checkpoint.cpp | main | UNINSPECTED |
| 116 | TAINTED_STRING | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcp_checkpoint.cpp | main | UNINSPECTED |
| 117 | TAINTED_STRING | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcp_checkpoint.cpp | main | UNINSPECTED |
| 118 | TAINTED_STRING | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcp_checkpoint.cpp | elfType(const char *, bool *, bool *) | UNINSPECTED |
| 119 | TAINTED_STRING | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcp_checkpoint.cpp | testStaticallyLinked(const char *) | UNINSPECTED |
| 120 | TAINTED_STRING | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcp_checkpoint.cpp | main | UNINSPECTED |
| 121 | TAINTED_STRING | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcp_checkpoint.cpp | main | UNINSPECTED |
| 122 | TAINTED_STRING | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcp_restart.cpp | main | UNINSPECTED |
| 123 | TAINTED_STRING | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp_ptrace.c | process_ptrace_info | UNINSPECTED |
| 124 | TAINTED_STRING | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp_ptrace.c | process_ptrace_info | UNINSPECTED |
| 125 | TAINTED_STRING | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcp_coordinator.cpp | main | UNINSPECTED |
| 126 | TAINTED_STRING | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcp_restart.cpp | main | UNINSPECTED |
| 127 | TAINTED_STRING | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/jalib/jassert.cpp | _initJassertOutputDevices() | UNINSPECTED |
| 128 | TAINTED_STRING | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcp_checkpoint.cpp | testScreen(char ***) | UNINSPECTED |
| 129 | TAINTED_STRING | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcp_checkpoint.cpp | testScreen(char ***) | UNINSPECTED |
| 130 | TAINTED_STRING | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp.c | setup_clone_entry | UNINSPECTED |
| 131 | TAINTED_STRING | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcp_command.cpp | main | UNINSPECTED |
| 132 | TAINTED_STRING | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp_restart.c | main | UNINSPECTED |
| 133 | TAINTED_STRING | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp_restart.c | main | UNINSPECTED |
| 134 | TAINTED_STRING | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp_restart.c | main | UNINSPECTED |
| 135 | TAINTED_STRING | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp_restart.c | main | UNINSPECTED |
| 136 | TAINTED_STRING | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcp_checkpoint.cpp | main | UNINSPECTED |
| 137 | TOCTOU | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcp_coordinator.cpp | dmtcp::DmtcpCoordinator::writeRestartScript() | UNINSPECTED |
| 138 | TOCTOU | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/connection.cpp | dmtcp::FileConnection::restore(const dmtcp::vector<int> &, dmtcp::ConnectionRewirer &) | UNINSPECTED |
| 139 | TOCTOU | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/connection.cpp | dmtcp::FifoConnection::preCheckpoint(const dmtcp::vector<int> &, dmtcp::KernelBufferDrainer &) | UNINSPECTED |
| 140 | UNINIT | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/sysvipc.cpp | dmtcp::SysVIPC::on_shmat(int, const void *, int, void *) | UNINSPECTED |
| 141 | UNINIT | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/sysvipc.cpp | dmtcp::SysVIPC::on_shmget(int, unsigned long, int, int) | UNINSPECTED |
| 142 | UNINIT | /nfs/pdillinger/neu_demo/dmtcp/mtcp/mtcp_restart_nolibc.c | open_shared_file | UNINSPECTED |
| 143 | UNINIT | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/glibcsystem.cpp | do_system(const char *) | UNINSPECTED |
| 144 | UNINIT | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/connection.cpp | dmtcp::StdioConnection::restore(const dmtcp::vector<int> &, dmtcp::ConnectionRewirer &) | UNINSPECTED |
| 145 | UNINIT | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/pidwrappers.cpp | waitpid | UNINSPECTED |
| 146 | UNINIT_CTOR | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/connection.h | dmtcp::PtyConnection::PtyConnection() | UNINSPECTED |
| 147 | UNINIT_CTOR | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/uniquepid.cpp | dmtcp::UniquePid::UniquePid() | UNINSPECTED |
| 148 | UNINIT_CTOR | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/connection.h | dmtcp::PtyConnection::PtyConnection(const std::basic_string<char, std::char_traits<char>, dmtcp::DmtcpAlloc<char>>&, int) | UNINSPECTED |
| 149 | UNINIT_CTOR | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/uniquepid.cpp | dmtcp::UniquePid::UniquePid(int) | UNINSPECTED |
| 150 | UNINIT_CTOR | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/connectionstate.cpp | dmtcp::ConnectionState::ConnectionState(const dmtcp::ConnectionToFds &) | UNINSPECTED |
| 151 | UNINIT_CTOR | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/jalib/jalloc.cpp | jalib::JFixedAllocStack<(unsigned long)1024, (unsigned long)16384>::JFixedAllocStack() | UNINSPECTED |
| 152 | UNINIT_CTOR | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/jalib/jalloc.cpp | jalib::JFixedAllocStack<(unsigned long)256, (unsigned long)16384>::JFixedAllocStack() | UNINSPECTED |
| 153 | UNINIT_CTOR | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/jalib/jalloc.cpp | jalib::JFixedAllocStack<(unsigned long)64, (unsigned long)16384>::JFixedAllocStack() | UNINSPECTED |
| 154 | UNINIT_CTOR | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/connection.h | dmtcp::PtyConnection::PtyConnection(const std::basic_string<char, std::char_traits<char>, dmtcp::DmtcpAlloc<char>>&, const std::basic_string<char, std::char_traits<char>, dmtcp::DmtcpAlloc<char>>&, int) | UNINSPECTED |
| 155 | UNINIT_CTOR | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/virtualpidtable.cpp | dmtcp::VirtualPidTable::VirtualPidTable() | UNINSPECTED |
| 156 | UNINIT_CTOR | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/sysvipc.h | dmtcp::ShmSegment::ShmSegment() | UNINSPECTED |
| 157 | UNINIT_CTOR | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/sysvipc.cpp | dmtcp::ShmSegment::ShmSegment(int, int, int, int) | UNINSPECTED |
| 158 | UNINIT_CTOR | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/connection.h | dmtcp::FileConnection::FileConnection(const std::basic_string<char, std::char_traits<char>, dmtcp::DmtcpAlloc<char>>&, long, int) | UNINSPECTED |
| 159 | UNINIT_CTOR | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/sysvipc.cpp | dmtcp::ShmSegment::ShmSegment(int) | UNINSPECTED |
| 160 | UNINIT_CTOR | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/connection.h | dmtcp::FifoConnection::FifoConnection(const std::basic_string<char, std::char_traits<char>, dmtcp::DmtcpAlloc<char>>&) | UNINSPECTED |
| 161 | UNREACHABLE | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/dmtcpworker.cpp | dmtcp::DmtcpWorker::wrapperExecutionLockLock() | UNINSPECTED |
| 162 | VARARGS | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/execwrappers.cpp | execl | UNINSPECTED |
| 163 | VARARGS | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/execwrappers.cpp | execle | UNINSPECTED |
| 164 | VARARGS | /nfs/pdillinger/neu_demo/dmtcp/dmtcp/src/execwrappers.cpp | execlp | UNINSPECTED |