Checking C Programs with Lint

Checking C Programs with Lint
Author: Ian F. Darwin
Publisher: "O'Reilly Media, Inc."
Total Pages: 94
Release: 1988
Genre: Computers
ISBN: 9780937175309

Using lint. Dealing with lint's concerns. Using lint in detail. Limits to lint. Under the hood. An evaluation of lint. Future directions. Appendixes. Bibliography. Index.

Detection of Intrusions and Malware, and Vulnerability Assessment

Detection of Intrusions and Malware, and Vulnerability Assessment
Author: Juan Caballero
Publisher: Springer
Total Pages: 441
Release: 2016-06-17
Genre: Computers
ISBN: 3319406671

This book constitutes the refereed proceedings of the 13th International Conference on Detection of Intrusions and Malware, and Vulnerability Assessment, DIMVA 2016, held in San Sebastián, Spain, in July 2016. The 19 revised full papers and 2 extended abstracts presented were carefully reviewed and selected from 66 submissions. They present the state of the art in intrusion detection, malware analysis, and vulnerability assessment, dealing with novel ideas, techniques, and applications in important areas of computer security including vulnerability detection, attack prevention, web security, malware detection and classification, authentication, data leakage prevention, and countering evasive techniques such as obfuscation.

Validation of Evolving Software

Validation of Evolving Software
Author: Hana Chockler
Publisher: Springer
Total Pages: 216
Release: 2015-07-01
Genre: Computers
ISBN: 3319106236

This book describes the methodology and accompanying technology for reducing the costs of validation of changes by introducing automatic techniques to analyze and test software increments. It builds a unified approach to efficient and reliable validation of changes and upgrades, and may be used as a research monograph and a reference book.

Code Reading

Code Reading
Author: Diomidis Spinellis
Publisher: Addison-Wesley Professional
Total Pages: 530
Release: 2003
Genre: Computers
ISBN: 9780201799408

CD-ROM contains cross-referenced code.

C++ and C Tools, Utilities, Libraries, and Resources

C++ and C Tools, Utilities, Libraries, and Resources
Author: David Spuler
Publisher: Prentice Hall
Total Pages: 436
Release: 1996
Genre: Computers
ISBN:

Programming tools distinguish accomplished programmers from amateurs. This book assembles in one place for the first time all the tools that a C++ programmer needs, with a CD-ROM toolbox organized into 16 sections, each containing tools such as compilers, debuggers, testing and printers.

Informatics

Informatics
Author: Reinhard Wilhelm
Publisher: Springer
Total Pages: 379
Release: 2003-06-29
Genre: Computers
ISBN: 3540445773

Informatics - 10 Years Back, 10 Years Ahead presents a unique collection of expository papers on major current issues in the field of computer science and information technology. The 26 contributions written by leading researchers on personal invitation assess the state of the art of the field by looking back over the past decade, presenting important results, identifying relevant open problems, and developing visions for the decade to come. This book marks two remarkable and festive moments: the 10th anniversary of the International Research and Conference Center for Computer Science in Dagstuhl, Germany and the 2000th volume published in the Lecture Notes in Computer Science series.

Models, Algebras and Logic of Engineering Software

Models, Algebras and Logic of Engineering Software
Author: Manfred Broy
Publisher: IOS Press
Total Pages: 420
Release: 2003
Genre: Computers
ISBN: 9781586033422

This volume focuses on the education of researchers, teachers, students and practitioners. As usual in engineering, a study and application of the relevant branches of mathematics is crucial both in education and practice.

C Programming Tools

C Programming Tools
Author:
Publisher:
Total Pages: 138
Release: 1991
Genre: C (Computer program language)
ISBN:

A guide to the features and commands of selected C programming tools in the HP-UX operating system.