Feature/string analysis#2

Open

errt wants to merge 318 commits intodevelopfrom feature/StringAnalysis

+11,030-84

This pull request is big! We're only showing the most recent 250 commits

Commits on Jan 7, 2020

Made the 'pathToStringTree' function less defensive.

Patrick
authored and
Florian Kübler
committed
Reducing a StringTree now allows to pre-process the tree.

Patrick
authored and
Florian Kübler
committed
Defined and toString method of StringConstancyProperty and made sure it gets printed when a test fails.

Patrick
authored and
Florian Kübler
committed
Collapsed a couple of test methods.

Patrick
authored and
Florian Kübler
committed
Added a test method with 'breaks' and 'continues'.

Patrick
authored and
Florian Kübler
committed
Added an example where in the condition of an 'if', a string is appended to a StringBuilder.

Patrick
authored and
Florian Kübler
committed
Made the 'makeLeanPath' less defensive.

Patrick
authored and
Florian Kübler
committed
Extended the LocalStringDefinitionAnalysis to support the analysis of another string variable in order to produce (more) correct results. Test methods were added as well.

Patrick
authored and
Florian Kübler
committed
Added a comment.

Patrick
authored and
Florian Kübler
committed
Removed unnecessary code and formatted the file.

Patrick
authored and
Florian Kübler
committed
Started implementing a tool that analyzes a project (like the JDK) for those reflective calls where strings are input and then approximates these strings values using the string definition analysis.

Patrick
authored and
Florian Kübler
committed
Extended the class documentation.

Patrick
authored and
Florian Kübler
committed
Improved the analysis runner (it captures more relevant calls (now it should capture all relevant calls) and is much faster).

Patrick
authored and
Florian Kübler
committed
Directly query the property store after a new analysis was started.

Patrick
authored and
Florian Kübler
committed
Refactored the pattern matching.

Patrick
authored and
Florian Kübler
committed
The analysis did not always work correctly (see changed test case). I changed the the routine that detects dependees as well as the way the intermediate result(s) is handed to have the correct info…

Patrick
authored and
Florian Kübler
committed
Added primitive support for field reads: Whenever a field (that is not "public static final") is read, it is not further analyzed but the lower bound is returned. However, fields marked as "public …

Patrick
authored and
Florian Kübler
committed
Changed the analysis to only take one DUVar in the entity pair => Testing related files had to be changed. However, the test case 'secondStringBuilderRead' works now.

Patrick
authored and
Florian Kübler
committed
Updated the findDependentVars routine to avoid an endless loop in case of cycles.

Patrick
authored and
Florian Kübler
committed
Added support for the "crissCrossExample" test case that was activated. This required refinements in different routines.

Patrick
authored and
Florian Kübler
committed
Added a test case which uses a "throwable". This required minor changes in the path finding procedure.

Patrick
authored and
Florian Kübler
committed
Needed to minorly change how the StringAnalysisReflectiveCalls uses the analysis.

Patrick
authored and
Florian Kübler
committed
Added an analysis which collects which methods of a class are called within a project and how often.
Florian Kübler
committed
Added support for the evaluation of method parameters (pure strings as well as String{Builder, Buffer}).

Patrick
authored and
Florian Kübler
committed
1) isRelevantMethod was not 100 % correct; 2) Had to change how to add items to the property store (as the interface has changed)

Patrick
authored and
Florian Kübler
committed
Refined the reduceMultiple method.

Patrick
authored and
Florian Kübler
committed
Extended the analysis in the way that it can now be configured using program arguments.

Patrick
authored and
Florian Kübler
committed
More refinements were necessary to handle method parameters properly.

Patrick
authored and
Florian Kübler
committed
Refined how (natural) loops are detected.

Patrick
authored and
Florian Kübler
committed
Slightly refinement on the algorithm.

Patrick
authored and
Florian Kübler
committed
Minor refinement on the check whether an "if" has a corresponding "else" (one case, where the next supposed "else" branch followed directly after the "if", was missed).

