تغريدة مثبتة
Soot and SootUp
22 posts
Soot and SootUp
@sootAnalyzer
The Soot and SootUp frameworks for program analysis and transformation
Worldwide انضم Haziran 2020
2 يتبع202 المتابعون
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…
English
@DannyGooo Great, enjoy! And please let us know how it's working for you!
English
So excited about the newest version of Soot. Gonna try it definitely.
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)
English
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!
English
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)
English
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!
English
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! uni-paderborn.de/fileadmin/zv/4…
English
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. 👇
English
Find out here how to analyze software product lines with Soot!
English
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-…
English
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 go.aws/2JwYvcW
English
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-…
English
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!
English
@copumpkin @JohSpaeth @ShieldCode We at @SecEngUPB are working towards such a feature at the moment.
English
@JohSpaeth @sootAnalyzer @ShieldCode Adjacent to this, I’ve often wondered if anyone in the JVM static analysis world had written a Spring DI “partial interpreter” so we can treat Spring XML (or Guice, etc.) instantiations of objects the same as raw bytecode ones
English
At #CodeShield we use (and analyse) #JVM code. We have a Spring back-end and many of our tools are built in Java. For instance, we heavily rely on @sootAnalyzer (@ShieldCode).
Bruno Borges@brunoborges
People think #Java is not used by startups. If you know of a startup, or you worked at one, or you are actively working at one today that is using the #JVM for back-end with #Java, #Kotlin, #Scala, #Clojure or #Groovy, give this tweet an RT. reddit.com/r/java/comment…
English
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: 2020.icse-conferences.org/details/icse-2… Joint work with @_a_dann of @ShieldCode and @benhermann 1/2
English
Nice success! #CodeShield is only one of several impactful security products built on top of Soot.
English