Issue details

At line 446 in ardupilot-Copter-3.6/libraries/AP_HAL_F4Light/hardware/hal/timer.c, dev can null pointer dereference.
Before dereference dev->type, it is better to check whether dev is null pointer or not.
---------- Original source code ----------

void timer_set_mode(const timer_dev *dev, timer_Channel channel, timer_mode mode) {
    assert_param(channel > 0 && channel <= 4);

    /* TODO decide about the basic timers */
    assert_param(dev->type != TIMER_BASIC);
    if (!dev || dev->type == TIMER_BASIC)
        return;
     ....
}

Version

ardupilot-Copter-3.6

Platform

[ V] All
[ ] AntennaTracker
[ ] Copter
[ ] Plane
[ ] Rover
[ ] Submarine

Airframe type

Hardware type

Logs