Arvind
Arvind
There are multiple issues that prevent having reasonable support for ARM in SimEngineUnicorn. This issue is mostly about starting a conversation about these issues and possible goals to work towards,...
I am trying to record a program's execution using rr and it looks like rr is encountering a segmentation fault. The command to record execution is something like `rr record...
I am trying to build the dev branch of medusa(15ce1d7) and I get the following error: ```bash Linking CXX shared library ../../lib/libmedusa.so /usr/bin/ld: $HOME/.hunter/_Base/8c538a0/a1b471c/15fdb4a/Install/lib/libOGDF.a(Graph.cpp.o): relocation R_X86_64_32S against `_ZN4ogdf13AdjEntryArrayIbE10resetIndexEii' can not...
I am trying to build the dev branch(commit: adb3b54) on Ubuntu 16.04.1 and I encounter the following error: ```cmake -- downloading... src='https://github.com/hunter-packages/Qt/releases/download/v5.5.1-cvpixelbuffer-2-p9/hunter-5.5.1-cvpixelbuffer-2.7z' dst='/home/introssoc/.hunter/_Base/Download/Qt/5.5.1-cvpixelbuffer-2-p9/da86822/hunter-5.5.1-cvpixelbuffer-2.7z' timeout='none' -- [download 100% complete] -- downloading......
I launch qMedusa and selected a binary to analyze(a simple hello world program). qMedusa identifies the file parameters correct, asks for a database path and then nothing happens: an empty...
It would be nice if grader scripts could provide feedback to instructors and TAs but not the students. Currently, the log output viewed by instructors is same as that of...
During simplification, many Z3 ASTs(and other data) are cached to speed up the process. However, these ASTs references are never freed and thus Z3 treats them as memory leaks. This...
I happened to notice that the organizers of Backdoor CTF(SDSLabs) have a score of 75.547 points till now and it seems that majority of(>99%) the points this year are from...
**Describe the bug.** angr's native interface is not built correctly when using the latest setuptools(65.0.1 as of writing). Things seem to work fine when using setuptools 64.0.1 or earlier but...
The changelog says current version is 8.0.6 but Revision at top of the file still says 8.0.5.