Skip to content

Issues: draperlaboratory/cbat_tools

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

70 Open 103 Closed
70 Open 103 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Missing output from wp
#383 opened Aug 24, 2023 by wdsmth
External SMT solver bare "or" crashes
#359 opened Feb 9, 2022 by philzook58
2
Improve model of heap memory management
#354 opened Jan 20, 2022 by ccasin
@fortunac
2
Reuse of BIR virtual variables
#352 opened Dec 1, 2021 by ccasin
Indirect jumps lead to incorrect assumptions
#351 opened Nov 29, 2021 by bmourad01
2
user_func_spec sometimes picks the wrong input/output vars for the summary bug Something isn't working
#346 opened Oct 14, 2021 by codyroux
@ccasin @fortunac
Error when analyze shared library
#345 opened Sep 29, 2021 by Mengyuan-L
6
Incorrectly selecting registers in input_regs bug Something isn't working
#344 opened Sep 29, 2021 by fortunac
2
memcpy_example_2 hangs on some machines bug Something isn't working
#342 opened Aug 30, 2021 by codyroux
@codyroux
Missing refuted goals
#341 opened Aug 25, 2021 by ccasin
@ccasin @fortunac
Smtlib identifier difficulties
#339 opened Aug 17, 2021 by philzook58
Test framework does not call Bap_main.init bug Something isn't working
#333 opened Jul 14, 2021 by codyroux
@codyroux
Multiple Z3 Queries
#329 opened Jun 30, 2021 by philzook58
Freshened versions of memory not printed in model bug Something isn't working WP Involves the Weakest Precondition computation
#326 opened Jun 22, 2021 by fortunac
Refuted goals not showing when checking loop invariants
#323 opened May 25, 2021 by fortunac
Partition the comparative analysis into logical blocks enhancement New feature or request WP Involves the Weakest Precondition computation
#322 opened May 24, 2021 by codyroux
@ccasin @codyroux
Error printed when using --show="refuted-goals" in some cases bug Something isn't working
#320 opened May 7, 2021 by gltrost
Implement "trivial" loop handler enhancement New feature or request WP Involves the Weakest Precondition computation
#318 opened Apr 26, 2021 by codyroux
@fortunac
Bildb does not allocate locations noted in a bildb-init file
#316 opened Apr 21, 2021 by jtpaasch
@jtpaasch
Create dummy target arch for tests WP Involves the Weakest Precondition computation
#314 opened Apr 15, 2021 by codyroux
@fortunac
Add module to handle configurations like flag information and formatting information. enhancement New feature or request
#310 opened Apr 6, 2021 by gltrost
3
value set analysis runtime error with bap2
#306 opened Mar 18, 2021 by zhouxuan009
Extract Lambda Models, Fix GDB/BilDB + Boolector combo
#305 opened Mar 17, 2021 by philzook58
Generalize check_pre to handle singe and comparative analysis correctly
#304 opened Mar 15, 2021 by codyroux
@fortunac
Improve readability our constraint printing enhancement New feature or request
#300 opened Mar 1, 2021 by gltrost
@gltrost
2
ProTip! Adding no:label will show everything without a label.