Soot and SootUp

The Soot and SootUp frameworks for program analysis and transformation

[Soot and SootUp @sootAnalyzer]

Christmas is coming early this year! 🎁 Today, after more than three years of R&D, we are releasing #SootUp, a completely overhauled version of the established #Soot program analysis framework. 🕺🥳🍾 Opposed to Soot, SootUp features a modular, easily testable architecture. (1/n)

[STG Darmstadt @stg_darmstadt]

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: https://t.co/vbFYcqdiY3
Get the artifacts from Maven Central: https://t.co/WOAFh8W46o

[Soot and SootUp @sootAnalyzer]

@DannyGooo Great, enjoy! And please let us know how it's working for you!

[Soot and SootUp @sootAnalyzer]

Many people have contributed to SootUp and we thank all of them for their enduring support. This work would not have been possible without the generous support by the @dfg_public through the #FutureSoot project. Thank you all!

[Soot and SootUp @sootAnalyzer]

Christmas is coming early this year! 🎁 Today, after more than three years of R&D, we are releasing #SootUp, a completely overhauled version of the established #Soot program analysis framework. 🕺🥳🍾 Opposed to Soot, SootUp features a modular, easily testable architecture. (1/n)

[Soot and SootUp @sootAnalyzer]

For now we advise you to read the home page and documentation, and to provide us with your feedback and questions through the issue tracker. https://t.co/S9stjWFpLO (5/n)

[Secure Software Engineering, Paderborn University @SecEngUPB]

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!

[Soot and SootUp @sootAnalyzer]

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]

Are you about to graduate from your #PhD or recently have? Wondering what should be your next steps? And are you interested in working in the exciting field of #SecureSoftwareEngineering? We look forward to your application for our open PostDoc position!
https://t.co/RgIuwozclf

[Soot and SootUp @sootAnalyzer]

A Soot-based project on #OSS intelligence 👇

[Soot and SootUp @sootAnalyzer]

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. 👇

[Soot and SootUp @sootAnalyzer]

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

[Soot and SootUp @sootAnalyzer]

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: https://t.co/bOlrShRKk0

[Soot and SootUp @sootAnalyzer]

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]

This morning, #reInvent 2020 kicks off with a live keynote from @ajassy. 🎙 Register for free & join us live at 8AM PT. #AWS https://t.co/CbmIFZLF5Q

[Soot and SootUp @sootAnalyzer]

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. https://t.co/CwZo64xEFE

[Soot and SootUp @sootAnalyzer]

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!

[Soot and SootUp @sootAnalyzer]

@copumpkin @JohSpaeth @ShieldCode We at @SecEngUPB are working towards such a feature at the moment.

[Soot and SootUp @sootAnalyzer]

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

[Secure Software Engineering, Paderborn University @SecEngUPB]

.@ICSEconf is going virtual this year! Already now you can bookmark our two research talks on static program analysis:
https://t.co/Gqipj6PrKa
Joint work with @_a_dann of @ShieldCode and @benhermann 1/2

[Soot and SootUp @sootAnalyzer]

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