The Soot and SootUp frameworks for program analysis and transformation
Joined June 2020
- Tweets 22
- Following 2
- Followers 202
- Likes 7
Photos and videos
Pinned Tweet
23 Dec 2022
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)
1
14
45
11,671
Soot and SootUp retweeted
30 Jan 2023
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β¦
2
10
1,172
23 Dec 2022
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)
1
14
45
11,671
23 Dec 2022
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. soot-oss.github.io/SootUp/ (5/n)
1
3
1,004
23 Dec 2022
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!
2
446
Soot and SootUp retweeted
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!
6
16
13 Apr 2022
Have you worked with #Soot? Would you like to get first-hand knowledge about it? Consider applying for this #PostDoc position...
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!
uni-paderborn.de/fileadmin/zβ¦
1
10 Jun 2021
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. π
22 Apr 2021
Find out here how to analyze software product lines with Soot!
1
24 Feb 2021
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-oss
3
10
1 Dec 2020
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 Dec 2020
This morning, #reInvent 2020 kicks off with a live keynote from @ajassy. π Register for free & join us live at 8AM PT. #AWS go.aws/2JwYvcW
2
15 Oct 2020
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-ossβ¦
4
5
22 Sep 2020
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!
1
8
19 Jun 2020
Two (of probably more) new extensions to Soot to be presented at #ICSE2020.
.@ICSEconf is going virtual this year! Already now you can bookmark our two research talks on static program analysis:
2020.icse-conferences.org/deβ¦
Joint work with @_a_dann of @ShieldCode and @benhermann 1/2
16 Jun 2020
Nice success! #CodeShield is only one of several impactful security products built on top of Soot.
13 Jun 2020
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β¦
See you there!
5
13 Jun 2020
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!
2