sootAnalyzer's profile picture. The Soot and SootUp frameworks for program analysis and transformation

Soot and SootUp

@sootAnalyzer

The Soot and SootUp frameworks for program analysis and transformation

固定されたツイート

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 さんがリポスト

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…


Soot and SootUp さんがリポスト

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!

このツイートは利用できません。

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/zv/4…



A Soot-based project on #OSS intelligence 👇

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/zv/4…



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

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/zv/4…



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

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/zv/4…



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-…


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.

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



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-…


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!


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/details/icse-2… Joint work with @_a_dann of @ShieldCode and @benhermann 1/2



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

.@ICSEconf is going virtual this year! Already now you can bookmark our two research talks on static program analysis: 2020.icse-conferences.org/details/icse-2… Joint work with @_a_dann of @ShieldCode and @benhermann 1/2



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!


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!


Loading...

Something went wrong.


Something went wrong.