Soot and SootUp @sootAnalyzer

The Soot and SootUp frameworks for program analysis and transformation soot-oss.org Worldwide Joined June 2020

Tweets

22
Followers

207
Following

2
Likes

7

STG Darmstadt @stg_darmstadt

3 years ago

We have released OPAL 5.0.0. 🥳 #OPAL is a static analysis platform with a huge collection of modular analyses modules and supports Java 19 bytecode. Check out OPAL: opal-project.de Get the artifacts from Maven Central: search.maven.org/search?q=de.op…

0 3 10 1K 0

Secure Software Engineering, Paderborn University @SecEngUPB

3 years ago

The Collaborative Research Center #CROSSING at @CYSEC_Darmstadt will be funded for another 4 years! We are very excited to continue our collaboration with @stg_darmstadt on the Secure Integration of Cryptographic Software, using @cognicrypt!

0 6 16 0 0

Soot and SootUp @sootAnalyzer

3 years ago

Have you worked with #Soot? Would you like to get first-hand knowledge about it? Consider applying for this #PostDoc position...

Secure Software Engineering, Paderborn University @SecEngUPB

3 years ago

Have you worked with #Soot? Would you like to get first-hand knowledge about it? Consider applying for this #PostDoc position...

1 0 4 0 0

0 0 1 0 1

Soot and SootUp @sootAnalyzer

3 years ago

A Soot-based project on #OSS intelligence 👇

0 0 1 0 0

Soot and SootUp @sootAnalyzer

4 years ago

CogniCrypt builds on top of #Soot and Synchronized PushDown Systems, the latest state of the art in inter-procedural program analysis, to achieve both high precision and speed. Find out more here. 👇

0 0 0 0 0

Soot and SootUp @sootAnalyzer

4 years ago

Find out here how to analyze software product lines with Soot!

0 0 2 0 0

Soot and SootUp @sootAnalyzer

5 years ago

Thanks a lot to @awscloud for sponsoring the further development of Soot as a Gold 🏆 Sponsor! Your contribution is making a big difference to us! 🚀 Here others can find out more about how sponsoring works, how we use it, and how anyone can contribute: github.com/sponsors/soot-…

0 3 10 0 0

Soot and SootUp @sootAnalyzer

5 years ago

The keynote is supposed to include information about novel developments by the AWS formal methods team that is built - at least in part - on top of #Soot.

Amazon Web Services @awscloud

5 years ago

The keynote is supposed to include information about novel developments by the AWS formal methods team that is built - at least in part - on top of #Soot.

1 36 105 0 1

Download Video

0 0 2 0 0

Soot and SootUp @sootAnalyzer

5 years ago

Wonder how you can help us help you? Soot's GitHub Sponsors profile is now live! You can sponsor us to support Soot's open source maintenance 💖 Any cent goes through our university account, directly funding Soot's maintenance. github.com/sponsors/soot-…

0 4 5 0 0

Soot and SootUp @sootAnalyzer

5 years ago

Missed our @SOAP_Workshop presentation? On Monday at 8:00 UTC @profbodden will be presenting the latest status of Soot at @ieeescam. See you there!

0 1 8 0 0

Soot and SootUp @sootAnalyzer

5 years ago

Two (of probably more) new extensions to Soot to be presented at #ICSE2020.

Secure Software Engineering, Paderborn University @SecEngUPB

5 years ago

Two (of probably more) new extensions to Soot to be presented at #ICSE2020.

1 1 4 0 0

0 0 0 0 0

Soot and SootUp @sootAnalyzer

5 years ago

Nice success! #CodeShield is only one of several impactful security products built on top of Soot.

0 0 0 0 0

Soot and SootUp @sootAnalyzer

5 years ago

Beep. @PLDI is about to start! On Monday we will be presenting recent updates to the #Soot and @phasarframework frameworks at SOAP: pldi20.sigplan.org/home/SOAP-2020… See you there!

0 0 5 0 0

Soot and SootUp @sootAnalyzer

5 years ago

Soot has finally made it to Twitter! Let's start with an important announcement: Soot has moved to it's own webpage, too! Now find me at soot-oss.org and at my new #GitHub organization!