Skip to content

Releases: secure-software-engineering/tamiflex

Bugfix release

02 Sep 11:20
Compare
Choose a tag to compare

Version 2.0.2 introduced a regression in which the file poa.properties was not pre-filled with the configuration of the necessary instruments. In result, the Play-Out Agent would by default write classes to disk but would not report anything on reflective calls. That has now been fixed by restoring the necessary entries to poa.properties.

Play-In Agent and Booster remain unchanged.

Bugfix release

21 Apr 18:50
Compare
Choose a tag to compare

Fixes a problem with the handling of Array.newInstance-calls

#2

Bugfix release

27 Mar 18:17
Compare
Choose a tag to compare

This is a bug-fix release fixing some minor issues reported in the meantime. (see mailing list: https://groups.google.com/forum/#!forum/tamiflex-discuss)

Second major release

27 Mar 18:19
Compare
Choose a tag to compare

This is the second major release of TamiFlex

  • The Play-out Agent now also logs field set/get operations through reflection. The Booster can now convert these into regular field accesses. This aids static analyses that are field sensitive.
  • The Play-out Agent now logs many more accessed to methods in the classes Array, Class, Constructor, Field, and Method. Further, new transformers can be added to instrument additional methods. This is done through a configuration file.
  • The Play-out Agent and Play-in Agent now both use a configuration file and no longer support any command line options. When you first run one of the agent, a configuration file template will be written to $HOME/.tamiflex. Edit these files to your liking. If you want specific configurations for specific projects, you may place additional configurations files in those projects' directories: Tamiflex searches for the files first in the current directory and then in $HOME/.tamiflex. See here for more information: ConfigurationFile
  • The configuration-file mechanism makes the Play-Out Agent extensible: users can now add their own instrumentation instructions.

First update release

27 Mar 18:20
Compare
Choose a tag to compare
  • Introducing the Booster, which makes TamiFlex compatible with static-analysis tools apart from Soot
  • Numerous bug fixes, including a fix contributed by "Peng", which solves the problem of programs which call defineClass(..) with the class name being null

Initial release

27 Mar 18:21
Compare
Choose a tag to compare

Initial release