Dominik Helm
Dominik Helm
* Rewrite most methods/classes * subclasses of Cell for SequentialCell and ConcurrentCell * smaller API (only one when() method for everything) * register set of dependencies * laziness * failures...
See https://github.com/errt/reactive-async/tree/test/aggregation With the change from https://github.com/errt/reactive-async/commit/6623f7e8704dfd11e83c3914be747fed495beb0f the TestTaintAnalysisRunner does not terminate anymore when run for the Java 7 Update 95 rt.jar. It did terminate in about 3 minutes before...
Implementation of the string analysis (the interprocedural as well as the intraprocedural variant). Original PR by PatrickN.
With Scalafmt, we can now transition to Scala 3 syntax
As suggested by https://github.com/opalj/opal/pull/187#issuecomment-1904646058 Not sure I like it though, in some places it adds additional indentation to expressions that are already indented a lot. E.g.: https://github.com/opalj/opal/blob/40e1c0adaa29e541359d0941b7782d90b1c9e40f/OPAL/br/src/main/scala/org/opalj/br/analyses/AnalysisApplication.scala#L160C1-L166C56
This seems to affect us again, maybe because of changed module-info paths: https://github.com/sbt/sbt-assembly/issues/146
All of the dependencies are part of the build.sbt anyway, so can we automate this process further, by creating the .mmd file from the build.sbt on the fly?
We have an analysis that identifies Strings set as system properties, use it for, e.g., reflection analysis. This is WIP, as dependency handling and type changes (Set[String] instead of String)...
Taken from Bitbucket#142: > In FPCF we can compute various properties for a single entity. The analyses do so by computing a PropertyComputationResult. However, there is no type guarantee that...
The field immutability analysis currently ignores all assignments in constructors, but if the object escapes the constructor or a field is read inside the constructor before the assignment, a different...