aerosec / jetset

GNU General Public License v2.0
49 stars 6 forks source link

Error while running `make run_<target>` #3

Closed LukeSerne closed 1 year ago

LukeSerne commented 1 year ago

While trying to reproduce the results that were achieved with this system, I ran into a JSONDecodeError while running make run_rpi. I'm running Ubuntu 20.04.5 LTS, and I'm using Python 3.8. I ran the following commands:

git clone https://github.com/aerosec/jetset.git
cd jetset/
sudo apt-get install git make build-essential zlib1g-dev pkg-config libglib2.0-dev binutils-dev libboost-all-dev autoconf libtool libssl-dev libpixman-1-dev virtualenv xterm
make clone
make config_qemu
make build_qemu
make virtualenv
make build_jetset_engine
make run_rpi

All commands until the last one appear to have completed without errors. The complete output of make run_rpi is below:

$ make run_rpi
source jetset_env/bin/activate && cd jetset_engine && python jetset_engine/jetset_server.py --soc=rpi --useFinalizer --useSlicer --cmdfile ../jetset_qemu/run_rpi_qemu.sh
/home/luke/jetset/jetset/jetset_env/lib/python3.8/site-packages/cffi/cparser.py:163: UserWarning: Global variable 'r' in cdef(): for consistency with C it should have a storage class specifier (usually 'extern')
  warnings.warn("Global variable '%s' in cdef(): for consistency "
Running ['xterm', '-e', '../jetset_qemu/run_rpi_qemu.sh', '4444']
connecting to localhost port 4444
timeout =  10.0
WARNING | 2022-09-29 11:00:41,662 | cle.blob | No entry_point was specified for blob ../jetset_public_data/rpi/final/bcm2709-rpi-2-b.dtb, assuming 0
preparing to connect
VM setup called!
cfg has been made with nodes =  24  and edges =  25
Booting:  rpi
Traceback (most recent call last):
  File "jetset_engine/jetset_server.py", line 61, in <module>
    main()
  File "jetset_engine/jetset_server.py", line 57, in main
    exploration_manager.run()
  File "/home/luke/jetset/jetset/jetset_engine/jetset_engine/exploration.py", line 81, in run
    vm = self.run_one(decision_cache=self.decision_cache)
  File "/home/luke/jetset/jetset/jetset_engine/jetset_engine/exploration.py", line 64, in run_one
    vm.pre_analysis()
  File "jetset_engine/jetset_server.py", line 36, in pre_analysis
    self.add_bp(self.target, BP_TARGET_FOUND)
  File "/home/luke/jetset/jetset/jetset_engine/jetset_engine/qmp.py", line 114, in add_bp
    result =  self.qmp_chan.send_cmd(cmd)
  File "/home/luke/jetset/jetset/jetset_engine/jetset_engine/qmp_channel.py", line 56, in send_cmd
    return self.get_response()
  File "/home/luke/jetset/jetset/jetset_engine/jetset_engine/qmp_channel.py", line 41, in get_response
    parsed_msg = json.loads(msg)
  File "/usr/lib/python3.8/json/__init__.py", line 357, in loads
    return _default_decoder.decode(s)
  File "/usr/lib/python3.8/json/decoder.py", line 337, in decode
    obj, end = self.raw_decode(s, idx=_w(s, 0).end())
  File "/usr/lib/python3.8/json/decoder.py", line 355, in raw_decode
    raise JSONDecodeError("Expecting value", s, err.value) from None
json.decoder.JSONDecodeError: Expecting value: line 1 column 1 (char 0)
make: *** [Makefile:46: run_rpi] Error 1

Is there anything I did wrong / forget to do?