Ritvik

# Check value of pllm in function HAL_RCC_GetSysClockFreq of stm32f4xx_hal_rcc.c:911 Hi Community, There seems to be a bug in the latest version of STM32CubeF4, [stm32f4xx_hal_rcc.c line 911](https://github.com/STMicroelectronics/STM32CubeF4/blob/HEAD/Drivers/STM32F4xx_HAL_Driver/Src/stm32f4xx_hal_rcc.c#L911). A division by...

Fix conflicts of min and max from stl_algo.h included from stdatomic

1

This issue was observed when attempting to compile the file `HeartRateController.cpp` as an individual object file with x86 gcc by using `compile_commands.json` generated by running `bear` on the project's build...

## Fix For A Possible Floating Point Exception in stm32 This pull request attempts to fix a possible FPE that can be caused by accepting the value of 0 for...

Failure in compilation of sim_hostusrsock.c due to improper handling of header inclusion for fd_set

2

Compilation failure may result due to missing header which defines the fd_set structure in [sim_hostusrsock.c](https://github.com/apache/nuttx/blob/master/arch/sim/src/sim/posix/sim_hostusrsock.c#L49-L50). ``` /home/ritvik/Desktop/Files/Fuzzing_RTOS_Applications/Ported_Applications/nuttxspace/nuttx/arch/sim/src/sim/posix/sim_hostusrsock.c:51:8: error: unknown type name 'fd_set' 51 | static fd_set g_active_read_fds; | ^ /home/ritvik/Desktop/Files/Fuzzing_RTOS_Applications/Ported_Applications/nuttxspace/nuttx/arch/sim/src/sim/posix/sim_hostusrsock.c:52:8:...

Buggy handling of unsigned long in vsprintf_internal

1

When compiling the code on a machine which has unsigned long defined as 8 bytes, the buggy code [here](https://github.com/PX4/NuttX/blob/16fbdaa4e3b43cf189885f19f043708048748bd4/libs/libc/stdio/lib_libvsprintf.c#L434) will mark the second branch as duplicate branch since on x86-64...

Binaries mapping code at `NULL` lead to lifting issues

4

Attaching the ELF used for testing [pinetime-app-1.13.0.zip](https://github.com/revng/revng/files/12615021/pinetime-app-1.13.0.zip) ``` revng --verbose lift pinetime-app-1.13.0.out pinetime-app.t rans.ll /home/ritvik/Desktop/Files/orchestra/root/bin/revng \ model \ import \ binary \ pinetime-app-1.13.0.out \ -o \ /tmp/revng-lift-fdu63bbk.yml root/libexec/revng/revng-model-import-binary \ pinetime-app-1.13.0.out...

SymCC fails to compile with -DTARGET_32BIT=ON

5

Here are the steps to reproduce the issue. Note that I have already built z3 separately. ```bash git clone [email protected]:eurecom-s3/symcc.git cd symcc git submodule init git submodule update mkdir build...

Build for native posix fails

1

There seems to be an issue with how syscalls are being handled in the gen_syscalls.py. Here is the compilation log, kindly let me know if there's anything obvious I'm missing...