Static program analysis tools

Soot (software)

In static program analysis, Soot is a bytecode manipulation and optimization framework consisting of intermediate languages for Java. It has been developed by the at McGill University. Soot provides four intermediate representations for use through its API for other analysis programs to access and build upon: * Baf: a near bytecode representation. * : a simplified version of Java source code that has a maximum of three components per statement. * Shimple: an SSA variation of Jimple (similar to GIMPLE). * Grimp: an aggregated version of Jimple suitable for decompilation and code inspection. The current Soot software release also contains detailed program analyses that can be used out-of-the-box, such as points-to analysis, call graph analysis and domination analysis (answering the question "must event a follow event b?"). It also has a decompiler called dava. Soot is free software available under the GNU Lesser General Public License (LGPL).In 2010, two research papers on Soot ( and ) were selected as IBM First Decade High Impact Papers among 12 other papers from the 425 entries. (Wikipedia).

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

What is DevSecOps?

What is DevSecOps? As teams adopt Continuous Delivery, DevOps, CI/CD for software development, being able to create systems that are safe and secure at speed, with great feedback and with high-quality becomes ever more important. Using software engineering disciplines like Continuous Del

From playlist DevOps

Video thumbnail

Don't Build Perfect Software

Many of us strive for perfection in software development, is this really an appropriate target to aim for? Perfect code is an illusion. Software engineering is an empirical discipline, and the software we create is only ever correct in a narrow context, from a technical and a social perspe

From playlist Software Engineering

Video thumbnail

WebAssembly for Web Developers

WebAssembly is often hailed as a performance tool for critical tasks or to bring existing C++ code bases to the web – such as games. But WebAssembly is so much more. You can use WebAssembly as a puzzle piece to give the web platform the few missing capability that you are missing or to sur

From playlist WebAssembly

Video thumbnail

Software Craftsmanship vs Software Engineering

Software craftsmanship was an important step forward in software development, but it doesn’t take us far enough. Software engineering has a poor history of often being characterised by bloated, overly bureaucratic approaches that got in the way of good software development, rather than hel

From playlist Software Engineering

Video thumbnail

How to Work with Wikipedia Sandbox

This is a short video that helps students or editors of Wikipedia to access and edit in the Sandbox of their user account. This was made for the Wiki Edu Project. I do not own or hold copyright over any aspect of the Wikipedia site or its pages. ***There is no audio***

From playlist Wikipedia Education Dashboard Tutorials

Video thumbnail

Open Source vs. Closed Source Software

In this video, you’ll learn more about the differences between open-source software and closed-source software. Visit https://edu.gcfglobal.org/en/basic-computer-skills/ for more technology, software, and computer tips. We hope you enjoy!

From playlist Technology Trends

Video thumbnail

Intro to Reverse Engineering

Security is always a concern as our products ship, especially in today's world of cracking attempts. But, what enables the crackers to be able to break into systems? Oftentimes, the answer is that they reverse engineer your product. In this tutorial, we will examine the techniques used by

From playlist Software Development

Video thumbnail

Standout as a Data Analyst with THIS TOOL

How I learned GIT 👉🏼 https://lukeb.co/GitDataCamp In this video, we cover one of my favorite tools to use as a data analyst: Git (with GitHub). Git is a version control system that allows you to track your changes when working on your project. GitHub is an online platform that allows y

From playlist How I use... as a Data Analyst

Video thumbnail

The soot trap

Manufacturers of diesel-fueled vehicles are working feverishly on a filter concept that will decrease the emission of diesel soot. Standard impedance filters can, over time, become clogged and must then be regenerated. This requires additives and additional maintenance time and costs. D

From playlist Most popular videos

Video thumbnail

Study: Soot Is Second Leading Cause of Global Warming

Soot from the burning of fossil fuels and solid biofuels contributes far more to global warming than has been thought, according to a new Stanford study. But, unlike carbon dioxide, soot lingers only a few weeks in the atmosphere, so cutting emissions could have a significant and rapid im

From playlist Stanford News 2010

Video thumbnail

How To Make Black Tattoo Ink

This video shows how I made my first ever batch of lampblack tattoo ink, using fatwood. And let me tell you, this stuff truly turns out black under the skin and has remained that way so far. A big thank you to @Nighthawkinlight for having shared the process of efficiently harvesting the la

From playlist NightHawkInLight Community Video Responses!

Video thumbnail

Make a Solar Cell - TiO2/Raspberry based

In this video we show how to make a dye sensitized solar cell based on titanium dioxide and anthocyanin found in raspberries. First get some titanium dioxide (anatase structure), about 0.5g will do. Then mix it with drops of vinegar until it has the consistency of thin paint or liquid c

From playlist Electrochemistry

Video thumbnail

About That Neck Gaiter Study... | SciShow News

On today’s SciShow News, we take a look at what that neck gaiter study is really all about, and also have a bit of good news about soot free flames called blue whirls. Hosted by: Hank Green COVID-19 playlist: https://www.youtube.com/playlist?list=PLsNB4peY6C6IQediwz2GzMTNvm_dMzr47 SciSh

From playlist COVID-19 News & Updates

Video thumbnail

Plant Based Tattoos from Around the World

Patreon: http://bit.ly/bbpatreon | Merch: http://bit.ly/brillbotshop Lots of tattoo inks, ancient and otherwise, use plants to produce their color. Claire covers a few examples of these inks from around the world. A HUGE thank you to the Vlogbrothers for sponsoring this video. Sources:

From playlist Channels Supported by Vlogbrothers Sponsorship

Video thumbnail

Teach Astronomy - Soot and Frost Lines

http://www.teachastronomy.com/ The main asteroid belt runs from about 2.1 astronomical units to 3.5 astronomical units from the Sun. There are two major dividing lines that affect the composition of asteroids. At about 2.7 astronomical units is the soot line. Beyond this distance the co

From playlist 11. Interplanetary Bodies

Video thumbnail

The Fog That Killed 12,000 People: What Actually Happened?

Have you ever heard of The Great Smog of London in 1952 that killed 12,000 people? Did you know that death by smog was even possible? Join Hank for a new episode of SciShow where we unpack this deadly pollution event and discuss how smog can actually affect life expectancy. ---------- Sup

From playlist Uploads

Video thumbnail

What's the Difference Between Petrol & Diesel? | Bang Goes The The Theory | Earth Lab

Jem Stansfield highlights the differences between petrol and diesel in an explosive way. Subscribe for more awesome science - http://www.youtube.com/subscription_center?add_user=HeadsqueezeTV http://www.youtube.com/user/HeadsqueezeTV

From playlist Bang Goes The Theory

Video thumbnail

OHM2013: Hard disks: More than just block devices

For more information visit: http://bit.ly/OHM13_web To download the video visit: http://bit.ly/OHM13_down Playlist OHM 2013: http://bit.ly/OHM13_pl Speaker: Sprite_tm In this talk, we take a look at one of the more obscure parts of an hard disk: the HD controller. In any cheapo disk, it

From playlist OHM 2013

Video thumbnail

Fill In The Blank (Dynamics/Friction)

#Physics #Dynamics #Engineering #TikTok #NicholasGKK #shorts

From playlist Mechanical Engineering

Related pages

Static program analysis | Type system | Dominator (graph theory) | Call graph