Features

Software Features Releases Packages License GitHub Docker Hub Jenkins

Features

Features for Sireum Users

Sireum Amandroid

Sireum Amandroid is a toolset for security vetting of Android apps. Please visit the Amandroid website for more information.

Note

Amandroid is available only on mac64 and linux64.

Sireum Bakar

Sireum Bakar is a toolset for analyzing Spark Ada programs (Bakar means “spark” in Indonesian). Sireum Bakar (v1) is integrated with the Eclipse platform; a new version (v2) for Spark 2014 is currently under development.

To run Sireum Bakar, type the following in a terminal (add -h for help):

sireum launch bakar

It installs Eclipse (in SIREUM_HOME/apps/eclipse/dsl/) with Bakar Eclipse plugins (if they have not been installed previously), and launch Eclipse.

Features for Sireum Developers

Eclipse and Associated Plugins for Sireum Development

Sireum Distro manages the recommended Eclipse version and associated plugins for developing Sireum; all Sireum codebase require around 3GB heap to compile.

To run Sireum development tools, type the following in a terminal (add -h for help):

sireum launch sireumdev -j "-Xms512m,-Xmx4096m"

It installs Eclipse (in SIREUM_HOME/apps/eclipse/dsl/) with associated plugins necessay for Sireum development and ANTLRWorks (in SIREUM_HOME/apps/antlr/works), and launch Eclipse. Add SIREUM_HOME/apps/platform/java in Eclipe’s Java Installed JREs preference page, and make it the default. In addition, set Eclipse’s Java Compiler compliance level to 1.7.

ANTLRWorks

To run ANTLRWorks, type the following in a terminal:

sireum launch antlrworks

Features for K-State CIS Students

Sireum Distro manages the recommended tools required by some course offerings at K-State CIS.

Compilers – CIS 706: Translator Design I

See the compiler course website for information regarding the course, or see the compiler example projects repository for instructions on setting up your development environment.