Qiaosen Liu

Is there a way to disable the output?

3

When I use svf as a lib for pointer analysis, it always outputs some text to the terminal after analysis, like this: ``` *********General Stats*************** ################ (program : arducopter_sitl_pi64.ll)############### AddrsNum...

Copter: Unchecked range of parameter PILOT_SPEED_UP may cause drone crash

5

## Bug report **Issue details** I noticed that the range of parameter PILOT_SPEED_UP is checked in PreArm check, but after takeoff, some flight modes (e.g., loiter, alt_hold, poshold, and zigzag,...

Added range check for parameters ACRO_BAL_PITCH, ACRO_BAL_ROLL and PILOT_SPEED_UP

4

Fixed #30152. Fixed https://github.com/ArduPilot/ardupilot/issues/30177

ACRO_BAL_ROLL/ACRO_BAL_PITCH Parameter Value Range Not Checked Causes Crash/Takeoff Failure In Acro Mode

1

## Bug report **Issue details** Ardupilot did not check the range of the parameters ACRO_BAL_ROLL and ACRO_BAL_PITCH. Entering values out of range (e.g. ACRO_BAL_ROLL=-5, ACRO_BAL_PITCH=-5) caused the drone to crash...

Hello SeaHorn team, I'm working on a modular verification project where I need to generate function summaries (preconditions and postconditions) for individual functions from LLVM IR inputs. These summaries will...

How to calculate the average number of indirect call targets based on andersen's results?

1

Can I calculate based on `IndEdgeSolved/IndCallSites`? 

Does PaparazziUAV support Raspberry Pi?

3

I would like to ask if PaparazziUAV's nps support runs on Raspberry Pi?

Can SVF's pointer analysis precisely determine which specific field of a global variable a pointer points to?

2

Can SVF's pointer analysis precisely determine which specific field of a global variable a pointer points to? If so, how does it achieve such field-sensitive analysis? What are the limitations...

How to view the complete parameter list and specifically those related to Navigation/Path Planning?

1

Hello Paparazzi Developers, I am currently working with the Paparazzi UAV system and need to locate and adjust parameters related to flight control. I would appreciate some guidance on the...