Issues
- 1
Missing output from wp
#383 opened by wdsmth - 1
Incorrect detection of intrinsic functions when there is no BIL lifter available
#366 opened by bmourad01 - 2
Indirect jumps lead to incorrect assumptions
#351 opened by bmourad01 - 1
lookup_sub_handler error case
#355 opened by ccasin - 0
Efficiency for model of initialized data sections
#356 opened by ccasin - 2
External SMT solver bare "or" crashes
#359 opened by philzook58 - 2
Improve model of heap memory management
#354 opened by ccasin - 0
Reuse of BIR virtual variables
#352 opened by ccasin - 0
- 2
Incorrectly selecting registers in input_regs
#344 opened by fortunac - 6
Error when analyze shared library
#345 opened by Mengyuan-L - 2
Initialize the memory pool with it's "real" values
#335 opened by codyroux - 0
memcpy_example_2 hangs on some machines
#342 opened by codyroux - 0
Missing refuted goals
#341 opened by ccasin - 0
Smtlib identifier difficulties
#339 opened by philzook58 - 0
Test framework does not call Bap_main.init
#333 opened by codyroux - 1
Broken docker receipe
#331 opened by codyroux - 0
Multiple Z3 Queries
#329 opened by philzook58 - 0
Freshened versions of memory not printed in model
#326 opened by fortunac - 0
- 0
- 5
- 1
Loop handler initialization
#309 opened by fortunac - 0
- 1
Integrate Runner module into master branch
#317 opened by codyroux - 3
Add module to handle configurations like flag information and formatting information.
#310 opened by gltrost - 0
Implement "trivial" loop handler
#318 opened by codyroux - 0
- 0
Create dummy target arch for tests
#314 opened by codyroux - 1
Incorrect handling of SP on ARM+thumb
#311 opened by codyroux - 2
Make sure WP is ocp-indent compliant
#286 opened by fortunac - 2
Improve readability our constraint printing
#300 opened by gltrost - 0
value set analysis runtime error with bap2
#306 opened by zhouxuan009 - 3
value set build problem
#298 opened by zhouxuan009 - 5
Failed to build `value_set`
#301 opened by xudon9 - 0
- 0
- 2
Countermodel not entirely printing on ARM
#294 opened by philzook58 - 1
- 0
Support for ARM
#285 opened by fortunac - 0
Code-refactoring: Move some code in body of Compare.mk_smtlib2_compare to Z3_utils.mk_smtlib2
#295 opened by gltrost - 0
- 4
- 3
WP cleanup
#263 opened by fortunac - 1
Package up test suite
#279 opened by fortunac - 0
Dockerfile for CBAT tutorial
#280 opened by fortunac - 0
Module name clashes
#282 opened by fortunac - 1
compare-func-calls bug
#265 opened by fortunac - 0
Margins on the documentation
#266 opened by codyroux - 0
Submit SMT-Lib Benchmarks
#271 opened by philzook58