Static Analysis

Finding BIOS Vulnerabilities with Symbolic Execution and Virtual Platforms

Finding BIOS Vulnerabilities With Excite

Finding vulnerabilities in code is part of the constant security game between attackers and defenders. An attacker only needs to find one opening to be successful, while a defender needs to search for and plug all or at least most of the holes in a system. Thus, a defender needs more effective tools than the attacker to come out ahead.

在Intel®平台上优化多媒体应用程序功耗

经过多年的硬件平台优化,硬件平台功耗逐年降低。CPU有了新的低功耗状态,显示功耗也大幅下降。然而,运行在平台上的软件所产生的功耗问题却越来越明显。在软件方面,多媒体应用程序对功耗的影响更加引人关注。事实上,研究表明优化过的多媒体应用程序播放时间是未优化过的媒体程序的两倍多。这篇白皮书介绍了设计和开发绿色多媒体应用程序需要考虑的要素,以及如何分析优化多媒体应用软件软件Intel®平台下的功耗。这篇白皮书旨在面向 ISVs, OEMs, 和其他技术相关人士。

  • Partners
  • Professors
  • Students
  • Microsoft Windows* (XP, Vista, 7)
  • Microsoft Windows* 8.x
  • Windows*
  • Advanced
  • Static Analysis
  • Debugging
  • Media Processing
  • Microsoft Windows* 8 Desktop
  • 使用软件工具测试Intel® 平台下的WINDOWS *应用程序功耗

        这篇白皮书介绍了如何使用软件工具测试Windows*平台下应用程序的功耗。同时还介绍了如何发现一些影响软件功耗的主要因素。这篇白皮书旨在面向 ISVs, OEMs, 和其他技术相关人士。

  • Microsoft Windows* (XP, Vista, 7)
  • Microsoft Windows* 8.x
  • Windows*
  • Advanced
  • Intermediate
  • Static Analysis
  • Debugging
  • Optimization
  • Developing secured embedded applications using Intel® System Studio

    ntel® Static Analysis tool is capable of detecting around 250 different types of error conditions and can also detect race conditions resulting from misuse of parallel programming frameworks such as OpenMP* and Intel® Cilk™ Plus.
  • Linux*
  • Tizen*
  • Yocto Project
  • C/C++
  • Beginner
  • Intel® System Studio
  • Static Analysis
  • Academic
  • Development Tools
  • Intel® Atom™ Processor
  • Intel® Core™ Processor
  • Security
  • Threading
  • Creating and Viewing Cyclomatic Complexity Data with Intel® Parallel Studio XE 2013

    Background

    Cyclomatic Complexity is a measurement of the number of possible paths through a section of code. For example, a simple if/else would give you two paths through a section of code. This code would be easy to understand and test. As the number of choices  increases, the difficulty of ensuring correctness on all possible paths increases even faster.

  • Linux*
  • Microsoft Windows* (XP, Vista, 7)
  • C#
  • C/C++
  • Fortran
  • Beginner
  • Intermediate
  • Intel® Parallel Studio XE
  • Static Analysis
  • Intel® Inspector
  • Learning Lab
  • Development Tools
  • Subscribe to Static Analysis