On 12/2/24 6:07 AM, Mark Wielaard wrote:
Hi Jeff,
On Sun, 2024-12-01 at 08:56 -0700, Jeff Law wrote:
commit 148e20466c2c246df9472efed0f2ae94cb65a0f8
Author: Matevos Mehrabyan <matevosmehrab...@gmail.com>
Date: Mon Nov 11 13:00:10 2024 -0700
[PATCH v6 09/12] Add symbolic execution support.
Gives an opportunity to execute the code on bit level, assigning
symbolic values to the variables which don't have initial values.
Supports only CRC specific operations.
Example:
uint8_t crc;
uint8_t pol = 1;
crc = crc ^ pol;
during symbolic execution crc's value will be:
crc(8), crc(7), ... crc(1), crc(0) ^ 1
gcc/
* Makefile.in (OBJS): Add sym-exec/sym-exec-expression.o,
sym-exec/sym-exec-state.o, sym-exec/sym-exec-condition.o.
* configure (sym-exec): New subdir.
* sym-exec/sym-exec-condition.cc: New file.
* sym-exec/sym-exec-condition.h: New file.
* sym-exec/sym-exec-expr-is-a-helper.h: New file.
* sym-exec/sym-exec-expression.cc: New file.
* sym-exec/sym-exec-expression.h: New file.
* sym-exec/sym-exec-state.cc: New file.
* sym-exec/sym-exec-state.h: New file.
Co-authored-by: Mariam Arutunian <mariamarutun...@gmail.com>
This updates configure without updating configure.ac. So when
regenerating configure the change disappears.
The autoregen buildbot doesn't like that:
https://builder.sourceware.org/buildbot/#/builders/gcc-autoregen
Thanks. Should be fixed now.
jeff
