Abstract: System and method provide wireless distributed lighting control systems implementing a secure peer-to-peer, self-organizing and self-healing mesh network of actuators and system inputs. The system and method can be designed specifically for indoor and outdoor lighting where actuators include in-fixture, on-fixture and circuit control modules with ON/OFF and full range dimming capabilities, and system inputs include occupancy/vacancy sensors, daylight sensors and switches. A unique messaging protocol facilitates wireless and wired communication between actuators and system inputs, and provides web-based commissioning and monitoring of the lighting control system using a wireless access point accessible from a local network or Internet which can provide an intuitive and easy to use Graphical User Interface (GUI).

Abstract: Embodiments of the present invention relate to systems and methods for static analysis of a software application. According to an embodiment, a system includes a program scanner coupled to an analysis engine. The program scanner is configured to identify one or more vulnerability patterns in a software program and to output an initial potential vulnerability list. The analysis engine is configured to apply one or more rules to a potential vulnerability to determine whether the potential vulnerability is a vulnerability.

Abstract: Embodiments of the present invention relate to systems and methods for detecting software buffer security vulnerabilities. According to an embodiment, a computer-readable medium stores a plurality of instructions to be executed by a processor for detecting software buffer security vulnerabilities. The plurality of instructions comprise instructions to receive software code associated with a potential buffer vulnerability, generate constraints related to the software code associated with the potential buffer vulnerability, partition the software code into one or more procedures, and generate for each procedure a set of constraints that summarizes the impact of a procedure on buffer variables.