The latest generation of static-analysis tools use highly sophisticated whole-program analyses to find deep semantic problems. These advanced static-analysis tools have become essential for software developers because they have proven effective at finding serious flaws. An often under-appreciated aspect of these tools is that they are extensible. Programmers can, often with a little programming effort, dramatically increase the value they get from the tools. This paper describes some of the ways in which static-analysis tools can be extended.
- Dev Tools & OS
- Machine Learning
- Reference Designs
- Dev Kit Selector
- White Papers
- Webcasts & Events
- Product Search
- Parts Search
- Embedded World 2018
Leti Coordinating European Project to Improve Drivetrains for Electric Vehicles to Boost Performance and Cut Costs
Leti, a research institute of CEA Tech, today announced a new European Horizon 2020 project to develop inno...
Subscribed! Look for 1st copy soon.
Error - something went wrong!
We also recommend:
Gas Sensing Solutions' CO2 sensor increases diver safety
Battery powered CO2 sensors are at the heart of a new safety device for divers.
KDPOF equips electric cars with optical connectivity
Innovative Automotive Gigabit Ethernet POF (GEPOF) for electric and autonomous driving solves the electrical challenges and interferences of new powertrain architectures.
Cadence showcases IP and design solutions for automotive applications at embedded world 2018
Cadence Design Systems, Inc. will showcase its latest Cadence Tensilica DSPs and design tools targeted for automotive applications at embedded world 2018.
Luxoft to exhibit its entire range of automotive technology services at embedded world 2018
Luxoft Holding will be showing its entire suite of automotive technology services at Embedded World 2018.
Texas Instruments at embedded world 2018
Find TI at hall 3A, booth 129 to discover TI's Industrial and Automotive portfolios that offer differentiated hardware and software solutions.
Take our reader survey, win a $50 Amazon gift card
It only takes a few minutes and you'll help our team deliver relevant and engaging content.
Socionext presents IoT, imaging, and AI technologies at embedded world 2018
Socionext Europe and Socionext Embedded Software Austria will showcase latest technologies at Embedded World, Nuremberg, Germany, from February 27 to March 1.
Four reasons to embrace the connected car
Remember moving from phone to fax, fax to email, or online shopping? Security and value were early adoption questions, yet those technologies are now indispensable. And connected cars will be, too.
Automotive Ethernet: A crossroads for the connected car
The term “connected car” loosely describes any vehicle with Internet access. But in the age of IoT, is that really enough to consider a car “connected”?
TI releases MCU family for cost-sensitive power control applications
The highly integrated system-on-chip boosts performance in EV/HEV, grid infrastructure, and industrial applications.
Key design considerations for in-car wireless charging
In-car wireless charging is growing in popularity, and the sense of urgency to develop viable solutions in this area was palpable on the CES 2018 show floor.
Kaman Measuring announces new Digital Differential Impedance Transducer (DDIT)
Specially designed for non-contact linear position displacement sensing applications
Embedded Insiders Podcast – CES 2018: Coughs, Cortanas, and Cars That Aren't Connected
The Insiders encountered problems with the term "connected car," listened into advances in digital signal processing for virtual assistants, and heard that LiDAR is a bunch of sh**.
Maxim’s Single-Chip Battery-Management System Helps Achieve ASIL D Compliance
This advanced battery-management system, the MAX17843 from Maxim, enables a safer and smarter car.
Xilinx Announces Availability of Automotive Qualified Zynq UltraScale+ MPSoC Family
ISO26262 Certified Products Enable Safety Critical ADAS and Autonomous Driving System Development
dSPACE and MdynamiX Intensify Their Collaboration
Broader range of solutions for vehicle dynamics development with integration of the Pfeffer MXsteering steering model in dSPACE ASM, MdynamiX tools and know-how for dSPACE platforms.
Cypress Introduces the Industry's Most Advanced Automotive Touchscreen Controller
New TrueTouch(r) Family Delivers Intuitive Control Features and Leading System-level Integration for Next-generation Infotainment Systems
Sakor Technologies To Exhibit Engine, Hybrid And Electric Vehicle, And Battery Testing Technologies At Automotive Testing Expo India 2018
VISIT STAND# 4063 TO SEE RANGE OF HIGH-PERFORMANCE SYSTEMS
With Advanced Sensor Technology, Guardian Offers Solution to Heartbreaking Problem of "Hot Car" Infant Fatalities
Passenger-Aware Cars Can Save Lives of Children Accidentally Left Alone
Developing for autonomous driving is hard – really hard