Electronic Design
  • Resources
  • Directory
  • Webinars
  • CAD Models
  • Video
  • Blogs
  • More Publications
  • Advertise
    • Search
  • Top Stories
  • Tech Topics
  • Analog
  • Power
  • Embedded
  • Test
  • AI / ML
  • Automotive
  • Data Sheets
  • Topics
    - TechXchange Topics --- Markets --AutomotiveAutomation-- Technologies --AnalogPowerTest & MeasurementEmbedded
    Resources
    Electronic Design ResourcesTop Stories of the WeekNew ProductsKit Close-UpElectronic Design LibrarySearch Data SheetsCompany DirectoryBlogsContribute
    Members
    ContentBenefitsSubscribeDigital editions
    Advertise
    https://www.facebook.com/ElectronicDesign
    https://www.linkedin.com/groups/4210549/
    https://twitter.com/ElectronicDesgn
    https://www.youtube.com/channel/UCXKEiQ9dob20rIqTA7ONfJg
    Electronicdesign 30061 Code1 thinkstockphotoslarge 0
    1. Technologies
    2. Embedded

    Static Analysis for Embedded Software

    Dec. 11, 2019
    Static-analysis tools can help reduce bugs and provide insight into applications. Check out different facets of taking this methodology approach.
    William G. Wong

    Static analysis works on source code and tries to identify errors based on what it can tell about the program. For example, it can highlight “dead code” that will never execute. And sometimes it can identify potential race conditions.

    Static Analysis? We Don’t Need No Stinkin’ Static Analysis

    Why are so few using static-analysis tools when security and reliability are so important these days? Find out what Technology Editor Bill Wong thinks.

    Read more

    What's the Difference Between Sound and Unsound Static Analysis?

    Timeliness and cost are two main factors for code verification, which separates sound from unsound. But recent advances are closing those gaps.

    Read more

    Shore Up Software Security via Formal Methods-Based Static Analysis

    As autonomous systems, connected devices, and AI technologies continue to come online, engineering teams are finding it more difficult to rely on traditional development methods.

    Read more

    How Static Analysis Identifies Concurrency Defects

    Code testing with modern static analysis provides a solution that not only allows developers to identify and fix concurrency defects in new code, it also provides a cost-effective and automated way to uncover such defects in software that’s being ported to run on multi-threaded processors.

    Read more

    Continue Reading

    TrustInSoft Analyzer Demo Shines a Spotlight on Its Capabilities

    Renesas Reveals Automotive Processor Roadmap

    Sponsored Recommendations

    Designing automotive-grade camera-based mirror systems

    Dec. 2, 2023

    Design security cameras and other low-power smart cameras with AI vision processors

    Dec. 2, 2023

    Automotive 1 TOPS vision SoC with RGB-IR ISP for 1-2 cameras, driver monitoring, dashcams

    Dec. 2, 2023

    AM62A starter kit for edge AI, vision, analytics and general purpose processors

    Dec. 2, 2023

    Comments

    To join the conversation, and become an exclusive member of Electronic Design, create an account today!

    I already have an account

    New

    Super-Slim Wireless, Self-Powered “Sticker” Measures Contact Force

    Commercial-Ready Route in Texas for Driverless Trucks Planned for Late 2024

    Running Background Checks on Today’s Celebrity Scientists

    Most Read

    Measuring with Humor

    Quick Poll: A Memory Quiz

    Design Optimization for Engineering Problems — from Nanophotonics to Civil Infrastructure


    Sponsored

    Vision-based defect detection using "low-code" development tools

    The IoT Trusted Zone

    Free no-coding AI development tools for embedded devices

    Electronic Design
    https://www.facebook.com/ElectronicDesign
    https://www.linkedin.com/groups/4210549/
    https://twitter.com/ElectronicDesgn
    https://www.youtube.com/channel/UCXKEiQ9dob20rIqTA7ONfJg
    • About Us
    • Contact Us
    • Advertise
    • Do Not Sell or Share
    • Privacy & Cookie Policy
    • Terms of Service
    © 2023 Endeavor Business Media, LLC. All rights reserved.
    Endeavor Business Media Logo