On Wed, Jul 31, 2024 at 3:42 AM Mariam Arutunian <mariamarutun...@gmail.com> wrote: > > 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 > > Author: Matevos Mehrabyan <matevosmehrab...@gmail.com> > > gcc/ > > * Makefile.in (OBJS): Add sym-exec/expression.o, > sym-exec/state.o, sym-exec/condition.o. > * configure (sym-exec): New subdir.
I have one thing to make a mention of and I am not 100% it is a big issue but non-verbose file names like expression.o has an issue adding to an archive (in this case libbackend.a) due to not always using the full path of the object file. I am not sure this is a problem we need to worry about right now but it might be one in the future and one which we should document on coding conventions on naming things that will be included in OBJS (which puts it into libbackend.a). Thanks, Andrew Pinski > > gcc/sym-exec/ > > * condition.cc: New file. > * condition.h: New file. > * expression-is-a-helper.h: New file. > * expression.cc: New file. > * expression.h: New file. > * state.cc: New file. > * state.h: New file. > > Signed-off-by: Mariam Arutunian <mariamarutun...@gmail.com>
