static analysis
static analysis Analysis of a program that does not require the program to be executed, as in dynamic
testing. A
software tool is used to check syntax and to construct one or more of
a
control-flow graph,
a
dataflow graph,
an information flow graph.
Information flow analysis identifies the relationships between outputs and the input variables, and a
semantic analysis provides formulas for these relationships. Comparing the results of semantic analysis with a formal
program specification reveals inconsistencies between specification and implementation.
Early work (1975–76) led to analyzers (DAVE, AUDIT, FACES) for single languages such as Fortran. Later work led to analyzers for C (e.g. LINT, 1978). There are now analysis tools (e.g. MALPAS, SPADE) that are multilanguage and have facilities for comparing specification and code.
Cite this article
Pick a style below, and copy the text for your bibliography.
|
Concerto Software Launches Enhanced Channel Partner Initiative.
Business Wire; 8/9/2002; 700+ words
; ...Strengthen Leadership Position in CIM Market Concerto Software (NASDAQ: CRTO), a proven...intended to accelerate the expansion of Concerto Software's global indirect sales channel...as director of channel development. Concerto Software helps distributors and resellers...
|
|
|
Concerto Software Exceeds Expectations with Year-Over-Year Organic Growth and Substantial Acquisition Expansion; In First Quarter 2005 Company Receives Outstanding Recognition from Industry and Customers.
Business Wire; 5/3/2005; 700+ words
; WESTFORD, Mass. -- Concerto Software(R), a leading provider...from the fourth quarter of 2004. Concerto continued to strengthen its balance...said Jim Foy, president and CEO of Concerto. "However, I am pleased with our...
|
|
|
Concerto Software Posts Another Record Year; 75 Percent Increase in Revenue Over Fiscal Year 2003.
Business Wire; 2/17/2005; 700+ words
; WESTFORD, Mass. -- Concerto Software(R), a leading provider...the year ended December 31, 2004, Concerto Software achieved total revenue of...consecutive quarter of revenue growth for Concerto Software. Concerto Software continued...
|
|
Concerti grossi, op. 1: No. 2 in c; No. 4 in e; No. 7 in F; No. 8 in f; No. 9 in D; No. 11 in c
Magazine article from: Fanfare; 3/1/2007; ; 700+ words
; ...through the Brandenburg Concertos with expressionless...recording of half the concertos that go to make up Locatelli...in format this set of concerti grossi harks back to...chiesa and four da camera concertos. But the Corelli connection...capacity within the concerto grosso framework, ...
|
 "Western Mail (Cardiff, Wales)")
|
Concertos.(Features)(Concert review)
Newspaper article from: Western Mail (Cardiff, Wales); 3/9/2007; 700+ words
; ...to perform piano concertos. Watching a virtuoso...perform a tricky concerto is a little like...dazzling traditional concerto to show audiences...produce a flurry of concertos, as the Scottish...the world write concertos and other works...the most popular concerto instruments for...
|
|
|
Concerto Software Helps Australian Cable & Telephony Enhance Customer Service and Contact Centre Efficiency.
Business Wire; 7/23/2003; 700+ words
; ...Outsourcing Contact Centre Implements Concerto Software Solution in 100-seat Melbourne Centre Concerto Software, Inc. (NASDAQ: CRTO), a...Telephony (AC&T), has selected Concerto Software's unified customer interaction...
|
|
|
Concerto Software Expands Presence in Growing Philippines Contact Center Market.
Business Wire; 6/18/2002; 700+ words
; ...Leadership Position in Southeast Asia Concerto Software (NASDAQ: CRTO), a proven...distribute and implement the complete range of Concerto solutions throughout the Philippines...both companies to deliver and service Concerto's customer interaction management solutions...
|
|
|
Concerto Software to Present at AeA Micro Cap Financial Conference.
Business Wire; 5/13/2003; 700+ words
; ...BUSINESS WIRE)--May 13, 2003 Concerto Software, Inc. (NASDAQ: CRTO...conference's break-out sessions. Concerto Software's 2:00 p.m. PST presentation...webcast by CCBN and can be accessed at Concerto Software's Website www.concerto...
|
|
|
Concerto Software Provides Guidelines on Complying with New California Dialing Legislation.
Business Wire; 8/6/2002; 700+ words
; ...BUSINESS WIRE)--Aug. 6, 2002 Concerto's Solutions Ensure Telemarketers Comply...Insights on Operating Under New Regulations Concerto Software, Inc. (NASDAQ: CRTO...contact centers using predictive dialers. Concerto Software will also be hosting a web...
|
|
|
Concerto Software Provides Guidance on Complying with Federal Telemarketing Regulations as 'Do Not Call' Registry Looms.
Business Wire; 6/25/2003; 700+ words
; ...Understand Effects of New Government Rules Concerto Software, Inc. (NASDAQ: CRTO...the Federal Trade Commission (FTC). Concerto Software developed the paper, entitled...potential benefits of the new regulations. Concerto Software unveils the paper at an opportune...
|
|
concerto
Book article from: The Columbia Encyclopedia, Sixth Edition
...of all forms of the concerto in the baroque period...s six Brandenburg concertos and the concertos of...serial music , as in the concertos of Schoenberg and Berg...See A. Veinus, The Concerto (rev. ed. 1964...in Musical Analysis: Concertos (1936, repr. 1972...
|
|
concerto grosso
Book article from: The Concise Oxford Dictionary of Music
concerto grosso (It.). Great concerto. Early form of concerto at its zenith in the 17th...The most celebrated early concerti grossi are those by Corelli...S. Bach's Brandenburg Concertos Nos. 2, 4, 5, and 6 are...
|
|
|
Christmas Concerto
Book article from: The Concise Oxford Dictionary of Music
Christmas Concerto. Name of Corelli's Concerto Grosso in G minor, Op.6, No...1712). It was intended as a concerto da chiesa (for church use) and...Christmas Night). Torelli's 12 Concerti Grossi Op.8 (1709) for str...
|
|
|
Brandenburg Concertos
Book article from: The Concise Oxford Dictionary of Music
Brandenburg Concertos . Bach's 6 ‘Concerti Grossi’ for various combinations. Dedicated...It will be seen that the 3 marked † are true Concerti Grossi in the traditional style of contrasting groups...
|
|
|
Dumbarton Oaks Concerto
Book article from: The Concise Oxford Dictionary of Music
Dumbarton Oaks Concerto. Name given to Stravinsky's Conc. in E♭ for chamber orch...Mr & Mrs R. W. Bliss who commissioned this ‘little concerto in the style of the Brandenburg Concertos’.
|
