Abstract: Aspects of the subject technology relate to an energy audit device configured for identifying one or more sources of thermal energy loss. In some implementation, the audit device includes one or more processors, a memory coupled to the processors, a location module coupled to the processors, and one or more environmental sensors. In practice, the processors can be configured to perform various operations including: receiving a first set of environmental measurements, receiving a second set of environmental measurements, and identifying one or more thermal energy leaks at a building location based on the first and second sets of environmental measurements.

Abstract: Aspects of the subject technology relate to an energy audit device configured for identifying one or more sources of thermal energy loss. In some implementation, the audit device includes one or more processors, a memory coupled to the processors, a location module coupled to the processors, and one or more environmental sensors. In practice, the processors can be configured to perform various operations including: receiving a first set of environmental measurements, receiving a second set of environmental measurements, and identifying one or more thermal energy leaks at a building location based on the first and second sets of environmental measurements.

Abstract: A tool facilitating static analysis for database applications, such that the static analysis tool (SAT) can significantly enhance the ability for developers to identify security, correctness and performance problems in database applications during the development phase of an application lifecycle. A static analysis tool for database applications presents a framework for database applications using the ADO.NET data access APIs. The SAT framework consists of a core set of static analysis services upon which verticals such as workload extraction, SQL injection detection, identifying data integrity violations, and SQL performance analysis are built using the core services.

Abstract: A tool facilitating static analysis for database applications, such that the static analysis tool (SAT) can significantly enhance the ability for developers to identify security, correctness and performance problems in database applications during the development phase of an application lifecycle. A static analysis tool for database applications presents a framework for database applications using the ADO.NET data access APIs. The SAT framework consists of a core set of static analysis services upon which verticals such as workload extraction, SQL injection detection, identifying data integrity violations, and SQL performance analysis are built using the core services.