DeforaNetworks/deepstate
3
0
Fork 0
Code Releases Activity

USe a C++ style case in McTest.hpp

Browse Source
This commit is contained in:
Peter Goodman 2017-10-28 20:23:23 -04:00
parent 89da3e8e94
commit b8560c553f
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
bin/mctest/__main__.py
View File

@ -30,8 +30,8 @@ class EntryPointPlugin(manticore.core.plugin.Plugin):
def on_syscall_callback(self, state, index):
if 0x41414141 == index:
print 'here!!!!!'
state_id = self._executor._workspace.save_state(state)
self._executor.put(state_id)
state_id = self.manticore._executor._workspace.save_state(state)
self.manticore._executor.put(state_id)
raise manticore.TerminateState("Canceled", testcase=False)

2
src/include/mctest/McTest.hpp
View File

@ -114,7 +114,7 @@ MCTEST_INLINE static bool IsSymbolic(double x) {
}
MCTEST_INLINE static bool IsSymbolic(void *x) {
return IsSymbolic((uintptr_t) x);
return IsSymbolic(reinterpret_cast<uintptr_t>(x));
}
template <typename T>