Patrick
authored and
Florian Kübler
committed
"seenNodes" contained one element too much.

Patrick
authored and
Florian Kübler
committed
Minor change on the loop finding procedure.

Patrick
authored and
Florian Kübler
committed
"seenNodes" needs to contain the branching site (removing it was not correct).

Patrick
authored and
Florian Kübler
committed
Path finding algorithms are now required to find all paths from the start node of the CFG (and not of a custom start node).

Patrick
authored and
Florian Kübler
committed
removeOuterBranching works now recursively.

Patrick
authored and
Florian Kübler
committed
Refined the makeLeanPathAcc function.

Patrick
authored and
Florian Kübler
committed
Methods, which return a string but do not belong to a group of interpreted (such as 'append') methods, now produce "\w" instead of nothing.

Patrick
authored and
Florian Kübler
committed
Needed to add a condition in order to make sure that the correct order is maintained for nested loops.

Patrick
authored and
Florian Kübler
committed
Added an explanatory comment.

Patrick
authored and
Florian Kübler
committed
makeLeanPath 1) did not find all usages in case an object has > 1 def site and 2) under some circumstances too eagerly removed outer branches (both fixed now).

Patrick
authored and
Florian Kübler
committed
Added support for interpreting integer values (only "IntConst" at the moment). A test case was modified accordingly.

Patrick
authored and
Florian Kübler
committed
Added support for characters.

Patrick
authored and
Florian Kübler
committed
No need to compute the three address code twice.

Patrick
authored and
Florian Kübler
committed
Changed the DefaultPathFinder to early stop when the required paths have been found.

Patrick
authored and
Florian Kübler
committed
Added the current state of the runner that was used to get numbers of the usage within the JDK.

Patrick
authored and
Florian Kübler
committed
Added primitive support for static field read operations.

Patrick
authored and
Florian Kübler
committed
Generalized the Array(Load)Interpreter to also support ArrayStores.

Patrick
authored and
Florian Kübler
committed
Refined the doesPathExistTo method.

Patrick
authored and
Florian Kübler
committed
Extended the path finding procedure to recognize when it is started within a try-catch block.

Patrick
authored and
Florian Kübler
committed
1) Added relevant methods for javax.crypto

Patrick
authored and
Florian Kübler
committed
Removed a condition (some loop headers were not correctly identified).

Patrick
authored and
Florian Kübler
committed
Started with the new algorithm.

Patrick
authored and
Florian Kübler
committed
Finished re-writing the path finding procedure.

Patrick
authored and
Florian Kübler
committed
Implemented a path finding procedure which takes into consideration only the relevant part of a method (this is now the default finding procedure for the analysis).

Patrick
authored and
Florian Kübler
committed
Had to slightly refine the interpretAppendCall method (for the reason see the comment).

Patrick
authored and
Florian Kübler
committed
Various minor fixes on the path finding procedures (now the whole JDK can be analyzed with the re-implementation).

Patrick
authored and
Florian Kübler
committed
Slightly updated the runner (no new or modifier logic, however).

Patrick
authored and
Florian Kübler
committed
Optimized the imports.

Patrick
authored and
Florian Kübler
committed
Changes required by the latest 'develop' branch.

Patrick
authored and
Florian Kübler
committed
Made StringConstancyProperty extend Property.

Patrick
authored and
Florian Kübler
committed
Further changes were required on the StringAnalysisReflectiveCalls file after having switched to the latest 'develop' version.

Patrick
authored and
Florian Kübler
committed
Removed unnecessary comments and properly formatted the file.

Patrick
authored and
Florian Kübler
committed
Renamed classes, files, and packages (to match the same naming conventions).

Patrick
authored and
Florian Kübler
committed
Simplified the code.

Patrick
authored and
Florian Kübler
committed
Generalized the StringAnalysisTest.

Patrick
authored and
Florian Kübler
committed
Added a InterproceduralStringAnalysis (currently not interprocedural) and extended the test suite accordingly.

