The main focus of this commit is 'bal_safety.h'. This header file
adds magic numbers to prevent Undefined Behavior. Right now this
has only been added to 'bal_assembler_t'.
This introduces 3 magic numbers:
#define BAL_MAGIC_UNINITIALIZED 0x00000000U
#define BAL_ASSEMBLER_MAGIC_ALIVE 0xBA11A550U
#define BAL_ASSEMBLER_MAGIC_DEAD 0xDEADBA11U
'ALIVE' magic numbers will be set only if the struct has been
initialized properly. Every function should check a struct's magic
number to make sure it's not operating on a memory corrupted struct.
'DEAD' magic numbers should be set on a struct's 'destory()' function.
This is done to prevent Double Free and Use-After-Free scenarios.
Convenience macro 'BAL_CHECK_MAGIC' and 'BAL_CHECK_MAGIC_VOID' have
been added to easily validate struct integrity.
Signed-off-by: Ronald Caesar <github43132@proton.me>
This introduces BAL_ERROR_INVALID_CAPACITY which happens when a
buffer capacity exceeds SIZE_MAX or whatever the type's max value is.
Signed-off-by: Ronald Caesar <github43132@proton.me>
The B (unconditional branch) instruction encoding used integer
division (/) instead of bitwise OR (|) to combine the opcode with
the branch offset. This produced incorrect machine code for every
branch target other than zero.
Also add bal_assembler_reset() to match the reset API provided by
every other module in Ballistic (bal_x86_assembler, sliding window,
tier1 compiler). The function zeroes the instruction buffer and
resets offset and status.
Wrap the hot function in BAL_UNLIKELY.
Signed-off-by: mcrib884 <farukkaya229@outlook.com>
Adds BAL_ERROR_BRANCH_OFFSET_OVERFLOW to bal_error_t. This should be
returned when a branch offset exceeds its normal accepted range.
Signed-off-by: Ronald Caesar <github43132@proton.me>
Ronald Caesar
mcrib884