Abstract: In various examples, techniques for performing software code verification are described. Systems and methods are disclosed for generating, using intermediate code and user input, a call graph that represents source code for software. For instance, the call graph represents at least functions (e.g., internal functions, external functions, etc.) associated with the software, calls (e.g., direct calls, call pointers, etc.) between the functions, and register information associated with the functions (e.g., variables used by the functions, assembly code used by the functions, etc.). The systems and methods may further use the call graph to perform software code verification by verifying rules from design specifications for the software and/or rules from various certification standards.

Abstract: In various examples, techniques for performing software code verification are described. Systems and methods are disclosed for generating, using intermediate code and user input, a call graph that represents source code for software. For instance, the call graph represents at least functions (e.g., internal functions, external functions, etc.) associated with the software, calls (e.g., direct calls, call pointers, etc.) between the functions, and register information associated with the functions (e.g., variables used by the functions, assembly code used by the functions, etc.). The systems and methods may further use the call graph to perform software code verification by verifying rules from design specifications for the software and/or rules from various certification standards.

Abstract: Embodiments of a remote control and a method are provided for automatically adjusting the volume output of an audio device, such as a television. In one embodiment, the remote control includes a wireless transmitter configured to transmit command signals to the audio device, a microphone configured to monitor sound levels external to the remote control, a memory storing a first threshold, and a controller. The controller is configured to: (i) determine a signal-to-noise ratio as a function of the sound levels detected by the microphone, and (ii) transmit via the wireless transmitter a first command to adjust the volume output of the audio device if the signal-to-noise ratio passes the first threshold.