Tim Becker issues

Repositories
Issues
Comments

Results 3 issues of


                                            Tim Becker

Full Static Backend with BAP?

Now that BAP supports a fair number of architectures (ARM, x86, x86-64) and file formats (ELF, MachO, COFF), it is becoming increasingly more usable for QIRA. BAP implements many of...

Integrate BIL validation into test framework

The changes in https://github.com/tim-becker/qira/tree/concrete_execution add a concrete executor for the BAP IL to QIRA. Although initially meant to find bugs in BAP's lifter, the validation actually revealed subtle bugs in...

Fix naive range checks in bigint_new

We noticed a few bugs with the naive strategy for range checks: 1. The code assumed the wrong bit order from`BitIterator` 2. In the fast case (`num_bits < 4`), the...