Commit graph

2 commits

Author SHA1 Message Date
dev747368
2c9b771d13 GT-3198 remove usage of java.beans.XMLDecoder/ XMLEncoder #1090.
Java's built-in XMLEncoder / XMLDecoder is too flexible and allows the
XML data being decoded to execute arbitrary commands and other
non-niceness to happen.

Replace FunctionBitPatternExplorerPlugin's usage with manual
serializing.
2019-10-01 14:36:15 -04:00
Dan
79d8f164f8 Candidate release of source code. 2019-03-26 13:46:51 -04:00