Patrick
authored and
Florian Kübler
committed
Renamed the LocalStringAnalysisMatcher file.

Patrick
authored and
Florian Kübler
committed
Extended the test suite by analyses that are required to use the call graph.

Patrick
authored and
Florian Kübler
committed
1) Split the InterpretationHandler into a class hierarchy with two sub-classes (for inter- and intraprocedural processing)

Patrick
authored and
Florian Kübler
committed
Fixed a copy & paste error in the "apply" method.

Patrick
authored and
Florian Kübler
committed
Extended the constructor to take further information required for interprocedural processing.

Patrick
authored and
Florian Kübler
committed
Changed the interface of the InterpretationHandler and AbstractStringInterpreter (to now return a "Result" object). As a result, many files had to be touched.

Patrick
authored and
Florian Kübler
committed
Added the interprocedural counterpart.

Patrick
authored and
Florian Kübler
committed
Slightly changed the interface of AbstractStringInterpreter (which, again, resulted in changes in many files).

Patrick
authored and
Florian Kübler
committed
Corrected the "extractFromPPCR" method.

Patrick
authored and
Florian Kübler
committed
Continued making the analysis interprocedural.

Patrick
authored and
Florian Kübler
committed
Fixed a little but in the local string analysis which lead to the fact that transitive dependencies were not resolved correctly.

Patrick
authored and
Florian Kübler
committed
Renamed "LocalStringAnalysis" to "IntraproceduralStringAnalysis".

Patrick
authored and
Florian Kübler
committed
Had to add the "derivedProperty".

Patrick
authored and
Florian Kübler
committed
Renamed the upper and lower bound of the StringConstancyProperty to "ub" and "lb".

Patrick
authored and
Florian Kübler
committed
Started added support for parameters (context-sensitive).

Patrick
authored and
Florian Kübler
committed
Slightly changed two test cases (1. to use more chars and 2. to use a negative number).

Patrick
authored and
Florian Kübler
committed
Changed "[AnIntegerValue]" to its RegEx equivalent.

Patrick
authored and
Florian Kübler
committed
Changed "[AFloatValue]" to its corresponding RegEx and refined / extended the support for float and double values.

Patrick
authored and
Florian Kübler
committed
Changed one interprocedural test case in a way to use a method from another class.

Patrick
authored and
Florian Kübler
committed
Wrapped the regular expressions in "^" and "$" (to indicate that really a RegExp follows).

Patrick
authored and
Florian Kübler
committed
Added test cases where methods are called that are out of scope and thus not interpreted.

Patrick
authored and
Florian Kübler
committed
Formatted the file + fixed a typo.

Patrick
authored and
Florian Kübler
committed
Extended a function call.

Patrick
authored and
Florian Kübler
committed
Removed ToDos (I guess they cannot be done as I thought).

Patrick
authored and
Florian Kübler
committed
Extended the interprocedural analysis to better handle float / double values.

Patrick
authored and
Florian Kübler
committed
Added a comment describing the high-level approach of this analysis.

Patrick
authored and
Florian Kübler
committed
Added a comment describing the high-level approach of this analysis.

Patrick
authored and
Florian Kübler
committed
Extended the interprocedural analysis to finalize results of expressions where sub results have to be computed first. Corresponding test cases (initFromNonVirtualFunctionCallTest, arrayTest) were a…

Patrick
authored and
Florian Kübler
committed
Improved the structure of the interpretation part by creating corresponding packages.

Patrick
authored and
Florian Kübler
committed
Refactored code to avoid code duplication.

Patrick
authored and
Florian Kübler
committed
Created a common interface for the finalizers.

Patrick
authored and
Florian Kübler
committed
Moved the "finalizer" package into the "interprocedural" package (as finalizers are only relevant for interprocedural processing).

Patrick
authored and
Florian Kübler
committed
Interprocedural "append" operations are now supported.

Patrick
authored and
Florian Kübler
committed
Removed a comment (TODO).

Patrick
authored and
Florian Kübler
committed
Refined the "getDeclaredMethod" to include the declaring class in the search for a method as well.

Patrick
authored and
Florian Kübler
committed
Added support for virtual function calls where multiple implementations might be present. Corresponding test cases were added.

Patrick
authored and
Florian Kübler
committed
As one parameter of StringConstancyInformation#reduceMultiple was changed to iterable, some calls to that function could be slightly simplified.

Patrick
authored and
Florian Kübler
committed
1) Changed the InterproceduralStringAnalysis to work context-insensitive

Patrick
authored and
Florian Kübler
committed
1) Fixed the usage of EPS handling

Patrick
authored and
Florian Kübler
committed
Added the computation state of the InterproceduralStringAnalysis into its own file.

Patrick
authored and
Florian Kübler
committed
Removed unnecessary arguments ("data: P").

Patrick
authored and
Florian Kübler
committed
Changed the "dependees" field in InterproceduralComputationState to a list.

Patrick
authored and
Florian Kübler
committed
Extended the analysis in the way that it evaluates parameters of the method under analysis and uses these string information later on.

Patrick
authored and
Florian Kübler
committed
Removed unnecessary arguments / parameters.

Patrick
authored and
Florian Kübler
committed
Fixed a little bug in the procedure that computes lean paths.

Patrick
authored and
Florian Kübler
committed
Fixed a little bug in the procedure that builds paths for "switch" control structures.

Patrick
authored and
Florian Kübler
committed
Removed a TODO comment.

Patrick
authored and
Florian Kübler
committed
Allow the repetitive evaluation of constant expressions.

Patrick
authored and
Florian Kübler
committed
Slightly changed the "isStringBuilderBufferToStringCall" function (it did not work when a class was not available, i.e., ClassNotFoundException).

Patrick
authored and
Florian Kübler
committed
Extended the ArrayPreparationInterpreter to capture a result in case it can be computed.

Patrick
authored and
Florian Kübler
committed
Slightly changed the parameter registration and fixed a bug in the registerParams method.

Patrick
authored and
Florian Kübler
committed
Added primitive support for GetStatic expressions (needs to be enhanced later on).

Patrick
authored and
Florian Kübler
committed
Correctly handle the case if no TAC is available.

Patrick
authored and
Florian Kübler
committed
Minor changes.

Patrick
authored and
Florian Kübler
committed
Added handling for the implicit "this" parameter.

Patrick
authored and
Florian Kübler
committed
Added support for an "append" argument which > 1 definition site.

Patrick
authored and
Florian Kübler
committed
Added support for functions as arguments to (other) functions.

Patrick
authored and
Florian Kübler
committed
Provide a default value if a path could only be reduced to the neutral element.

Patrick
authored and
Florian Kübler
committed
The "append" finalizer did not correctly finalize when multiple definition sites of the "append" parameter were present.

Patrick
authored and
Florian Kübler
committed
Finalizers might have dependencies among each other as well. These are now regarded (and a test case was added).

Patrick
authored and
Florian Kübler
committed
Refined the procedure for finding the correct method for which to get callers information for.

Patrick
authored and
Florian Kübler
committed
Converted some comments to doc strings.

Patrick
authored and
Florian Kübler
committed
Added support for the interpretation of functions which have other functions as parameters.

Patrick
authored and
Florian Kübler
committed
Fixed a little bug.

Patrick
authored and
Florian Kübler
committed
Having the TAC and the CFG stored together is redundant => CFG was removed.

Patrick
authored and
Florian Kübler
committed
Added further comments / explanations regarding the feature implemented by commit #8da0654.

Patrick
authored and
Florian Kübler
committed
Turned InterpretationHandler#processedDefSites into a map to have constant look-up times.

Patrick
authored and
Florian Kübler
committed
Improved the analysis in the way that it does not collect callers information in case a string constant, which is not a parameter, is analyzed.

Patrick
authored and
Florian Kübler
committed
Exception information are regarded as dynamic, i.e., lower bound.

Patrick
authored and
Florian Kübler
committed
Callers information are only collected if at least one of the parameters is of a supported type.

Patrick
authored and
Florian Kübler
committed
Improved handling of declared methods.

Patrick
authored and
Florian Kübler
committed
Simplified the condition whether to retrieve callers information or not.

Patrick
authored and
Florian Kübler
committed
The path transformer may need to update the fpe2sci map.

Patrick
authored and
Florian Kübler
committed
Refined the handling of functions.

Patrick
authored and
Florian Kübler
committed
Refined the procedure to determine whether callers information are required.

Patrick
authored and
Florian Kübler
committed
In some cases it was unnecessary to collect callers information as they were already present.

Patrick
authored and
Florian Kübler
committed
Added handling for the default case.

Patrick
authored and
Florian Kübler
committed
Refined the finalization handling.

Patrick
authored and
Florian Kübler
committed
Added a test case which, currently, does not work, as there is a cyclic dependency.

Patrick
authored and
Florian Kübler
committed
Refined the handling of NonVirtualFunctionCalls and modified some comments.

Patrick
authored and
Florian Kübler
committed
Refined a condition.

Patrick
authored and
Florian Kübler
committed
Changed a parameter the "findPaths" function is called with.

Patrick
authored and
Florian Kübler
committed
Modified a condition.

Patrick
authored and
Florian Kübler
committed
Had to refine when a result is added to the fpe2sci map (adding the neutral element led to false results).

Patrick
authored and
Florian Kübler
committed
Added a test case which did not work previously but does so now because of the last commits.

Patrick
authored and
Florian Kübler
committed
Slightly refined the array finalizer in the way to finalize required data before its own finalization.

Patrick
authored and
Florian Kübler
committed
Changed the handling when no TAC is available.

Patrick
authored and
Florian Kübler
committed
Prevented the procedure from trying to elements that do not exist.

Patrick
authored and
Florian Kübler
committed
Needed to add a case in order for the match to be exhaustive.

Patrick
authored and
Florian Kübler
committed
Not only VirtualFunctionCalls might be involved in finding definition sites of an init => extended the support

Patrick
authored and
Florian Kübler
committed
The mapping from variable / entity to index might be a 1-to-n relation => Extended it (from a 1-to-1); a corresponding test case was added.

Patrick
authored and
Florian Kübler
committed
Changed the analysis to retrieve the TAC from the property store.

Patrick
authored and
Florian Kübler
committed
Started adding support for fields.

Patrick
authored and
Florian Kübler
committed
Refined the handling of fields.

Patrick
authored and
Florian Kübler
committed
Added some important details to a test case.

Patrick
authored and
Florian Kübler
committed
Added a test case where a field is read that is not written at all.

Patrick
authored and
Florian Kübler
committed
Fixed a bug in the natural loop finding procedure. Sometimes, not entire loops were captured but only parts.

Patrick
authored and
Florian Kübler
committed
The "fix" done with commit #729bee2 was not entirely correct (but now!).

Patrick
authored and
Florian Kübler
committed
Formatted the file.

Patrick
authored and
Florian Kübler
committed
Refined the getStartAndEndIndexOfCondWithAlternative procedure.

Patrick
authored and
Florian Kübler
committed
Added a condition to detect conditionals without alternative.

Patrick
authored and
Florian Kübler
committed
Refined the handling of switch.

Patrick
authored and
Florian Kübler
committed
Refined the handling of int/char values.

Patrick
authored and
Florian Kübler
committed
Refined the handling of switch.

Patrick
authored and
Florian Kübler
committed
Retrieve the TAC via the TAC provider again (StringAnalysisTest will be changed to use the TAC provider as well for extracting relevant UVars => for the definition sites to match, the TAC provider …

Patrick
authored and
Florian Kübler
committed
Had to change how the property store is setup in InterproceduralStringAnalysisTest. For the reson, see the class comment.

Patrick
authored and
Florian Kübler
committed
Slightly simplified the ArrayPreparationInterpreter.

Patrick
authored and
Florian Kübler
committed
Formatted the file.

Patrick
authored and
Florian Kübler
committed
Refined the handling of the TAC.

Patrick
authored and
Florian Kübler
committed
Restructured the file helper methods.

Patrick
authored and
Florian Kübler
committed
Simplified a routine.

Patrick
authored and
Florian Kübler
committed
Put an EPS to the dependees list only if a non-final result could be determined.

Patrick
authored and
Florian Kübler
committed
Do not add TAC entities twice to the property store.

Patrick
authored and
Florian Kübler
committed
Avoided code duplication.

Patrick
authored and
Florian Kübler
committed
Avoided some code duplication + cyclic dependencies are now resolved.

Patrick
authored and
Florian Kübler
committed
Updated a comment.

Patrick
authored and
Florian Kübler
committed
Refined the handling of field read operations.

Patrick
authored and
Florian Kübler
committed
Added a test case where a field of an unsupported type is read.

Patrick
authored and
Florian Kübler
committed
Refined the handling of fields in the sense that no initialization (either at the field or in the constructor) leads to adding a null element.

Patrick
authored and
Florian Kübler
committed
Extended the support for primitive number types.

Patrick
authored and
Florian Kübler
committed
Added a test case where a field is initialized using a constructor parameter.

Patrick
authored and
Florian Kübler
committed
Slightly refined the procedure to detect conditionals with or without alternatives.

Patrick
authored and
Florian Kübler
committed
Some (minor) improvements / bug fixes on the path finding procedure.

Patrick
authored and
Florian Kübler
committed
Some (minor) improvements / bug fixes on the path finding procedure.

Patrick
authored and
Florian Kübler
committed
Made the path finding procedure more robust.

Patrick
authored and
Florian Kübler
committed
Refined the handling of the TACMade the path finding procedure more robust.

Patrick
authored and
Florian Kübler
committed
Fixed a TODO regarding housekeeping.

Patrick
authored and
Florian Kübler
committed
Do not compare by reference.

Patrick
authored and
Florian Kübler
committed
Added support for correctly handling intermediate results.

Patrick
authored and
Florian Kübler
committed
Avoided code duplication and cleaned the code.

Patrick
authored and
Florian Kübler
committed
Added support for non-virtual functions which return more than one value.

Patrick
authored and
Florian Kübler
committed
Added support for static functions which return more than one value.

Patrick
authored and
Florian Kübler
committed
Added test cases where functions have no return values.

Patrick
authored and
Florian Kübler
committed
Virtual function with several return values are now supported as well.

Patrick
authored and
Florian Kübler
committed
Merged two test cases into one.

Patrick
authored and
Florian Kübler
committed
Added support for calls to String#valueOf.

Patrick
authored and
Florian Kübler
committed
Avoided code duplication.

Patrick
authored and
Florian Kübler
committed
Changed the interface of AbstractStringInterpreter#interpret to return an instance of EOptionP[Entity, Property] to avoid creating InterimResults. This lead to changes in many files.

Patrick
authored and
Florian Kübler
committed
Implemented the hashCode and equals method (without it the Property Store might not be able to reach quiescence).

Patrick
authored and
Florian Kübler
committed
Extended the handling of arrays in the way that an interpretation may not necessarily produce an EPK at all.

Patrick
authored and
Florian Kübler
committed
Made the path transforming procedure more robust.

Patrick
authored and
Florian Kübler
committed
A "Cond" or "Or" tree may not necessarily have append elements.

Patrick
authored and
Florian Kübler
committed
Slightly improved the procedure to determine whether a conditional has an "else" branch.

Patrick
authored and
Florian Kübler
committed
On every generation of an interim, compute a new upper bound.

Patrick
authored and
Florian Kübler
committed
Narrowed the return type of InterproceduralInterpretationHandler#processDefSite down to EOptionP[Entity, StringConstancyProperty].

Patrick
authored and
Florian Kübler
committed
Removed the "continuation" parameter from the InterproceduralInterpretationHandler as it is no longer necessary / used.

Patrick
authored and
Florian Kübler
committed
Had to refine the state of the interim state ("copy" does not copy all necesssary information).

Patrick
authored and
Florian Kübler
committed
Refined the handling of try-catch-finally.

Patrick
authored and
Florian Kübler
committed
Refined the procedure to find the definition sites of a StringBuilder.

Patrick
authored and
Florian Kübler
committed
Avoid an endless loop by tracking seen elements.

Patrick
authored and
Florian Kübler
committed
Avoid endless recursion by checking to not start the procedure with itself.

Patrick
authored and
Florian Kübler
committed
Refined the handling of callers by introducing a threshold.

Patrick
authored and
Florian Kübler
committed
Improved the handling of try-catch blocks.

Patrick
authored and
Florian Kübler
committed
Removed an unnecessary line.

Patrick
authored and
Florian Kübler
committed
Improved the handling of interim results.

Patrick
authored and
Florian Kübler
committed
Had to refine how to update the part of the state that captures intermediate results to avoid endless loops that arise due to constantly changing upper bounds (for a discussion, see Interprocedural…

Patrick
authored and
Florian Kübler
committed
Added a question / todo.

Patrick
authored and
Florian Kübler
committed
Made the procedure more robust.

Patrick
authored and
Florian Kübler
committed
Committed the state of this analysis which is actually used to analyze the JDK for the evaluation.

Patrick
authored and
Florian Kübler
committed
Added support for static field read operations.

Patrick
authored and
Florian Kübler
committed
Changed the symbol, which is used to indicate that a (sub) string can be any string, from "\w" to ".*" as this complies with the regular expression semantics.

Patrick
authored and
Florian Kübler
committed
Fixed a typo.

Patrick
authored and
Florian Kübler
committed
The path finding procedure could run in an endless loop which is now prevented.

Patrick
authored and
Florian Kübler
committed
Made this finalizer more robust.

Patrick
authored and
Florian Kübler
committed
Made the path finding procedure more robust by avoiding -1 values if the end PC of a catch node is -1.

Patrick
authored and
Florian Kübler
committed
Made the reduce accumulator more robust.

Patrick
authored and
Florian Kübler
committed
Made the path finding procedure more robust by avoiding that the end side can be smaller than the start side.

Patrick
authored and
Florian Kübler
committed
Extended the analysis to make the number of field write accesses configurable, i.e., a threshold when to approximate field reads as the lower bound.

Patrick
authored and
Florian Kübler
committed
Added a comment / TODO.

Patrick
authored and
Florian Kübler
committed
Added a comment / TODO.

Patrick
authored and
Florian Kübler
committed
When the field interpreter was extended to support the threshold, a little bug was introduced which lead to the fact that "^null$" would not be added to the possible strings if there was not field …

Patrick
authored and
Florian Kübler
committed
Under some circumstances, the empty string was turned into the lower bound. This lead to one little refinement in the VirtualFunctionCallPreparationInterpreter.

Patrick
authored and
Florian Kübler
committed
Added support for NewArray expressions.

Patrick
authored and
Florian Kübler
committed
Approximate the results of a function, which does not return a String, with the lower bound.

Patrick
authored and
Florian Kübler
committed
Merge remote-tracking branch 'upstream/develop' into feature/string-analysis-new-develop

Patrick
authored and
Florian Kübler
committed
Changed the way the (interprocedural) string analysis tests are executed.

Patrick
authored and
Florian Kübler
committed
Merge remote-tracking branch 'upstream/develop' into feature/string-analysis-new-develop

Patrick
authored and
Florian Kübler
committed
re-applied review comments from PR #1
Florian Kübler
committed
sync with develop
Florian Kübler
committed
resolved merge conflicts
Florian Kübler
committed

Commits on Jan 31, 2020

Merge branch 'develop' into feature/StringAnalysis
Florian Kübler
authored

Commits on Feb 3, 2020

Merge branch 'develop' into feature/StringAnalysis
Florian Kübler
committed
minor refactoring in tests
Florian Kübler
committed