Static program analysis tools

CodeSonar

CodeSonar is a static code analysis tool from GrammaTech. CodeSonar is used to find and fix bugs and security vulnerabilities in source and binary code. It performs whole-program, inter-procedural analysis with abstract interpretation on C, C++, C#, Java, as well as x86 and ARM binary executables and libraries. CodeSonar is typically used by teams developing or assessing software to track their quality or security weaknesses. CodeSonar supports Linux, BSD, FreeBSD, NetBSD, MacOS and Windows hosts and embedded operating systems and compilers. CodeSonar provides information for every weakness found, including the trace through the source code that would trigger the bug as well as a call-tree visualization that represents how the weakness is related to the wider application. (Wikipedia).

Video thumbnail

Clojure - the Reader and Evaluator (4/4)

Part of a series teaching the Clojure language. For other programming topics, visit http://codeschool.org

From playlist the Clojure language

Video thumbnail

Wireshark Tutorial for Beginners - Overview of the environment

Wireshark Tutorial for Beginners, become an advanced Wireshark user today! How to scan for packets in wireshhark and how to customize the layout in Wireshark. Wireshark is a free and open source packet analyzer. It is used for network troubleshooting, analysis, software and communications

From playlist Wireshark

Video thumbnail

the Internet (part 2)

An intro to the core protocols of the Internet, including IPv4, TCP, UDP, and HTTP. Part of a larger series teaching programming. See codeschool.org

From playlist The Internet

Video thumbnail

Clojure - the Reader and Evaluator (2/4)

Part of a series teaching the Clojure language. For other programming topics, visit http://codeschool.org

From playlist the Clojure language

Video thumbnail

What Is TypeScript?| TypeScript Tutorial | TypeScript Tutorial For Beginners | #Shorts | Simplilearn

🔥Explore our FREE Courses with completion certificates: https://www.simplilearn.com/skillup-free-online-courses?utm_campaign=WhatisTypescriptShorts&utm_medium=Description&utm_source=youtube This short on What Is TypeScript gives us an overview of TypeScript. TypeScript is a variant of Jav

From playlist #Shorts | #Simplilearn

Video thumbnail

Wireshark Tutorial for Beginners - Filters

Wireshark Tutorial for Beginners, become an advanced Wireshark user today! How to use filters in Wireshark. How to sniff passwords in Wireshark *********************************************************** Wireshark: https://www.wireshark.org **********************************************

From playlist Wireshark

Video thumbnail

Top Coding Challenge Websites

A great way to improve your skills when learning to code is by solving coding challenges. Solving different types of challenges and puzzles can help you become a better problem solver, learn the intricacies of a programming language, prepare for job interviews, learn new algorithms, and mo

From playlist Learn To Code

Related pages

List of tools for static code analysis | GrammaTech | Abstract interpretation