Plus Se: Pc-lint
“I thought we couldn’t afford the SE tier,” she said.
Her manager, a pragmatist named Hank, hovered over her shoulder. “The client wants a root cause by Friday. We can’t keep respinning the hardware.”
“The issue isn’t the hardware,” Eleanor said, rubbing her eyes. “It’s the software. There’s a pointer dereference that only corrupts memory when the temperature sensor hits a specific threshold. I’ve run every static analyzer we own. Nothing catches it.” pc-lint plus se
nav_sensor.c(412): error 4150: (Severe -- Semantic dataflow) Pointer 'temp_ptr' derived from 'sensor_buffer + offset' where offset is tainted by unvalidated CAN bus input (path: can_rx_handler -> validate_crc -> extract_payload -> compute_offset). Alias set analysis shows 'temp_ptr' and 'calib_ptr' may converge after loop unrolling at line 408, leading to write-write conflict when temperature exceeds 85°C. [Reference: CWE-123, MISRA C:2023 Rule 11.9] Eleanor froze. She scrolled up. The analyzer had traced a data flow across seven functions, through three files, and had identified not just a memory corruption, but the exact temperature threshold where it would manifest.
She smiled. “Fair enough.”
In the fluorescent-lit cubicle of a mid-sized aerospace firm, Eleanor, a senior embedded systems engineer, stared at her screen. On it, a flight control module for a new drone was failing its hardware-in-the-loop test for the third time. The code was old, inherited from a defunct contractor, and riddled with subtle bugs that only appeared after seventeen hours of run-time.
She fixed the loop by adding a restrict qualifier and a bounds check on offset . Recompiled. Ran the hardware-in-the-loop test. Seventeen hours passed. Twenty. Thirty. “I thought we couldn’t afford the SE tier,” she said
The terminal blinked. Then it began to scream.
The drone stayed stable. On Friday, Eleanor presented the root cause to the client. Hank sat in the back, arms crossed, smiling faintly. After the meeting, Eleanor walked to his desk. We can’t keep respinning the hardware
“That tool is terrifying,” she said. “It found something that wouldn’t have crashed for another two years of field operation.”
That night, as she packed up, Eleanor looked at her terminal—still open, still showing PC-lint Plus SE’s final summary:
