├── .github ├── dependabot.yml └── workflows │ ├── dependabot.yml │ ├── deploy-snapshot.yml │ ├── deploy.yml │ ├── documentation-deployment.yml │ ├── documentation-pr-preview.yml │ ├── formalities.yml │ ├── tests.yml │ └── version.yml ├── .gitignore ├── LICENSE ├── PDS ├── .gitignore ├── pom.xml └── src │ └── main │ └── java │ └── de │ └── fraunhofer │ └── iem │ ├── Empty.java │ ├── Location.java │ └── wildcard │ ├── ExclusionWildcard.java │ └── Wildcard.java ├── README.md ├── SparseBoomerangCorrectness ├── .gitignore ├── lib │ └── rt.jar ├── pom.xml └── src │ ├── main │ └── java │ │ └── aliasing │ │ └── SparseAliasManager.java │ └── test │ └── java │ ├── target │ └── aliasing │ │ └── PointerBench │ │ ├── basic │ │ ├── Branching1.java │ │ ├── Interprocedural1.java │ │ ├── Interprocedural2.java │ │ ├── Loops1.java │ │ ├── Loops2.java │ │ ├── Parameter1.java │ │ ├── Parameter2.java │ │ ├── Recursion1.java │ │ ├── ReturnValue1.java │ │ ├── ReturnValue2.java │ │ ├── ReturnValue3.java │ │ └── SimpleAlias1.java │ │ ├── benchmark │ │ ├── internal │ │ │ └── Benchmark.java │ │ └── objects │ │ │ ├── A.java │ │ │ ├── B.java │ │ │ ├── G.java │ │ │ ├── H.java │ │ │ ├── I.java │ │ │ ├── N.java │ │ │ ├── P.java │ │ │ └── Q.java │ │ ├── collections │ │ ├── Array1.java │ │ ├── List1.java │ │ ├── List2.java │ │ ├── Map1.java │ │ └── Set1.java │ │ ├── cornerCases │ │ ├── AccessPath1.java │ │ ├── ContextSensitivity1.java │ │ ├── ContextSensitivity2.java │ │ ├── ContextSensitivity3.java │ │ ├── FieldSensitivity1.java │ │ ├── FieldSensitivity2.java │ │ ├── FlowSensitivity1.java │ │ ├── ObjectSensitivity1.java │ │ ├── ObjectSensitivity2.java │ │ ├── StrongUpdate1.java │ │ └── StrongUpdate2.java │ │ └── generalJava │ │ ├── Exception1.java │ │ ├── Interface1.java │ │ ├── Null1.java │ │ ├── Null2.java │ │ ├── OuterClass1.java │ │ ├── StaticVariables1.java │ │ └── SuperClasses1.java │ └── test │ └── aliasing │ ├── AliasingTestSetUp.java │ └── pointerbench │ ├── BasicTest.java │ ├── CollectionsTest.java │ ├── CornerCasesTest.java │ └── GeneralJavaTest.java ├── SynchronizedPDS ├── .gitignore ├── LICENSE.txt ├── pom.xml └── src │ ├── main │ └── java │ │ └── sync │ │ └── pds │ │ ├── solver │ │ ├── CastNormalRule.java │ │ ├── EmptyStackWitnessListener.java │ │ ├── OneWeightFunctions.java │ │ ├── SyncPDSSolver.java │ │ ├── SyncPDSUpdateListener.java │ │ ├── SyncStatePDSUpdateListener.java │ │ ├── WeightFunctions.java │ │ ├── WitnessListener.java │ │ └── nodes │ │ │ ├── CallPopNode.java │ │ │ ├── ExclusionNode.java │ │ │ ├── GeneratedState.java │ │ │ ├── INode.java │ │ │ ├── Node.java │ │ │ ├── NodeWithLocation.java │ │ │ ├── PopNode.java │ │ │ ├── PushNode.java │ │ │ └── SingleNode.java │ │ └── weights │ │ ├── SetDomain.java │ │ ├── SetDomainImpl.java │ │ ├── SetDomainOne.java │ │ └── SetDomainZero.java │ └── test │ └── java │ └── analysis │ └── test │ └── DoublePDSTest.java ├── WPDS ├── .gitignore ├── LICENSE.txt ├── TODOs.txt ├── pom.xml └── src │ ├── main │ └── java │ │ └── wpds │ │ ├── debug │ │ └── Debugger.java │ │ ├── impl │ │ ├── Configuration.java │ │ ├── ConnectPushListener.java │ │ ├── NestedAutomatonListener.java │ │ ├── NestedWeightedPAutomatons.java │ │ ├── NoWeight.java │ │ ├── NormalRule.java │ │ ├── PAutomaton.java │ │ ├── PopRule.java │ │ ├── PostStar.java │ │ ├── PreStar.java │ │ ├── PrefixImport.java │ │ ├── PushRule.java │ │ ├── PushdownSystem.java │ │ ├── Rule.java │ │ ├── StackListener.java │ │ ├── SummaryNestedWeightedPAutomatons.java │ │ ├── Transition.java │ │ ├── UNormalRule.java │ │ ├── UPopRule.java │ │ ├── UPushRule.java │ │ ├── UnbalancedPopListener.java │ │ ├── Weight.java │ │ ├── WeightedPAutomaton.java │ │ └── WeightedPushdownSystem.java │ │ ├── interfaces │ │ ├── ForwardDFSEpsilonVisitor.java │ │ ├── ForwardDFSVisitor.java │ │ ├── IPushdownSystem.java │ │ ├── ReachabilityListener.java │ │ ├── State.java │ │ ├── WPAStateListener.java │ │ ├── WPAUpdateListener.java │ │ └── WPDSUpdateListener.java │ │ └── wildcard │ │ └── WildcardPushdownSystem.java │ └── test │ └── java │ └── tests │ ├── ForwardDFSVisitorTest.java │ ├── MinSeminringPostStarTests.java │ ├── MinSemiring.java │ ├── MinSemiringImpl.java │ ├── MinSemiringOne.java │ ├── MinSemiringZero.java │ ├── NumWeight.java │ ├── NumWeightImpl.java │ ├── NumWeightOne.java │ ├── NumWeightZero.java │ ├── PDSPoststarTests.java │ ├── PDSPrestarTests.java │ ├── PrefixImportTests.java │ ├── SummaryPDSPostStarTests.java │ ├── TestHelper.java │ ├── WPDSPostStarTests.java │ └── WPDSPreStarTests.java ├── boomerangPDS ├── .gitignore ├── LICENSE.txt ├── pom.xml ├── src │ ├── main │ │ ├── java │ │ │ └── boomerang │ │ │ │ ├── BackwardQuery.java │ │ │ │ ├── Boomerang.java │ │ │ │ ├── BoomerangTimeoutException.java │ │ │ │ ├── Context.java │ │ │ │ ├── ForwardQuery.java │ │ │ │ ├── ForwardQueryArray.java │ │ │ │ ├── ForwardQueryMultiDimensionalArray.java │ │ │ │ ├── IContextRequester.java │ │ │ │ ├── MethodReachableQueue.java │ │ │ │ ├── Query.java │ │ │ │ ├── QueryGraph.java │ │ │ │ ├── SolverCreationListener.java │ │ │ │ ├── Util.java │ │ │ │ ├── WeightedBoomerang.java │ │ │ │ ├── WeightedForwardQuery.java │ │ │ │ ├── WholeProgramBoomerang.java │ │ │ │ ├── arrays │ │ │ │ ├── ArrayHandlingStrategy.java │ │ │ │ ├── ArrayIndexInsensitiveStrategy.java │ │ │ │ ├── ArrayIndexSensitiveStrategy.java │ │ │ │ └── IgnoreArrayStrategy.java │ │ │ │ ├── callgraph │ │ │ │ ├── BackwardsObservableICFG.java │ │ │ │ ├── BoomerangResolver.java │ │ │ │ ├── CallGraphOptions.java │ │ │ │ ├── CalleeListener.java │ │ │ │ ├── CallerListener.java │ │ │ │ ├── ICallerCalleeResolutionStrategy.java │ │ │ │ ├── ObservableDynamicICFG.java │ │ │ │ ├── ObservableICFG.java │ │ │ │ └── ObservableStaticICFG.java │ │ │ │ ├── controlflowgraph │ │ │ │ ├── DynamicCFG.java │ │ │ │ ├── ForwardSolverSuccessorListener.java │ │ │ │ ├── ObservableControlFlowGraph.java │ │ │ │ ├── PredecessorListener.java │ │ │ │ ├── StaticCFG.java │ │ │ │ └── SuccessorListener.java │ │ │ │ ├── debugger │ │ │ │ ├── CallGraphDebugger.java │ │ │ │ ├── ConsoleDebugger.java │ │ │ │ ├── Debugger.java │ │ │ │ └── IDEVizDebugger.java │ │ │ │ ├── flowfunction │ │ │ │ ├── DefaultBackwardFlowFunction.java │ │ │ │ ├── DefaultFlowFunctionFactory.java │ │ │ │ ├── DefaultForwardFlowFunction.java │ │ │ │ ├── FlowFunctionOptions.java │ │ │ │ ├── FlowFunctionUtils.java │ │ │ │ ├── IBackwardFlowFunction.java │ │ │ │ ├── IFlowFunctionFactory.java │ │ │ │ └── IForwardFlowFunction.java │ │ │ │ ├── guided │ │ │ │ ├── DemandDrivenGuidedAnalysis.java │ │ │ │ ├── IDemandDrivenGuidedManager.java │ │ │ │ ├── SimpleSpecificationGuidedManager.java │ │ │ │ └── Specification.java │ │ │ │ ├── options │ │ │ │ ├── BoomerangOptions.java │ │ │ │ ├── DefaultAllocationSite.java │ │ │ │ ├── IAllocationSite.java │ │ │ │ └── IntAndStringAllocationSite.java │ │ │ │ ├── pathtracking │ │ │ │ ├── DataFlowPathWeight.java │ │ │ │ ├── DataFlowPathWeightImpl.java │ │ │ │ ├── DataFlowPathWeightOne.java │ │ │ │ ├── PathConditionWeight.java │ │ │ │ ├── PathConditionWeightImpl.java │ │ │ │ ├── PathConditionWeightOne.java │ │ │ │ ├── PathTrackingBoomerang.java │ │ │ │ ├── PathTrackingBoomerangOptions.java │ │ │ │ ├── PathTrackingWeight.java │ │ │ │ ├── PathTrackingWeightFunctions.java │ │ │ │ ├── PathTrackingWeightImpl.java │ │ │ │ └── PathTrackingWeightOne.java │ │ │ │ ├── poi │ │ │ │ ├── AbstractPOI.java │ │ │ │ ├── CopyAccessPathChain.java │ │ │ │ ├── ExecuteImportFieldStmtPOI.java │ │ │ │ └── PointOfIndirection.java │ │ │ │ ├── results │ │ │ │ ├── AbstractBoomerangResults.java │ │ │ │ ├── AffectedLocation.java │ │ │ │ ├── BackwardBoomerangResults.java │ │ │ │ ├── ExtractAllAliasListener.java │ │ │ │ ├── ExtractAllocationSiteStateListener.java │ │ │ │ ├── ForwardBoomerangResults.java │ │ │ │ ├── NullPointerDereference.java │ │ │ │ ├── PathElement.java │ │ │ │ └── QueryResults.java │ │ │ │ ├── scope │ │ │ │ ├── AccessPathParser.java │ │ │ │ └── AnalysisScope.java │ │ │ │ ├── solver │ │ │ │ ├── AbstractBoomerangSolver.java │ │ │ │ ├── AllocationTypeListener.java │ │ │ │ ├── BackwardBoomerangSolver.java │ │ │ │ ├── ControlFlowEdgeBasedCallTransitionListener.java │ │ │ │ ├── ControlFlowEdgeBasedFieldTransitionListener.java │ │ │ │ ├── ForwardBoomerangSolver.java │ │ │ │ ├── MethodBasedFieldTransitionListener.java │ │ │ │ ├── ReachableMethodListener.java │ │ │ │ └── Strategies.java │ │ │ │ ├── staticfields │ │ │ │ ├── FlowSensitiveStaticFieldStrategy.java │ │ │ │ ├── IgnoreStaticFieldStrategy.java │ │ │ │ ├── SingletonStaticFieldStrategy.java │ │ │ │ └── StaticFieldHandlingStrategy.java │ │ │ │ ├── stats │ │ │ │ ├── AdvancedBoomerangStats.java │ │ │ │ ├── CSVBoomerangStatsWriter.java │ │ │ │ ├── IBoomerangStats.java │ │ │ │ └── SimpleBoomerangStats.java │ │ │ │ ├── util │ │ │ │ ├── AccessPath.java │ │ │ │ ├── DefaultValueMap.java │ │ │ │ └── RegExAccessPath.java │ │ │ │ └── weights │ │ │ │ ├── MinDistanceWeight.java │ │ │ │ ├── MinDistanceWeightFunctions.java │ │ │ │ ├── MinDistanceWeightImpl.java │ │ │ │ └── MinDistanceWeightOne.java │ │ └── resources │ │ │ ├── log4j.properties │ │ │ └── simplelogger.properties │ └── test │ │ ├── java │ │ ├── boomerang │ │ │ └── guided │ │ │ │ ├── ArrayContainerCollectionManager.java │ │ │ │ ├── CustomFlowFunctionTest.java │ │ │ │ ├── DemandDrivenGuidedAnalysisTest.java │ │ │ │ ├── SpecificationParserTest.java │ │ │ │ ├── flowfunction │ │ │ │ ├── CustomBackwardFlowFunction.java │ │ │ │ └── CustomForwardFlowFunction.java │ │ │ │ └── targets │ │ │ │ ├── ArrayContainerTarget.java │ │ │ │ ├── BasicTarget.java │ │ │ │ ├── BranchingAfterNewStringTest.java │ │ │ │ ├── BranchingTest.java │ │ │ │ ├── ContextSensitiveAndLeftUnbalanced2StacksTarget.java │ │ │ │ ├── ContextSensitiveAndLeftUnbalancedFieldTarget.java │ │ │ │ ├── ContextSensitiveAndLeftUnbalancedTarget.java │ │ │ │ ├── ContextSensitiveAndLeftUnbalancedTarget2.java │ │ │ │ ├── ContextSensitiveAndLeftUnbalancedThisFieldTarget.java │ │ │ │ ├── ContextSensitiveTarget.java │ │ │ │ ├── CustomFlowFunctionIntTarget.java │ │ │ │ ├── CustomFlowFunctionTarget.java │ │ │ │ ├── IntegerCastTarget.java │ │ │ │ ├── LeftUnbalancedTarget.java │ │ │ │ ├── NestedContextAndBranchingTarget.java │ │ │ │ ├── NestedContextTarget.java │ │ │ │ ├── PingPongInterproceduralTarget.java │ │ │ │ ├── PingPongTarget.java │ │ │ │ ├── Query.java │ │ │ │ ├── ValueOfTarget.java │ │ │ │ ├── WrappedInNewStringInnerTarget.java │ │ │ │ ├── WrappedInNewStringTarget.java │ │ │ │ └── WrappedInStringTwiceTest.java │ │ ├── example │ │ │ ├── ExampleMain1.java │ │ │ └── ExampleMain2.java │ │ └── test │ │ │ ├── cases │ │ │ ├── accesspath │ │ │ │ └── AccessPathTest.java │ │ │ ├── array │ │ │ │ ├── ArrayAlloc.java │ │ │ │ ├── ArrayContainerTest.java │ │ │ │ ├── ArrayIndexSensitiveTest.java │ │ │ │ └── ArrayTest.java │ │ │ ├── basic │ │ │ │ ├── BasicAlloc.java │ │ │ │ ├── FieldLessTest.java │ │ │ │ ├── InterproceduralTest.java │ │ │ │ └── UnbalancedInterproceduralTest.java │ │ │ ├── bugfixes │ │ │ │ └── issue5 │ │ │ │ │ ├── Foo.java │ │ │ │ │ ├── Issue5Test.java │ │ │ │ │ └── Test.java │ │ │ ├── callgraph │ │ │ │ ├── CallGraphAlloc.java │ │ │ │ ├── ContextSensitivityFieldTest.java │ │ │ │ ├── ContextSensitivityMyListTest.java │ │ │ │ ├── ContextSensitivityTest.java │ │ │ │ └── ContextSpecificListTypeTest.java │ │ │ ├── context │ │ │ │ ├── AliasViaParameterTest.java │ │ │ │ ├── ContextAlloc.java │ │ │ │ ├── ContextTypesTest.java │ │ │ │ ├── LoopInContextRequesterTest.java │ │ │ │ ├── OuterAllocationTest.java │ │ │ │ ├── PathingContextProblemTest.java │ │ │ │ └── SimpleContextQueryTest.java │ │ │ ├── exceptions │ │ │ │ ├── ExceptionAlloc.java │ │ │ │ └── ExceptionTest.java │ │ │ ├── fields │ │ │ │ ├── A.java │ │ │ │ ├── B.java │ │ │ │ ├── BasicFieldTest.java │ │ │ │ ├── CallPOITest.java │ │ │ │ ├── CastAndSetTest.java │ │ │ │ ├── FailOnVisitMethodTest.java │ │ │ │ ├── FieldAlloc.java │ │ │ │ ├── FieldsBranchedTest.java │ │ │ │ ├── HiddenFieldLoadTest.java │ │ │ │ ├── InterproceduralTest.java │ │ │ │ ├── IntraproceduralStrongUpdateTest.java │ │ │ │ ├── MeetPOITest.java │ │ │ │ ├── NoIndirectionTest.java │ │ │ │ ├── NullAllocationConstructorTest.java │ │ │ │ ├── ObjectSensitivityTest.java │ │ │ │ ├── ReadPOITest.java │ │ │ │ ├── ReadTwiceSameFieldTest.java │ │ │ │ ├── ReturnPOITest.java │ │ │ │ ├── ReuseOfSummaryTest.java │ │ │ │ ├── SummaryTest.java │ │ │ │ ├── ThreeFieldsTest.java │ │ │ │ ├── TypeChangeTest.java │ │ │ │ ├── WritePOITest.java │ │ │ │ ├── complexity │ │ │ │ │ ├── Fields10LongTest.java │ │ │ │ │ ├── Fields20LongTest.java │ │ │ │ │ ├── Fields2LongTest.java │ │ │ │ │ ├── Fields3LongTest.java │ │ │ │ │ ├── Fields4LongTest.java │ │ │ │ │ ├── Fields5LongTest.java │ │ │ │ │ ├── Fields6LongTest.java │ │ │ │ │ └── Recursion2LongTest.java │ │ │ │ └── loops │ │ │ │ │ ├── LoopsWithFieldsInterTest.java │ │ │ │ │ └── LoopsWithFieldsIntraTest.java │ │ │ ├── generics │ │ │ │ └── GenericsTest.java │ │ │ ├── hashmap │ │ │ │ ├── AllAliasTest.java │ │ │ │ ├── Entry.java │ │ │ │ ├── KeySensitiveTest.java │ │ │ │ ├── MapAlloc.java │ │ │ │ ├── Node.java │ │ │ │ └── TreeNode.java │ │ │ ├── integers │ │ │ │ └── IntTest.java │ │ │ ├── lists │ │ │ │ ├── ArrayAndLinkedListsTest.java │ │ │ │ ├── ArrayListsTest.java │ │ │ │ ├── LinkedListsTest.java │ │ │ │ ├── LinkedListsTypeTest.java │ │ │ │ ├── ListAlloc.java │ │ │ │ └── VectorsTest.java │ │ │ ├── multiqueries │ │ │ │ └── MultiQueryTest.java │ │ │ ├── realworld │ │ │ │ ├── FixAfterInsertion.java │ │ │ │ ├── FixAfterInsertionTest.java │ │ │ │ └── ScalabilityOfBackwardAnalysisTest.java │ │ │ ├── reflection │ │ │ │ ├── ReflectionAlloc.java │ │ │ │ └── ReflectionTest.java │ │ │ ├── sets │ │ │ │ ├── CustomMapTest.java │ │ │ │ ├── CustomSetTest.java │ │ │ │ ├── HashMapGetTest.java │ │ │ │ ├── HashMapsTest.java │ │ │ │ ├── HashSetsLongTest.java │ │ │ │ ├── MyInnerMap.java │ │ │ │ ├── MyMap.java │ │ │ │ ├── SetAlloc.java │ │ │ │ ├── TreeMapMultipleInstancesTest.java │ │ │ │ ├── TreeMapTest.java │ │ │ │ └── TreeSetsLongTest.java │ │ │ ├── statics │ │ │ │ ├── SimpleSingletonTest.java │ │ │ │ ├── SingletonTest.java │ │ │ │ ├── StaticFieldAtEntryPointToClinitTest.java │ │ │ │ ├── StaticFieldFlowsTest.java │ │ │ │ ├── StaticInitializerTest.java │ │ │ │ ├── StaticWithSuperClassesTest.java │ │ │ │ └── StaticsAlloc.java │ │ │ ├── string │ │ │ │ └── StringTest.java │ │ │ ├── subclassing │ │ │ │ ├── AbstractClassWithInnerSubclassTest.java │ │ │ │ ├── InnerClass2Test.java │ │ │ │ ├── InnerClassTest.java │ │ │ │ ├── SubclassingAlloc.java │ │ │ │ └── SubclassingTest.java │ │ │ ├── synchronizd │ │ │ │ ├── BlockTest.java │ │ │ │ └── SynchronizedAlloc.java │ │ │ ├── threading │ │ │ │ ├── InnerClassWithThreadTarget.java │ │ │ │ ├── InnerClassWithThreadTest.java │ │ │ │ └── ThreadingAlloc.java │ │ │ ├── typing │ │ │ │ ├── InterfaceInvocationTest.java │ │ │ │ └── TypeConfusionTest.java │ │ │ └── unbalanced │ │ │ │ ├── UnbalancedAlloc.java │ │ │ │ └── UnbalancedScopesTest.java │ │ │ ├── core │ │ │ ├── AllocationSiteOf.java │ │ │ ├── BoomerangTestRunnerInterceptor.java │ │ │ ├── BoomerangTestingFramework.java │ │ │ ├── FirstArgumentOf.java │ │ │ ├── IntegerAllocationSiteOf.java │ │ │ ├── MultiQueryBoomerangTest.java │ │ │ ├── MultiQueryTestRunnerInterceptor.java │ │ │ ├── PreAnalysis.java │ │ │ ├── QueryForCallSiteDetector.java │ │ │ ├── QueryMethods.java │ │ │ ├── TestConfig.java │ │ │ ├── TestParameters.java │ │ │ └── ValueOfInterestInUnit.java │ │ │ └── options │ │ │ ├── AssertionsExtraction.java │ │ │ ├── OptionAssertions.java │ │ │ ├── OptionsTestInterceptor.java │ │ │ ├── OptionsTestingFramework.java │ │ │ ├── TestOptions.java │ │ │ ├── boomerang │ │ │ ├── ArrayStrategyTest.java │ │ │ ├── BoomerangOptionsTest.java │ │ │ ├── CallSummaryTest.java │ │ │ ├── ContextSensitivityTest.java │ │ │ ├── FieldSensitivityTest.java │ │ │ ├── FieldSummaryTest.java │ │ │ ├── MaxCallDepthTest.java │ │ │ ├── MaxFieldDepthTest.java │ │ │ ├── StaticFieldStrategyTest.java │ │ │ └── TimeoutTest.java │ │ │ └── flowfunctions │ │ │ ├── FlowFunctionFactoryTest.java │ │ │ ├── FlowFunctionOptionsTest.java │ │ │ ├── IncludeInnerClassFieldsTest.java │ │ │ └── TrackFieldsTest.java │ │ └── resources │ │ ├── Test.jar │ │ └── specification.txt └── visualization │ ├── data.js │ ├── example.png │ ├── example2.png │ ├── index.html │ ├── libs │ ├── cytoscape-dagre.js │ ├── cytoscape.js │ ├── dagre.min.js │ └── jquery-3.1.1.min.js │ ├── style.css │ └── webix │ └── codebase │ ├── fonts │ ├── PTS-bold.woff │ ├── PTS-webfont.woff │ ├── font-license.txt │ ├── fontawesome-webfont.eot │ ├── fontawesome-webfont.svg │ ├── fontawesome-webfont.ttf │ └── fontawesome-webfont.woff │ ├── i18n │ ├── be.js │ ├── de.js │ ├── en.js │ ├── es.js │ ├── fr.js │ ├── it.js │ ├── ja.js │ ├── pt.js │ ├── ru.js │ └── zh.js │ ├── legacy │ ├── excanvas │ │ ├── AUTHORS.txt │ │ ├── COPYING.txt │ │ ├── README.txt │ │ └── excanvas.js │ ├── swfobject.js │ └── uploader.swf │ ├── skins │ ├── air.css │ ├── aircompact.css │ ├── clouds.css │ ├── compact.css │ ├── contrast.css │ ├── debug │ │ ├── air.css │ │ ├── aircompact.css │ │ ├── clouds.css │ │ ├── compact.css │ │ ├── contrast.css │ │ ├── flat.css │ │ ├── glamour.css │ │ ├── light.css │ │ ├── metro.css │ │ ├── terrace.css │ │ ├── touch.css │ │ └── web.css │ ├── flat.css │ ├── glamour.css │ ├── light.css │ ├── metro.css │ ├── terrace.css │ ├── touch.css │ └── web.css │ ├── webix.css │ ├── webix.js │ ├── webix.js.map │ └── webix_debug.js ├── boomerangScope-Opal ├── .gitignore ├── pom.xml └── src │ ├── main │ └── scala │ │ └── boomerang │ │ └── scope │ │ └── opal │ │ ├── OpalCallGraph.scala │ │ ├── OpalFrameworkScope.scala │ │ ├── OpalScopeConverter.scala │ │ ├── tac │ │ ├── OpalArrayRef.scala │ │ ├── OpalControlFlowGraph.scala │ │ ├── OpalDeclaredMethod.scala │ │ ├── OpalDoubleVal.scala │ │ ├── OpalField.scala │ │ ├── OpalIfStatement.scala │ │ ├── OpalInstanceFieldRef.scala │ │ ├── OpalInvokeExpr.scala │ │ ├── OpalMethod.scala │ │ ├── OpalNullType.scala │ │ ├── OpalPhantomMethod.scala │ │ ├── OpalStatement.scala │ │ ├── OpalStatementFormatter.scala │ │ ├── OpalStaticFieldRef.scala │ │ ├── OpalType.scala │ │ ├── OpalVal.scala │ │ └── OpalWrappedClass.scala │ │ └── transformation │ │ ├── BoomerangTACode.scala │ │ ├── StmtGraph.scala │ │ ├── TacBodyBuilder.scala │ │ ├── TacLocal.scala │ │ ├── stack │ │ ├── Operand.scala │ │ ├── OperandStack.scala │ │ ├── OperandStackBuilder.scala │ │ └── OperandStackHandler.scala │ │ └── transformer │ │ ├── InlineLocalTransformer.scala │ │ ├── LocalPropagationTransformer.scala │ │ ├── LocalTransformer.scala │ │ ├── NopEliminator.scala │ │ ├── NopTransformer.scala │ │ └── NullifyFieldsTransformer.scala │ └── test │ └── scala │ └── boomerang │ └── scope │ └── opal │ ├── OpalArrayTest.scala │ ├── OpalAssignmentTest.scala │ ├── OpalControlFlowGraphTest.scala │ ├── OpalFieldTest.scala │ ├── OpalInvokeExprTest.scala │ ├── OpalLocalTest.scala │ ├── OpalScopeTest.scala │ ├── OpalSetup.scala │ ├── OpalWrappedClassTest.scala │ └── TacBodyBuilderTest.scala ├── boomerangScope-Soot ├── .gitignore ├── LICENSE.txt ├── pom.xml └── src │ ├── main │ └── java │ │ └── boomerang │ │ └── scope │ │ └── soot │ │ ├── BoomerangPretransformer.java │ │ ├── SootCallGraph.java │ │ ├── SootFrameworkScope.java │ │ ├── SootScopeConverter.java │ │ ├── jimple │ │ ├── JimpleArrayRef.java │ │ ├── JimpleControlFlowGraph.java │ │ ├── JimpleDeclaredMethod.java │ │ ├── JimpleDoubleVal.java │ │ ├── JimpleField.java │ │ ├── JimpleIfStatement.java │ │ ├── JimpleInstanceFieldRef.java │ │ ├── JimpleInvokeExpr.java │ │ ├── JimpleMethod.java │ │ ├── JimplePhantomMethod.java │ │ ├── JimpleStatement.java │ │ ├── JimpleStaticFieldRef.java │ │ ├── JimpleType.java │ │ ├── JimpleVal.java │ │ └── JimpleWrappedClass.java │ │ └── sparse │ │ ├── SootAdapter.java │ │ ├── SparseCFGBuilder.java │ │ ├── aliasaware │ │ ├── AliasAwareSparseCFGBuilder.java │ │ ├── AliasAwareSparseCFGCache.java │ │ ├── DefinedOutside.java │ │ └── MStaticFieldRef.java │ │ └── typebased │ │ ├── TypeBasedSparseCFGBuilder.java │ │ └── TypeBasedSparseCFGCache.java │ └── test │ └── java │ └── boomerang │ └── scope │ └── soot │ ├── SootArrayTest.java │ ├── SootLocalTest.java │ ├── SootScopeTest.java │ └── SootSetup.java ├── boomerangScope-SootUp ├── .gitignore ├── LICENSE.txt ├── pom.xml └── src │ ├── main │ └── java │ │ ├── boomerang │ │ └── scope │ │ │ └── sootup │ │ │ ├── BoomerangPreInterceptor.java │ │ │ ├── BoomerangPreInterceptorTestImpl.java │ │ │ ├── SootUpCallGraph.java │ │ │ ├── SootUpFrameworkScope.java │ │ │ ├── SootUpScopeConverter.java │ │ │ └── jimple │ │ │ ├── JimpleUpArrayRef.java │ │ │ ├── JimpleUpControlFlowGraph.java │ │ │ ├── JimpleUpDeclaredMethod.java │ │ │ ├── JimpleUpDoubleVal.java │ │ │ ├── JimpleUpField.java │ │ │ ├── JimpleUpIfStatement.java │ │ │ ├── JimpleUpInstanceFieldRef.java │ │ │ ├── JimpleUpInvokeExpr.java │ │ │ ├── JimpleUpMethod.java │ │ │ ├── JimpleUpPhantomMethod.java │ │ │ ├── JimpleUpStatement.java │ │ │ ├── JimpleUpStaticFieldRef.java │ │ │ ├── JimpleUpType.java │ │ │ ├── JimpleUpVal.java │ │ │ └── JimpleUpWrappedClass.java │ │ └── sootup │ │ ├── ScopedAnalysisInputLocation.java │ │ └── SourceTypeSplittingAnalysisInputLocation.java │ └── test │ └── java │ └── boomerang │ └── scope │ └── sootup │ ├── SootUpScopeTest.java │ └── SootUpSetup.java ├── boomerangScope-WALA ├── .gitignore ├── LICENSE.txt ├── README.md ├── pom.xml └── src │ ├── main │ └── java │ │ └── boomerang │ │ └── scope │ │ └── wala │ │ ├── WALACallGraph.java │ │ ├── WALAClass.java │ │ ├── WALAControlFlowGraph.java │ │ ├── WALADataFlowScope.java │ │ ├── WALADeclaredMethod.java │ │ ├── WALADummyNullStatement.java │ │ ├── WALADummyVal.java │ │ ├── WALAField.java │ │ ├── WALAIfStatement.java │ │ ├── WALAInvokeExpr.java │ │ ├── WALAMethod.java │ │ ├── WALAStatement.java │ │ ├── WALAType.java │ │ ├── WALAUnitializedFieldStatement.java │ │ ├── WALAVal.java │ │ └── WalaFrameworkScope.java │ └── test │ └── resources │ ├── exclusion.txt │ └── testScope.txt ├── boomerangScope ├── .gitignore ├── LICENSE.txt ├── pom.xml └── src │ ├── main │ └── java │ │ ├── boomerang │ │ ├── scope │ │ │ ├── AllocVal.java │ │ │ ├── ArrayVal.java │ │ │ ├── CallGraph.java │ │ │ ├── ControlFlowGraph.java │ │ │ ├── DataFlowScope.java │ │ │ ├── DeclaredMethod.java │ │ │ ├── DefinedMethod.java │ │ │ ├── EpsilonStatement.java │ │ │ ├── Field.java │ │ │ ├── FrameworkScope.java │ │ │ ├── IArrayRef.java │ │ │ ├── IInstanceFieldRef.java │ │ │ ├── IStaticFieldRef.java │ │ │ ├── IfStatement.java │ │ │ ├── InstanceFieldVal.java │ │ │ ├── InvokeExpr.java │ │ │ ├── Method.java │ │ │ ├── Pair.java │ │ │ ├── PhantomMethod.java │ │ │ ├── Statement.java │ │ │ ├── StaticFieldVal.java │ │ │ ├── Type.java │ │ │ ├── Val.java │ │ │ ├── ValCollection.java │ │ │ ├── ValWithFalseVariable.java │ │ │ ├── WrappedClass.java │ │ │ └── fields │ │ │ │ ├── ArrayField.java │ │ │ │ ├── EmptyField.java │ │ │ │ ├── EpsilonField.java │ │ │ │ ├── ExclusionWildcardField.java │ │ │ │ ├── PredefinedField.java │ │ │ │ ├── StringBasedField.java │ │ │ │ └── WildcardField.java │ │ └── utils │ │ │ └── MethodWrapper.java │ │ └── sparse │ │ ├── SparseAliasingCFG.java │ │ ├── SparseCFGCache.java │ │ ├── SparsificationStrategy.java │ │ └── eval │ │ ├── EvalPrinter.java │ │ ├── PropagationCounter.java │ │ └── SparseCFGQueryLog.java │ └── test │ └── java │ └── boomerang │ └── scope │ └── test │ ├── BoomerangScopeTests.java │ ├── MethodSignature.java │ ├── TargetClassPath.java │ └── targets │ ├── A.java │ ├── AbstractClass.java │ ├── ArrayTarget.java │ ├── AssignmentTarget.java │ ├── BranchingTarget.java │ ├── ConstructorTarget.java │ ├── ControlFlowGraphTarget.java │ ├── FieldClass.java │ ├── FieldTarget.java │ ├── HashCodeEqualsLocalTarget.java │ ├── InvokeExprTarget.java │ ├── LocalCountTarget.java │ ├── ParameterLocalsTarget.java │ ├── ScopeTarget.java │ ├── SingleTarget.java │ └── ThisLocalTarget.java ├── docs ├── boomerang │ ├── allocation_sites.md │ ├── boomerang_setup.md │ └── options.md ├── examples │ └── taint_analysis.md ├── general │ ├── android_setup.md │ ├── boomerang_scope.md │ ├── framework_scopes.md │ └── installation.md ├── img │ └── BoomerangLogo.png └── index.md ├── examples ├── TaintAnalysis │ ├── .gitignore │ ├── pom.xml │ ├── src │ │ └── main │ │ │ └── java │ │ │ └── boomerang │ │ │ └── example │ │ │ ├── Main.java │ │ │ └── analysis │ │ │ ├── TaintAllocationSite.java │ │ │ ├── TaintAnalysis.java │ │ │ ├── TaintAnalysisScope.java │ │ │ └── TaintDataFlowScope.java │ └── targets │ │ ├── BranchingMultipleExample.jar │ │ ├── BranchingMultipleExample.java │ │ ├── BranchingSingleExample.jar │ │ ├── BranchingSingleExample.java │ │ ├── IntraProceduralFieldsExample.jar │ │ ├── IntraProceduralFieldsExample.java │ │ ├── SimpleAliasExample.jar │ │ ├── SimpleAliasExample.java │ │ └── taints │ │ ├── SinkClass.java │ │ └── SourceClass.java ├── ideal │ ├── InferenceExample.java │ └── Main.java └── wala │ ├── BoomerangExampleTarget1.java │ └── ExampleMain1.java ├── idealPDS ├── .gitignore ├── LICENSE.txt ├── makeDotImages.sh ├── pom.xml └── src │ ├── main │ └── java │ │ ├── ideal │ │ ├── IDEALAnalysis.java │ │ ├── IDEALAnalysisDefinition.java │ │ ├── IDEALResultHandler.java │ │ ├── IDEALSeedSolver.java │ │ ├── IDEALSeedTimeout.java │ │ ├── IDEALWeightFunctions.java │ │ ├── NonOneFlowListener.java │ │ └── StoreIDEALResultHandler.java │ │ ├── inference │ │ ├── InferenceWeight.java │ │ ├── InferenceWeightFunctions.java │ │ ├── InferenceWeightImpl.java │ │ ├── InferenceWeightOne.java │ │ └── InferenceWeightZero.java │ │ └── typestate │ │ ├── ChainingBackwardFlowFunction.java │ │ ├── ChainingFlowFunctionFactory.java │ │ ├── ChainingForwardFlowFunction.java │ │ ├── StatementSequence.java │ │ ├── TransitionFunction.java │ │ ├── TransitionFunctionImpl.java │ │ ├── TransitionFunctionOne.java │ │ ├── TransitionFunctionZero.java │ │ ├── finiteautomata │ │ ├── MatcherTransition.java │ │ ├── State.java │ │ ├── Transition.java │ │ ├── TransitionIdentity.java │ │ ├── TransitionImpl.java │ │ └── TypeStateMachineWeightFunctions.java │ │ └── impl │ │ └── statemachines │ │ ├── FileMustBeClosedStateMachine.java │ │ ├── FileMustBeClosedStateMachineCallToReturn.java │ │ ├── HasNextStateMachine.java │ │ ├── InputStreamStateMachine.java │ │ ├── KeyStoreStateMachine.java │ │ ├── OutputStreamStateMachine.java │ │ ├── PipedInputStreamStateMachine.java │ │ ├── PipedOutputStreamStateMachine.java │ │ ├── PrintStreamStateMachine.java │ │ ├── PrintWriterStateMachine.java │ │ ├── SignatureStateMachine.java │ │ ├── SocketStateMachine.java │ │ ├── URLConnStateMachine.java │ │ └── VectorStateMachine.java │ └── test │ └── java │ ├── assertions │ ├── Assertions.java │ ├── MayBeInAcceptingState.java │ ├── MayBeInErrorState.java │ ├── MustBeInAcceptingState.java │ ├── MustBeInErrorState.java │ ├── ShouldNotBeAnalyzed.java │ └── StateResult.java │ ├── chains │ ├── Chain.java │ ├── ChainStateMachine.java │ ├── ChainingTestFlowFunctionFactory.java │ └── MethodChainingTest.java │ ├── test │ ├── IDEALTestRunnerInterceptor.java │ ├── IDEALTestingFramework.java │ ├── TestConfig.java │ ├── TestParameters.java │ └── TestingResultReporter.java │ └── typestate │ ├── AssertionsTest.java │ ├── FileMustBeClosedDemandDrivenTest.java │ ├── FileMustBeClosedInterfaceTest.java │ ├── FileMustBeClosedStrongUpdateTest.java │ ├── FileMustBeClosedTest.java │ ├── FluentInterfaceTest.java │ ├── InputStreamTest.java │ ├── IteratorHasNextTest.java │ ├── KeyStoreTest.java │ ├── PrintStreamTest.java │ ├── PrintWriterTest.java │ ├── SocketTest.java │ ├── StackTest.java │ ├── URLConnTest.java │ ├── VectorTest.java │ └── helper │ ├── File.java │ └── ObjectWithField.java ├── license_header.txt ├── misc └── .scalafmt.conf ├── mkdocs.yml ├── pom.xml └── testCore ├── .gitignore ├── LICENSE.txt ├── pom.xml └── src └── main └── java └── test ├── Assertion.java ├── TestingFramework.java ├── core └── selfrunning │ ├── AllocatedObject.java │ ├── AllocatedObject2.java │ ├── ImprecisionException.java │ ├── NoAllocatedObject.java │ └── NullableField.java └── setup ├── OpalTestSetup.java ├── SootTestSetup.java ├── SootUpTestSetup.java ├── TestSetup.java └── TestSetupUtils.java /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/workflows/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/.github/workflows/dependabot.yml -------------------------------------------------------------------------------- /.github/workflows/deploy-snapshot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/.github/workflows/deploy-snapshot.yml -------------------------------------------------------------------------------- /.github/workflows/deploy.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/.github/workflows/deploy.yml -------------------------------------------------------------------------------- /.github/workflows/documentation-deployment.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/.github/workflows/documentation-deployment.yml -------------------------------------------------------------------------------- /.github/workflows/documentation-pr-preview.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/.github/workflows/documentation-pr-preview.yml -------------------------------------------------------------------------------- /.github/workflows/formalities.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/.github/workflows/formalities.yml -------------------------------------------------------------------------------- /.github/workflows/tests.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/.github/workflows/tests.yml -------------------------------------------------------------------------------- /.github/workflows/version.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/.github/workflows/version.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/.gitignore -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/LICENSE -------------------------------------------------------------------------------- /PDS/.gitignore: -------------------------------------------------------------------------------- 1 | /target/ 2 | /bin/ -------------------------------------------------------------------------------- /PDS/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/PDS/pom.xml -------------------------------------------------------------------------------- /PDS/src/main/java/de/fraunhofer/iem/Empty.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/PDS/src/main/java/de/fraunhofer/iem/Empty.java -------------------------------------------------------------------------------- /PDS/src/main/java/de/fraunhofer/iem/Location.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/PDS/src/main/java/de/fraunhofer/iem/Location.java -------------------------------------------------------------------------------- /PDS/src/main/java/de/fraunhofer/iem/wildcard/ExclusionWildcard.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/PDS/src/main/java/de/fraunhofer/iem/wildcard/ExclusionWildcard.java -------------------------------------------------------------------------------- /PDS/src/main/java/de/fraunhofer/iem/wildcard/Wildcard.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/PDS/src/main/java/de/fraunhofer/iem/wildcard/Wildcard.java -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/README.md -------------------------------------------------------------------------------- /SparseBoomerangCorrectness/.gitignore: -------------------------------------------------------------------------------- 1 | /target/ 2 | /bin/ 3 | -------------------------------------------------------------------------------- /SparseBoomerangCorrectness/lib/rt.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/SparseBoomerangCorrectness/lib/rt.jar -------------------------------------------------------------------------------- /SparseBoomerangCorrectness/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/SparseBoomerangCorrectness/pom.xml -------------------------------------------------------------------------------- /SparseBoomerangCorrectness/src/main/java/aliasing/SparseAliasManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/SparseBoomerangCorrectness/src/main/java/aliasing/SparseAliasManager.java -------------------------------------------------------------------------------- /SparseBoomerangCorrectness/src/test/java/test/aliasing/AliasingTestSetUp.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/SparseBoomerangCorrectness/src/test/java/test/aliasing/AliasingTestSetUp.java -------------------------------------------------------------------------------- /SparseBoomerangCorrectness/src/test/java/test/aliasing/pointerbench/BasicTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/SparseBoomerangCorrectness/src/test/java/test/aliasing/pointerbench/BasicTest.java -------------------------------------------------------------------------------- /SynchronizedPDS/.gitignore: -------------------------------------------------------------------------------- 1 | /target/ 2 | /bin/ 3 | -------------------------------------------------------------------------------- /SynchronizedPDS/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/SynchronizedPDS/LICENSE.txt -------------------------------------------------------------------------------- /SynchronizedPDS/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/SynchronizedPDS/pom.xml -------------------------------------------------------------------------------- /SynchronizedPDS/src/main/java/sync/pds/solver/CastNormalRule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/SynchronizedPDS/src/main/java/sync/pds/solver/CastNormalRule.java -------------------------------------------------------------------------------- /SynchronizedPDS/src/main/java/sync/pds/solver/EmptyStackWitnessListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/SynchronizedPDS/src/main/java/sync/pds/solver/EmptyStackWitnessListener.java -------------------------------------------------------------------------------- /SynchronizedPDS/src/main/java/sync/pds/solver/OneWeightFunctions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/SynchronizedPDS/src/main/java/sync/pds/solver/OneWeightFunctions.java -------------------------------------------------------------------------------- /SynchronizedPDS/src/main/java/sync/pds/solver/SyncPDSSolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/SynchronizedPDS/src/main/java/sync/pds/solver/SyncPDSSolver.java -------------------------------------------------------------------------------- /SynchronizedPDS/src/main/java/sync/pds/solver/SyncPDSUpdateListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/SynchronizedPDS/src/main/java/sync/pds/solver/SyncPDSUpdateListener.java -------------------------------------------------------------------------------- /SynchronizedPDS/src/main/java/sync/pds/solver/SyncStatePDSUpdateListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/SynchronizedPDS/src/main/java/sync/pds/solver/SyncStatePDSUpdateListener.java -------------------------------------------------------------------------------- /SynchronizedPDS/src/main/java/sync/pds/solver/WeightFunctions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/SynchronizedPDS/src/main/java/sync/pds/solver/WeightFunctions.java -------------------------------------------------------------------------------- /SynchronizedPDS/src/main/java/sync/pds/solver/WitnessListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/SynchronizedPDS/src/main/java/sync/pds/solver/WitnessListener.java -------------------------------------------------------------------------------- /SynchronizedPDS/src/main/java/sync/pds/solver/nodes/CallPopNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/SynchronizedPDS/src/main/java/sync/pds/solver/nodes/CallPopNode.java -------------------------------------------------------------------------------- /SynchronizedPDS/src/main/java/sync/pds/solver/nodes/ExclusionNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/SynchronizedPDS/src/main/java/sync/pds/solver/nodes/ExclusionNode.java -------------------------------------------------------------------------------- /SynchronizedPDS/src/main/java/sync/pds/solver/nodes/GeneratedState.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/SynchronizedPDS/src/main/java/sync/pds/solver/nodes/GeneratedState.java -------------------------------------------------------------------------------- /SynchronizedPDS/src/main/java/sync/pds/solver/nodes/INode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/SynchronizedPDS/src/main/java/sync/pds/solver/nodes/INode.java -------------------------------------------------------------------------------- /SynchronizedPDS/src/main/java/sync/pds/solver/nodes/Node.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/SynchronizedPDS/src/main/java/sync/pds/solver/nodes/Node.java -------------------------------------------------------------------------------- /SynchronizedPDS/src/main/java/sync/pds/solver/nodes/NodeWithLocation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/SynchronizedPDS/src/main/java/sync/pds/solver/nodes/NodeWithLocation.java -------------------------------------------------------------------------------- /SynchronizedPDS/src/main/java/sync/pds/solver/nodes/PopNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/SynchronizedPDS/src/main/java/sync/pds/solver/nodes/PopNode.java -------------------------------------------------------------------------------- /SynchronizedPDS/src/main/java/sync/pds/solver/nodes/PushNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/SynchronizedPDS/src/main/java/sync/pds/solver/nodes/PushNode.java -------------------------------------------------------------------------------- /SynchronizedPDS/src/main/java/sync/pds/solver/nodes/SingleNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/SynchronizedPDS/src/main/java/sync/pds/solver/nodes/SingleNode.java -------------------------------------------------------------------------------- /SynchronizedPDS/src/main/java/sync/pds/weights/SetDomain.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/SynchronizedPDS/src/main/java/sync/pds/weights/SetDomain.java -------------------------------------------------------------------------------- /SynchronizedPDS/src/main/java/sync/pds/weights/SetDomainImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/SynchronizedPDS/src/main/java/sync/pds/weights/SetDomainImpl.java -------------------------------------------------------------------------------- /SynchronizedPDS/src/main/java/sync/pds/weights/SetDomainOne.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/SynchronizedPDS/src/main/java/sync/pds/weights/SetDomainOne.java -------------------------------------------------------------------------------- /SynchronizedPDS/src/main/java/sync/pds/weights/SetDomainZero.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/SynchronizedPDS/src/main/java/sync/pds/weights/SetDomainZero.java -------------------------------------------------------------------------------- /SynchronizedPDS/src/test/java/analysis/test/DoublePDSTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/SynchronizedPDS/src/test/java/analysis/test/DoublePDSTest.java -------------------------------------------------------------------------------- /WPDS/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/.gitignore -------------------------------------------------------------------------------- /WPDS/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/LICENSE.txt -------------------------------------------------------------------------------- /WPDS/TODOs.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/TODOs.txt -------------------------------------------------------------------------------- /WPDS/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/pom.xml -------------------------------------------------------------------------------- /WPDS/src/main/java/wpds/debug/Debugger.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/main/java/wpds/debug/Debugger.java -------------------------------------------------------------------------------- /WPDS/src/main/java/wpds/impl/Configuration.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/main/java/wpds/impl/Configuration.java -------------------------------------------------------------------------------- /WPDS/src/main/java/wpds/impl/ConnectPushListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/main/java/wpds/impl/ConnectPushListener.java -------------------------------------------------------------------------------- /WPDS/src/main/java/wpds/impl/NestedAutomatonListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/main/java/wpds/impl/NestedAutomatonListener.java -------------------------------------------------------------------------------- /WPDS/src/main/java/wpds/impl/NestedWeightedPAutomatons.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/main/java/wpds/impl/NestedWeightedPAutomatons.java -------------------------------------------------------------------------------- /WPDS/src/main/java/wpds/impl/NoWeight.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/main/java/wpds/impl/NoWeight.java -------------------------------------------------------------------------------- /WPDS/src/main/java/wpds/impl/NormalRule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/main/java/wpds/impl/NormalRule.java -------------------------------------------------------------------------------- /WPDS/src/main/java/wpds/impl/PAutomaton.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/main/java/wpds/impl/PAutomaton.java -------------------------------------------------------------------------------- /WPDS/src/main/java/wpds/impl/PopRule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/main/java/wpds/impl/PopRule.java -------------------------------------------------------------------------------- /WPDS/src/main/java/wpds/impl/PostStar.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/main/java/wpds/impl/PostStar.java -------------------------------------------------------------------------------- /WPDS/src/main/java/wpds/impl/PreStar.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/main/java/wpds/impl/PreStar.java -------------------------------------------------------------------------------- /WPDS/src/main/java/wpds/impl/PrefixImport.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/main/java/wpds/impl/PrefixImport.java -------------------------------------------------------------------------------- /WPDS/src/main/java/wpds/impl/PushRule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/main/java/wpds/impl/PushRule.java -------------------------------------------------------------------------------- /WPDS/src/main/java/wpds/impl/PushdownSystem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/main/java/wpds/impl/PushdownSystem.java -------------------------------------------------------------------------------- /WPDS/src/main/java/wpds/impl/Rule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/main/java/wpds/impl/Rule.java -------------------------------------------------------------------------------- /WPDS/src/main/java/wpds/impl/StackListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/main/java/wpds/impl/StackListener.java -------------------------------------------------------------------------------- /WPDS/src/main/java/wpds/impl/SummaryNestedWeightedPAutomatons.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/main/java/wpds/impl/SummaryNestedWeightedPAutomatons.java -------------------------------------------------------------------------------- /WPDS/src/main/java/wpds/impl/Transition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/main/java/wpds/impl/Transition.java -------------------------------------------------------------------------------- /WPDS/src/main/java/wpds/impl/UNormalRule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/main/java/wpds/impl/UNormalRule.java -------------------------------------------------------------------------------- /WPDS/src/main/java/wpds/impl/UPopRule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/main/java/wpds/impl/UPopRule.java -------------------------------------------------------------------------------- /WPDS/src/main/java/wpds/impl/UPushRule.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/main/java/wpds/impl/UPushRule.java -------------------------------------------------------------------------------- /WPDS/src/main/java/wpds/impl/UnbalancedPopListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/main/java/wpds/impl/UnbalancedPopListener.java -------------------------------------------------------------------------------- /WPDS/src/main/java/wpds/impl/Weight.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/main/java/wpds/impl/Weight.java -------------------------------------------------------------------------------- /WPDS/src/main/java/wpds/impl/WeightedPAutomaton.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/main/java/wpds/impl/WeightedPAutomaton.java -------------------------------------------------------------------------------- /WPDS/src/main/java/wpds/impl/WeightedPushdownSystem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/main/java/wpds/impl/WeightedPushdownSystem.java -------------------------------------------------------------------------------- /WPDS/src/main/java/wpds/interfaces/ForwardDFSEpsilonVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/main/java/wpds/interfaces/ForwardDFSEpsilonVisitor.java -------------------------------------------------------------------------------- /WPDS/src/main/java/wpds/interfaces/ForwardDFSVisitor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/main/java/wpds/interfaces/ForwardDFSVisitor.java -------------------------------------------------------------------------------- /WPDS/src/main/java/wpds/interfaces/IPushdownSystem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/main/java/wpds/interfaces/IPushdownSystem.java -------------------------------------------------------------------------------- /WPDS/src/main/java/wpds/interfaces/ReachabilityListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/main/java/wpds/interfaces/ReachabilityListener.java -------------------------------------------------------------------------------- /WPDS/src/main/java/wpds/interfaces/State.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/main/java/wpds/interfaces/State.java -------------------------------------------------------------------------------- /WPDS/src/main/java/wpds/interfaces/WPAStateListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/main/java/wpds/interfaces/WPAStateListener.java -------------------------------------------------------------------------------- /WPDS/src/main/java/wpds/interfaces/WPAUpdateListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/main/java/wpds/interfaces/WPAUpdateListener.java -------------------------------------------------------------------------------- /WPDS/src/main/java/wpds/interfaces/WPDSUpdateListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/main/java/wpds/interfaces/WPDSUpdateListener.java -------------------------------------------------------------------------------- /WPDS/src/main/java/wpds/wildcard/WildcardPushdownSystem.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/main/java/wpds/wildcard/WildcardPushdownSystem.java -------------------------------------------------------------------------------- /WPDS/src/test/java/tests/ForwardDFSVisitorTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/test/java/tests/ForwardDFSVisitorTest.java -------------------------------------------------------------------------------- /WPDS/src/test/java/tests/MinSeminringPostStarTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/test/java/tests/MinSeminringPostStarTests.java -------------------------------------------------------------------------------- /WPDS/src/test/java/tests/MinSemiring.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/test/java/tests/MinSemiring.java -------------------------------------------------------------------------------- /WPDS/src/test/java/tests/MinSemiringImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/test/java/tests/MinSemiringImpl.java -------------------------------------------------------------------------------- /WPDS/src/test/java/tests/MinSemiringOne.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/test/java/tests/MinSemiringOne.java -------------------------------------------------------------------------------- /WPDS/src/test/java/tests/MinSemiringZero.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/test/java/tests/MinSemiringZero.java -------------------------------------------------------------------------------- /WPDS/src/test/java/tests/NumWeight.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/test/java/tests/NumWeight.java -------------------------------------------------------------------------------- /WPDS/src/test/java/tests/NumWeightImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/test/java/tests/NumWeightImpl.java -------------------------------------------------------------------------------- /WPDS/src/test/java/tests/NumWeightOne.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/test/java/tests/NumWeightOne.java -------------------------------------------------------------------------------- /WPDS/src/test/java/tests/NumWeightZero.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/test/java/tests/NumWeightZero.java -------------------------------------------------------------------------------- /WPDS/src/test/java/tests/PDSPoststarTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/test/java/tests/PDSPoststarTests.java -------------------------------------------------------------------------------- /WPDS/src/test/java/tests/PDSPrestarTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/test/java/tests/PDSPrestarTests.java -------------------------------------------------------------------------------- /WPDS/src/test/java/tests/PrefixImportTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/test/java/tests/PrefixImportTests.java -------------------------------------------------------------------------------- /WPDS/src/test/java/tests/SummaryPDSPostStarTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/test/java/tests/SummaryPDSPostStarTests.java -------------------------------------------------------------------------------- /WPDS/src/test/java/tests/TestHelper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/test/java/tests/TestHelper.java -------------------------------------------------------------------------------- /WPDS/src/test/java/tests/WPDSPostStarTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/test/java/tests/WPDSPostStarTests.java -------------------------------------------------------------------------------- /WPDS/src/test/java/tests/WPDSPreStarTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/WPDS/src/test/java/tests/WPDSPreStarTests.java -------------------------------------------------------------------------------- /boomerangPDS/.gitignore: -------------------------------------------------------------------------------- 1 | /target/ 2 | /bin/ 3 | -------------------------------------------------------------------------------- /boomerangPDS/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/LICENSE.txt -------------------------------------------------------------------------------- /boomerangPDS/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/pom.xml -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/BackwardQuery.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/BackwardQuery.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/Boomerang.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/Boomerang.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/BoomerangTimeoutException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/BoomerangTimeoutException.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/Context.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/Context.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/ForwardQuery.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/ForwardQuery.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/ForwardQueryArray.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/ForwardQueryArray.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/ForwardQueryMultiDimensionalArray.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/ForwardQueryMultiDimensionalArray.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/IContextRequester.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/IContextRequester.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/MethodReachableQueue.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/MethodReachableQueue.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/Query.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/Query.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/QueryGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/QueryGraph.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/SolverCreationListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/SolverCreationListener.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/Util.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/Util.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/WeightedBoomerang.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/WeightedBoomerang.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/WeightedForwardQuery.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/WeightedForwardQuery.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/WholeProgramBoomerang.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/WholeProgramBoomerang.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/arrays/ArrayHandlingStrategy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/arrays/ArrayHandlingStrategy.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/arrays/ArrayIndexInsensitiveStrategy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/arrays/ArrayIndexInsensitiveStrategy.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/arrays/ArrayIndexSensitiveStrategy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/arrays/ArrayIndexSensitiveStrategy.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/arrays/IgnoreArrayStrategy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/arrays/IgnoreArrayStrategy.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/callgraph/BackwardsObservableICFG.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/callgraph/BackwardsObservableICFG.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/callgraph/BoomerangResolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/callgraph/BoomerangResolver.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/callgraph/CallGraphOptions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/callgraph/CallGraphOptions.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/callgraph/CalleeListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/callgraph/CalleeListener.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/callgraph/CallerListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/callgraph/CallerListener.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/callgraph/ICallerCalleeResolutionStrategy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/callgraph/ICallerCalleeResolutionStrategy.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/callgraph/ObservableDynamicICFG.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/callgraph/ObservableDynamicICFG.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/callgraph/ObservableICFG.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/callgraph/ObservableICFG.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/callgraph/ObservableStaticICFG.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/callgraph/ObservableStaticICFG.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/controlflowgraph/DynamicCFG.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/controlflowgraph/DynamicCFG.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/controlflowgraph/ObservableControlFlowGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/controlflowgraph/ObservableControlFlowGraph.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/controlflowgraph/PredecessorListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/controlflowgraph/PredecessorListener.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/controlflowgraph/StaticCFG.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/controlflowgraph/StaticCFG.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/controlflowgraph/SuccessorListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/controlflowgraph/SuccessorListener.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/debugger/CallGraphDebugger.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/debugger/CallGraphDebugger.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/debugger/ConsoleDebugger.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/debugger/ConsoleDebugger.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/debugger/Debugger.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/debugger/Debugger.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/debugger/IDEVizDebugger.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/debugger/IDEVizDebugger.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/flowfunction/DefaultBackwardFlowFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/flowfunction/DefaultBackwardFlowFunction.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/flowfunction/DefaultFlowFunctionFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/flowfunction/DefaultFlowFunctionFactory.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/flowfunction/DefaultForwardFlowFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/flowfunction/DefaultForwardFlowFunction.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/flowfunction/FlowFunctionOptions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/flowfunction/FlowFunctionOptions.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/flowfunction/FlowFunctionUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/flowfunction/FlowFunctionUtils.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/flowfunction/IBackwardFlowFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/flowfunction/IBackwardFlowFunction.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/flowfunction/IFlowFunctionFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/flowfunction/IFlowFunctionFactory.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/flowfunction/IForwardFlowFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/flowfunction/IForwardFlowFunction.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/guided/DemandDrivenGuidedAnalysis.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/guided/DemandDrivenGuidedAnalysis.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/guided/IDemandDrivenGuidedManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/guided/IDemandDrivenGuidedManager.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/guided/SimpleSpecificationGuidedManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/guided/SimpleSpecificationGuidedManager.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/guided/Specification.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/guided/Specification.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/options/BoomerangOptions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/options/BoomerangOptions.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/options/DefaultAllocationSite.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/options/DefaultAllocationSite.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/options/IAllocationSite.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/options/IAllocationSite.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/options/IntAndStringAllocationSite.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/options/IntAndStringAllocationSite.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/pathtracking/DataFlowPathWeight.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/pathtracking/DataFlowPathWeight.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/pathtracking/DataFlowPathWeightImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/pathtracking/DataFlowPathWeightImpl.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/pathtracking/DataFlowPathWeightOne.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/pathtracking/DataFlowPathWeightOne.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/pathtracking/PathConditionWeight.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/pathtracking/PathConditionWeight.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/pathtracking/PathConditionWeightImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/pathtracking/PathConditionWeightImpl.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/pathtracking/PathConditionWeightOne.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/pathtracking/PathConditionWeightOne.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/pathtracking/PathTrackingBoomerang.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/pathtracking/PathTrackingBoomerang.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/pathtracking/PathTrackingBoomerangOptions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/pathtracking/PathTrackingBoomerangOptions.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/pathtracking/PathTrackingWeight.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/pathtracking/PathTrackingWeight.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/pathtracking/PathTrackingWeightFunctions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/pathtracking/PathTrackingWeightFunctions.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/pathtracking/PathTrackingWeightImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/pathtracking/PathTrackingWeightImpl.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/pathtracking/PathTrackingWeightOne.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/pathtracking/PathTrackingWeightOne.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/poi/AbstractPOI.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/poi/AbstractPOI.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/poi/CopyAccessPathChain.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/poi/CopyAccessPathChain.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/poi/ExecuteImportFieldStmtPOI.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/poi/ExecuteImportFieldStmtPOI.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/poi/PointOfIndirection.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/poi/PointOfIndirection.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/results/AbstractBoomerangResults.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/results/AbstractBoomerangResults.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/results/AffectedLocation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/results/AffectedLocation.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/results/BackwardBoomerangResults.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/results/BackwardBoomerangResults.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/results/ExtractAllAliasListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/results/ExtractAllAliasListener.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/results/ExtractAllocationSiteStateListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/results/ExtractAllocationSiteStateListener.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/results/ForwardBoomerangResults.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/results/ForwardBoomerangResults.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/results/NullPointerDereference.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/results/NullPointerDereference.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/results/PathElement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/results/PathElement.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/results/QueryResults.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/results/QueryResults.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/scope/AccessPathParser.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/scope/AccessPathParser.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/scope/AnalysisScope.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/scope/AnalysisScope.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/solver/AbstractBoomerangSolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/solver/AbstractBoomerangSolver.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/solver/AllocationTypeListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/solver/AllocationTypeListener.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/solver/BackwardBoomerangSolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/solver/BackwardBoomerangSolver.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/solver/ForwardBoomerangSolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/solver/ForwardBoomerangSolver.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/solver/ReachableMethodListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/solver/ReachableMethodListener.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/solver/Strategies.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/solver/Strategies.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/staticfields/IgnoreStaticFieldStrategy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/staticfields/IgnoreStaticFieldStrategy.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/staticfields/StaticFieldHandlingStrategy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/staticfields/StaticFieldHandlingStrategy.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/stats/AdvancedBoomerangStats.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/stats/AdvancedBoomerangStats.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/stats/CSVBoomerangStatsWriter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/stats/CSVBoomerangStatsWriter.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/stats/IBoomerangStats.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/stats/IBoomerangStats.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/stats/SimpleBoomerangStats.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/stats/SimpleBoomerangStats.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/util/AccessPath.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/util/AccessPath.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/util/DefaultValueMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/util/DefaultValueMap.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/util/RegExAccessPath.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/util/RegExAccessPath.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/weights/MinDistanceWeight.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/weights/MinDistanceWeight.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/weights/MinDistanceWeightFunctions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/weights/MinDistanceWeightFunctions.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/weights/MinDistanceWeightImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/weights/MinDistanceWeightImpl.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/java/boomerang/weights/MinDistanceWeightOne.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/java/boomerang/weights/MinDistanceWeightOne.java -------------------------------------------------------------------------------- /boomerangPDS/src/main/resources/log4j.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/resources/log4j.properties -------------------------------------------------------------------------------- /boomerangPDS/src/main/resources/simplelogger.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/main/resources/simplelogger.properties -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/boomerang/guided/ArrayContainerCollectionManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/boomerang/guided/ArrayContainerCollectionManager.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/boomerang/guided/CustomFlowFunctionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/boomerang/guided/CustomFlowFunctionTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/boomerang/guided/DemandDrivenGuidedAnalysisTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/boomerang/guided/DemandDrivenGuidedAnalysisTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/boomerang/guided/SpecificationParserTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/boomerang/guided/SpecificationParserTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/boomerang/guided/targets/ArrayContainerTarget.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/boomerang/guided/targets/ArrayContainerTarget.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/boomerang/guided/targets/BasicTarget.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/boomerang/guided/targets/BasicTarget.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/boomerang/guided/targets/BranchingTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/boomerang/guided/targets/BranchingTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/boomerang/guided/targets/ContextSensitiveTarget.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/boomerang/guided/targets/ContextSensitiveTarget.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/boomerang/guided/targets/CustomFlowFunctionTarget.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/boomerang/guided/targets/CustomFlowFunctionTarget.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/boomerang/guided/targets/IntegerCastTarget.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/boomerang/guided/targets/IntegerCastTarget.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/boomerang/guided/targets/LeftUnbalancedTarget.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/boomerang/guided/targets/LeftUnbalancedTarget.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/boomerang/guided/targets/NestedContextTarget.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/boomerang/guided/targets/NestedContextTarget.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/boomerang/guided/targets/PingPongTarget.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/boomerang/guided/targets/PingPongTarget.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/boomerang/guided/targets/Query.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/boomerang/guided/targets/Query.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/boomerang/guided/targets/ValueOfTarget.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/boomerang/guided/targets/ValueOfTarget.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/boomerang/guided/targets/WrappedInNewStringTarget.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/boomerang/guided/targets/WrappedInNewStringTarget.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/boomerang/guided/targets/WrappedInStringTwiceTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/boomerang/guided/targets/WrappedInStringTwiceTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/example/ExampleMain1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/example/ExampleMain1.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/example/ExampleMain2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/example/ExampleMain2.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/accesspath/AccessPathTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/accesspath/AccessPathTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/array/ArrayAlloc.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/array/ArrayAlloc.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/array/ArrayContainerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/array/ArrayContainerTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/array/ArrayIndexSensitiveTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/array/ArrayIndexSensitiveTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/array/ArrayTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/array/ArrayTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/basic/BasicAlloc.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/basic/BasicAlloc.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/basic/FieldLessTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/basic/FieldLessTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/basic/InterproceduralTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/basic/InterproceduralTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/basic/UnbalancedInterproceduralTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/basic/UnbalancedInterproceduralTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/bugfixes/issue5/Foo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/bugfixes/issue5/Foo.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/bugfixes/issue5/Issue5Test.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/bugfixes/issue5/Issue5Test.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/bugfixes/issue5/Test.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/bugfixes/issue5/Test.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/callgraph/CallGraphAlloc.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/callgraph/CallGraphAlloc.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/callgraph/ContextSensitivityFieldTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/callgraph/ContextSensitivityFieldTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/callgraph/ContextSensitivityMyListTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/callgraph/ContextSensitivityMyListTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/callgraph/ContextSensitivityTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/callgraph/ContextSensitivityTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/callgraph/ContextSpecificListTypeTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/callgraph/ContextSpecificListTypeTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/context/AliasViaParameterTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/context/AliasViaParameterTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/context/ContextAlloc.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/context/ContextAlloc.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/context/ContextTypesTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/context/ContextTypesTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/context/LoopInContextRequesterTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/context/LoopInContextRequesterTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/context/OuterAllocationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/context/OuterAllocationTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/context/PathingContextProblemTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/context/PathingContextProblemTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/context/SimpleContextQueryTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/context/SimpleContextQueryTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/exceptions/ExceptionAlloc.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/exceptions/ExceptionAlloc.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/exceptions/ExceptionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/exceptions/ExceptionTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/fields/A.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/fields/A.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/fields/B.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/fields/B.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/fields/BasicFieldTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/fields/BasicFieldTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/fields/CallPOITest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/fields/CallPOITest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/fields/CastAndSetTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/fields/CastAndSetTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/fields/FailOnVisitMethodTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/fields/FailOnVisitMethodTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/fields/FieldAlloc.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/fields/FieldAlloc.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/fields/FieldsBranchedTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/fields/FieldsBranchedTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/fields/HiddenFieldLoadTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/fields/HiddenFieldLoadTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/fields/InterproceduralTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/fields/InterproceduralTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/fields/IntraproceduralStrongUpdateTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/fields/IntraproceduralStrongUpdateTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/fields/MeetPOITest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/fields/MeetPOITest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/fields/NoIndirectionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/fields/NoIndirectionTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/fields/NullAllocationConstructorTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/fields/NullAllocationConstructorTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/fields/ObjectSensitivityTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/fields/ObjectSensitivityTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/fields/ReadPOITest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/fields/ReadPOITest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/fields/ReadTwiceSameFieldTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/fields/ReadTwiceSameFieldTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/fields/ReturnPOITest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/fields/ReturnPOITest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/fields/ReuseOfSummaryTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/fields/ReuseOfSummaryTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/fields/SummaryTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/fields/SummaryTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/fields/ThreeFieldsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/fields/ThreeFieldsTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/fields/TypeChangeTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/fields/TypeChangeTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/fields/WritePOITest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/fields/WritePOITest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/fields/complexity/Fields10LongTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/fields/complexity/Fields10LongTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/fields/complexity/Fields20LongTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/fields/complexity/Fields20LongTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/fields/complexity/Fields2LongTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/fields/complexity/Fields2LongTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/fields/complexity/Fields3LongTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/fields/complexity/Fields3LongTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/fields/complexity/Fields4LongTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/fields/complexity/Fields4LongTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/fields/complexity/Fields5LongTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/fields/complexity/Fields5LongTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/fields/complexity/Fields6LongTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/fields/complexity/Fields6LongTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/fields/complexity/Recursion2LongTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/fields/complexity/Recursion2LongTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/fields/loops/LoopsWithFieldsInterTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/fields/loops/LoopsWithFieldsInterTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/fields/loops/LoopsWithFieldsIntraTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/fields/loops/LoopsWithFieldsIntraTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/generics/GenericsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/generics/GenericsTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/hashmap/AllAliasTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/hashmap/AllAliasTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/hashmap/Entry.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/hashmap/Entry.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/hashmap/KeySensitiveTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/hashmap/KeySensitiveTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/hashmap/MapAlloc.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/hashmap/MapAlloc.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/hashmap/Node.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/hashmap/Node.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/hashmap/TreeNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/hashmap/TreeNode.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/integers/IntTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/integers/IntTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/lists/ArrayAndLinkedListsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/lists/ArrayAndLinkedListsTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/lists/ArrayListsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/lists/ArrayListsTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/lists/LinkedListsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/lists/LinkedListsTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/lists/LinkedListsTypeTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/lists/LinkedListsTypeTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/lists/ListAlloc.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/lists/ListAlloc.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/lists/VectorsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/lists/VectorsTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/multiqueries/MultiQueryTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/multiqueries/MultiQueryTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/realworld/FixAfterInsertion.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/realworld/FixAfterInsertion.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/realworld/FixAfterInsertionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/realworld/FixAfterInsertionTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/reflection/ReflectionAlloc.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/reflection/ReflectionAlloc.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/reflection/ReflectionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/reflection/ReflectionTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/sets/CustomMapTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/sets/CustomMapTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/sets/CustomSetTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/sets/CustomSetTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/sets/HashMapGetTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/sets/HashMapGetTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/sets/HashMapsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/sets/HashMapsTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/sets/HashSetsLongTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/sets/HashSetsLongTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/sets/MyInnerMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/sets/MyInnerMap.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/sets/MyMap.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/sets/MyMap.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/sets/SetAlloc.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/sets/SetAlloc.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/sets/TreeMapMultipleInstancesTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/sets/TreeMapMultipleInstancesTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/sets/TreeMapTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/sets/TreeMapTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/sets/TreeSetsLongTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/sets/TreeSetsLongTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/statics/SimpleSingletonTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/statics/SimpleSingletonTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/statics/SingletonTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/statics/SingletonTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/statics/StaticFieldFlowsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/statics/StaticFieldFlowsTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/statics/StaticInitializerTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/statics/StaticInitializerTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/statics/StaticWithSuperClassesTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/statics/StaticWithSuperClassesTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/statics/StaticsAlloc.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/statics/StaticsAlloc.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/string/StringTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/string/StringTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/subclassing/InnerClass2Test.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/subclassing/InnerClass2Test.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/subclassing/InnerClassTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/subclassing/InnerClassTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/subclassing/SubclassingAlloc.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/subclassing/SubclassingAlloc.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/subclassing/SubclassingTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/subclassing/SubclassingTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/synchronizd/BlockTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/synchronizd/BlockTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/synchronizd/SynchronizedAlloc.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/synchronizd/SynchronizedAlloc.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/threading/InnerClassWithThreadTarget.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/threading/InnerClassWithThreadTarget.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/threading/InnerClassWithThreadTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/threading/InnerClassWithThreadTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/threading/ThreadingAlloc.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/threading/ThreadingAlloc.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/typing/InterfaceInvocationTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/typing/InterfaceInvocationTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/typing/TypeConfusionTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/typing/TypeConfusionTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/unbalanced/UnbalancedAlloc.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/unbalanced/UnbalancedAlloc.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/cases/unbalanced/UnbalancedScopesTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/cases/unbalanced/UnbalancedScopesTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/core/AllocationSiteOf.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/core/AllocationSiteOf.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/core/BoomerangTestRunnerInterceptor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/core/BoomerangTestRunnerInterceptor.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/core/BoomerangTestingFramework.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/core/BoomerangTestingFramework.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/core/FirstArgumentOf.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/core/FirstArgumentOf.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/core/IntegerAllocationSiteOf.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/core/IntegerAllocationSiteOf.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/core/MultiQueryBoomerangTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/core/MultiQueryBoomerangTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/core/MultiQueryTestRunnerInterceptor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/core/MultiQueryTestRunnerInterceptor.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/core/PreAnalysis.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/core/PreAnalysis.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/core/QueryForCallSiteDetector.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/core/QueryForCallSiteDetector.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/core/QueryMethods.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/core/QueryMethods.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/core/TestConfig.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/core/TestConfig.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/core/TestParameters.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/core/TestParameters.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/core/ValueOfInterestInUnit.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/core/ValueOfInterestInUnit.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/options/AssertionsExtraction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/options/AssertionsExtraction.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/options/OptionAssertions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/options/OptionAssertions.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/options/OptionsTestInterceptor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/options/OptionsTestInterceptor.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/options/OptionsTestingFramework.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/options/OptionsTestingFramework.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/options/TestOptions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/options/TestOptions.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/options/boomerang/ArrayStrategyTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/options/boomerang/ArrayStrategyTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/options/boomerang/BoomerangOptionsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/options/boomerang/BoomerangOptionsTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/options/boomerang/CallSummaryTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/options/boomerang/CallSummaryTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/options/boomerang/ContextSensitivityTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/options/boomerang/ContextSensitivityTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/options/boomerang/FieldSensitivityTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/options/boomerang/FieldSensitivityTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/options/boomerang/FieldSummaryTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/options/boomerang/FieldSummaryTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/options/boomerang/MaxCallDepthTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/options/boomerang/MaxCallDepthTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/options/boomerang/MaxFieldDepthTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/options/boomerang/MaxFieldDepthTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/options/boomerang/StaticFieldStrategyTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/options/boomerang/StaticFieldStrategyTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/options/boomerang/TimeoutTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/options/boomerang/TimeoutTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/options/flowfunctions/FlowFunctionFactoryTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/options/flowfunctions/FlowFunctionFactoryTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/options/flowfunctions/FlowFunctionOptionsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/options/flowfunctions/FlowFunctionOptionsTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/java/test/options/flowfunctions/TrackFieldsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/java/test/options/flowfunctions/TrackFieldsTest.java -------------------------------------------------------------------------------- /boomerangPDS/src/test/resources/Test.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/resources/Test.jar -------------------------------------------------------------------------------- /boomerangPDS/src/test/resources/specification.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/src/test/resources/specification.txt -------------------------------------------------------------------------------- /boomerangPDS/visualization/data.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/data.js -------------------------------------------------------------------------------- /boomerangPDS/visualization/example.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/example.png -------------------------------------------------------------------------------- /boomerangPDS/visualization/example2.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/example2.png -------------------------------------------------------------------------------- /boomerangPDS/visualization/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/index.html -------------------------------------------------------------------------------- /boomerangPDS/visualization/libs/cytoscape-dagre.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/libs/cytoscape-dagre.js -------------------------------------------------------------------------------- /boomerangPDS/visualization/libs/cytoscape.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/libs/cytoscape.js -------------------------------------------------------------------------------- /boomerangPDS/visualization/libs/dagre.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/libs/dagre.min.js -------------------------------------------------------------------------------- /boomerangPDS/visualization/libs/jquery-3.1.1.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/libs/jquery-3.1.1.min.js -------------------------------------------------------------------------------- /boomerangPDS/visualization/style.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/style.css -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/fonts/PTS-bold.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/fonts/PTS-bold.woff -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/fonts/PTS-webfont.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/fonts/PTS-webfont.woff -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/fonts/font-license.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/fonts/font-license.txt -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/fonts/fontawesome-webfont.eot: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/fonts/fontawesome-webfont.eot -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/fonts/fontawesome-webfont.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/fonts/fontawesome-webfont.svg -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/fonts/fontawesome-webfont.ttf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/fonts/fontawesome-webfont.ttf -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/fonts/fontawesome-webfont.woff: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/fonts/fontawesome-webfont.woff -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/i18n/be.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/i18n/be.js -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/i18n/de.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/i18n/de.js -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/i18n/en.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/i18n/en.js -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/i18n/es.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/i18n/es.js -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/i18n/fr.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/i18n/fr.js -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/i18n/it.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/i18n/it.js -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/i18n/ja.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/i18n/ja.js -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/i18n/pt.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/i18n/pt.js -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/i18n/ru.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/i18n/ru.js -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/i18n/zh.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/i18n/zh.js -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/legacy/excanvas/AUTHORS.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/legacy/excanvas/AUTHORS.txt -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/legacy/excanvas/COPYING.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/legacy/excanvas/COPYING.txt -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/legacy/excanvas/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/legacy/excanvas/README.txt -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/legacy/excanvas/excanvas.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/legacy/excanvas/excanvas.js -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/legacy/swfobject.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/legacy/swfobject.js -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/legacy/uploader.swf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/legacy/uploader.swf -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/skins/air.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/skins/air.css -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/skins/aircompact.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/skins/aircompact.css -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/skins/clouds.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/skins/clouds.css -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/skins/compact.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/skins/compact.css -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/skins/contrast.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/skins/contrast.css -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/skins/debug/air.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/skins/debug/air.css -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/skins/debug/aircompact.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/skins/debug/aircompact.css -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/skins/debug/clouds.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/skins/debug/clouds.css -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/skins/debug/compact.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/skins/debug/compact.css -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/skins/debug/contrast.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/skins/debug/contrast.css -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/skins/debug/flat.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/skins/debug/flat.css -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/skins/debug/glamour.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/skins/debug/glamour.css -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/skins/debug/light.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/skins/debug/light.css -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/skins/debug/metro.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/skins/debug/metro.css -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/skins/debug/terrace.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/skins/debug/terrace.css -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/skins/debug/touch.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/skins/debug/touch.css -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/skins/debug/web.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/skins/debug/web.css -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/skins/flat.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/skins/flat.css -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/skins/glamour.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/skins/glamour.css -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/skins/light.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/skins/light.css -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/skins/metro.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/skins/metro.css -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/skins/terrace.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/skins/terrace.css -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/skins/touch.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/skins/touch.css -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/skins/web.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/skins/web.css -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/webix.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/webix.css -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/webix.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/webix.js -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/webix.js.map: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/webix.js.map -------------------------------------------------------------------------------- /boomerangPDS/visualization/webix/codebase/webix_debug.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangPDS/visualization/webix/codebase/webix_debug.js -------------------------------------------------------------------------------- /boomerangScope-Opal/.gitignore: -------------------------------------------------------------------------------- 1 | /target/ 2 | .bsp 3 | /project/ 4 | -------------------------------------------------------------------------------- /boomerangScope-Opal/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-Opal/pom.xml -------------------------------------------------------------------------------- /boomerangScope-Opal/src/main/scala/boomerang/scope/opal/OpalCallGraph.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-Opal/src/main/scala/boomerang/scope/opal/OpalCallGraph.scala -------------------------------------------------------------------------------- /boomerangScope-Opal/src/main/scala/boomerang/scope/opal/OpalFrameworkScope.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-Opal/src/main/scala/boomerang/scope/opal/OpalFrameworkScope.scala -------------------------------------------------------------------------------- /boomerangScope-Opal/src/main/scala/boomerang/scope/opal/OpalScopeConverter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-Opal/src/main/scala/boomerang/scope/opal/OpalScopeConverter.scala -------------------------------------------------------------------------------- /boomerangScope-Opal/src/main/scala/boomerang/scope/opal/tac/OpalArrayRef.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-Opal/src/main/scala/boomerang/scope/opal/tac/OpalArrayRef.scala -------------------------------------------------------------------------------- /boomerangScope-Opal/src/main/scala/boomerang/scope/opal/tac/OpalDoubleVal.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-Opal/src/main/scala/boomerang/scope/opal/tac/OpalDoubleVal.scala -------------------------------------------------------------------------------- /boomerangScope-Opal/src/main/scala/boomerang/scope/opal/tac/OpalField.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-Opal/src/main/scala/boomerang/scope/opal/tac/OpalField.scala -------------------------------------------------------------------------------- /boomerangScope-Opal/src/main/scala/boomerang/scope/opal/tac/OpalIfStatement.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-Opal/src/main/scala/boomerang/scope/opal/tac/OpalIfStatement.scala -------------------------------------------------------------------------------- /boomerangScope-Opal/src/main/scala/boomerang/scope/opal/tac/OpalInvokeExpr.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-Opal/src/main/scala/boomerang/scope/opal/tac/OpalInvokeExpr.scala -------------------------------------------------------------------------------- /boomerangScope-Opal/src/main/scala/boomerang/scope/opal/tac/OpalMethod.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-Opal/src/main/scala/boomerang/scope/opal/tac/OpalMethod.scala -------------------------------------------------------------------------------- /boomerangScope-Opal/src/main/scala/boomerang/scope/opal/tac/OpalNullType.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-Opal/src/main/scala/boomerang/scope/opal/tac/OpalNullType.scala -------------------------------------------------------------------------------- /boomerangScope-Opal/src/main/scala/boomerang/scope/opal/tac/OpalStatement.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-Opal/src/main/scala/boomerang/scope/opal/tac/OpalStatement.scala -------------------------------------------------------------------------------- /boomerangScope-Opal/src/main/scala/boomerang/scope/opal/tac/OpalType.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-Opal/src/main/scala/boomerang/scope/opal/tac/OpalType.scala -------------------------------------------------------------------------------- /boomerangScope-Opal/src/main/scala/boomerang/scope/opal/tac/OpalVal.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-Opal/src/main/scala/boomerang/scope/opal/tac/OpalVal.scala -------------------------------------------------------------------------------- /boomerangScope-Opal/src/main/scala/boomerang/scope/opal/tac/OpalWrappedClass.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-Opal/src/main/scala/boomerang/scope/opal/tac/OpalWrappedClass.scala -------------------------------------------------------------------------------- /boomerangScope-Opal/src/test/scala/boomerang/scope/opal/OpalArrayTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-Opal/src/test/scala/boomerang/scope/opal/OpalArrayTest.scala -------------------------------------------------------------------------------- /boomerangScope-Opal/src/test/scala/boomerang/scope/opal/OpalAssignmentTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-Opal/src/test/scala/boomerang/scope/opal/OpalAssignmentTest.scala -------------------------------------------------------------------------------- /boomerangScope-Opal/src/test/scala/boomerang/scope/opal/OpalFieldTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-Opal/src/test/scala/boomerang/scope/opal/OpalFieldTest.scala -------------------------------------------------------------------------------- /boomerangScope-Opal/src/test/scala/boomerang/scope/opal/OpalInvokeExprTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-Opal/src/test/scala/boomerang/scope/opal/OpalInvokeExprTest.scala -------------------------------------------------------------------------------- /boomerangScope-Opal/src/test/scala/boomerang/scope/opal/OpalLocalTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-Opal/src/test/scala/boomerang/scope/opal/OpalLocalTest.scala -------------------------------------------------------------------------------- /boomerangScope-Opal/src/test/scala/boomerang/scope/opal/OpalScopeTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-Opal/src/test/scala/boomerang/scope/opal/OpalScopeTest.scala -------------------------------------------------------------------------------- /boomerangScope-Opal/src/test/scala/boomerang/scope/opal/OpalSetup.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-Opal/src/test/scala/boomerang/scope/opal/OpalSetup.scala -------------------------------------------------------------------------------- /boomerangScope-Opal/src/test/scala/boomerang/scope/opal/OpalWrappedClassTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-Opal/src/test/scala/boomerang/scope/opal/OpalWrappedClassTest.scala -------------------------------------------------------------------------------- /boomerangScope-Opal/src/test/scala/boomerang/scope/opal/TacBodyBuilderTest.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-Opal/src/test/scala/boomerang/scope/opal/TacBodyBuilderTest.scala -------------------------------------------------------------------------------- /boomerangScope-Soot/.gitignore: -------------------------------------------------------------------------------- 1 | /target/ 2 | /bin/ 3 | -------------------------------------------------------------------------------- /boomerangScope-Soot/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-Soot/LICENSE.txt -------------------------------------------------------------------------------- /boomerangScope-Soot/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-Soot/pom.xml -------------------------------------------------------------------------------- /boomerangScope-Soot/src/main/java/boomerang/scope/soot/SootCallGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-Soot/src/main/java/boomerang/scope/soot/SootCallGraph.java -------------------------------------------------------------------------------- /boomerangScope-Soot/src/main/java/boomerang/scope/soot/SootFrameworkScope.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-Soot/src/main/java/boomerang/scope/soot/SootFrameworkScope.java -------------------------------------------------------------------------------- /boomerangScope-Soot/src/main/java/boomerang/scope/soot/SootScopeConverter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-Soot/src/main/java/boomerang/scope/soot/SootScopeConverter.java -------------------------------------------------------------------------------- /boomerangScope-Soot/src/main/java/boomerang/scope/soot/jimple/JimpleArrayRef.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-Soot/src/main/java/boomerang/scope/soot/jimple/JimpleArrayRef.java -------------------------------------------------------------------------------- /boomerangScope-Soot/src/main/java/boomerang/scope/soot/jimple/JimpleDoubleVal.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-Soot/src/main/java/boomerang/scope/soot/jimple/JimpleDoubleVal.java -------------------------------------------------------------------------------- /boomerangScope-Soot/src/main/java/boomerang/scope/soot/jimple/JimpleField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-Soot/src/main/java/boomerang/scope/soot/jimple/JimpleField.java -------------------------------------------------------------------------------- /boomerangScope-Soot/src/main/java/boomerang/scope/soot/jimple/JimpleMethod.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-Soot/src/main/java/boomerang/scope/soot/jimple/JimpleMethod.java -------------------------------------------------------------------------------- /boomerangScope-Soot/src/main/java/boomerang/scope/soot/jimple/JimpleStatement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-Soot/src/main/java/boomerang/scope/soot/jimple/JimpleStatement.java -------------------------------------------------------------------------------- /boomerangScope-Soot/src/main/java/boomerang/scope/soot/jimple/JimpleType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-Soot/src/main/java/boomerang/scope/soot/jimple/JimpleType.java -------------------------------------------------------------------------------- /boomerangScope-Soot/src/main/java/boomerang/scope/soot/jimple/JimpleVal.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-Soot/src/main/java/boomerang/scope/soot/jimple/JimpleVal.java -------------------------------------------------------------------------------- /boomerangScope-Soot/src/main/java/boomerang/scope/soot/sparse/SootAdapter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-Soot/src/main/java/boomerang/scope/soot/sparse/SootAdapter.java -------------------------------------------------------------------------------- /boomerangScope-Soot/src/test/java/boomerang/scope/soot/SootArrayTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-Soot/src/test/java/boomerang/scope/soot/SootArrayTest.java -------------------------------------------------------------------------------- /boomerangScope-Soot/src/test/java/boomerang/scope/soot/SootLocalTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-Soot/src/test/java/boomerang/scope/soot/SootLocalTest.java -------------------------------------------------------------------------------- /boomerangScope-Soot/src/test/java/boomerang/scope/soot/SootScopeTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-Soot/src/test/java/boomerang/scope/soot/SootScopeTest.java -------------------------------------------------------------------------------- /boomerangScope-Soot/src/test/java/boomerang/scope/soot/SootSetup.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-Soot/src/test/java/boomerang/scope/soot/SootSetup.java -------------------------------------------------------------------------------- /boomerangScope-SootUp/.gitignore: -------------------------------------------------------------------------------- 1 | /target/ 2 | /bin/ 3 | -------------------------------------------------------------------------------- /boomerangScope-SootUp/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-SootUp/LICENSE.txt -------------------------------------------------------------------------------- /boomerangScope-SootUp/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-SootUp/pom.xml -------------------------------------------------------------------------------- /boomerangScope-SootUp/src/main/java/boomerang/scope/sootup/SootUpCallGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-SootUp/src/main/java/boomerang/scope/sootup/SootUpCallGraph.java -------------------------------------------------------------------------------- /boomerangScope-SootUp/src/main/java/boomerang/scope/sootup/jimple/JimpleUpVal.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-SootUp/src/main/java/boomerang/scope/sootup/jimple/JimpleUpVal.java -------------------------------------------------------------------------------- /boomerangScope-SootUp/src/main/java/sootup/ScopedAnalysisInputLocation.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-SootUp/src/main/java/sootup/ScopedAnalysisInputLocation.java -------------------------------------------------------------------------------- /boomerangScope-SootUp/src/test/java/boomerang/scope/sootup/SootUpScopeTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-SootUp/src/test/java/boomerang/scope/sootup/SootUpScopeTest.java -------------------------------------------------------------------------------- /boomerangScope-SootUp/src/test/java/boomerang/scope/sootup/SootUpSetup.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-SootUp/src/test/java/boomerang/scope/sootup/SootUpSetup.java -------------------------------------------------------------------------------- /boomerangScope-WALA/.gitignore: -------------------------------------------------------------------------------- 1 | /target/ 2 | /bin/ 3 | -------------------------------------------------------------------------------- /boomerangScope-WALA/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-WALA/LICENSE.txt -------------------------------------------------------------------------------- /boomerangScope-WALA/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-WALA/README.md -------------------------------------------------------------------------------- /boomerangScope-WALA/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-WALA/pom.xml -------------------------------------------------------------------------------- /boomerangScope-WALA/src/main/java/boomerang/scope/wala/WALACallGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-WALA/src/main/java/boomerang/scope/wala/WALACallGraph.java -------------------------------------------------------------------------------- /boomerangScope-WALA/src/main/java/boomerang/scope/wala/WALAClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-WALA/src/main/java/boomerang/scope/wala/WALAClass.java -------------------------------------------------------------------------------- /boomerangScope-WALA/src/main/java/boomerang/scope/wala/WALAControlFlowGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-WALA/src/main/java/boomerang/scope/wala/WALAControlFlowGraph.java -------------------------------------------------------------------------------- /boomerangScope-WALA/src/main/java/boomerang/scope/wala/WALADataFlowScope.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-WALA/src/main/java/boomerang/scope/wala/WALADataFlowScope.java -------------------------------------------------------------------------------- /boomerangScope-WALA/src/main/java/boomerang/scope/wala/WALADeclaredMethod.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-WALA/src/main/java/boomerang/scope/wala/WALADeclaredMethod.java -------------------------------------------------------------------------------- /boomerangScope-WALA/src/main/java/boomerang/scope/wala/WALADummyNullStatement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-WALA/src/main/java/boomerang/scope/wala/WALADummyNullStatement.java -------------------------------------------------------------------------------- /boomerangScope-WALA/src/main/java/boomerang/scope/wala/WALADummyVal.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-WALA/src/main/java/boomerang/scope/wala/WALADummyVal.java -------------------------------------------------------------------------------- /boomerangScope-WALA/src/main/java/boomerang/scope/wala/WALAField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-WALA/src/main/java/boomerang/scope/wala/WALAField.java -------------------------------------------------------------------------------- /boomerangScope-WALA/src/main/java/boomerang/scope/wala/WALAIfStatement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-WALA/src/main/java/boomerang/scope/wala/WALAIfStatement.java -------------------------------------------------------------------------------- /boomerangScope-WALA/src/main/java/boomerang/scope/wala/WALAInvokeExpr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-WALA/src/main/java/boomerang/scope/wala/WALAInvokeExpr.java -------------------------------------------------------------------------------- /boomerangScope-WALA/src/main/java/boomerang/scope/wala/WALAMethod.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-WALA/src/main/java/boomerang/scope/wala/WALAMethod.java -------------------------------------------------------------------------------- /boomerangScope-WALA/src/main/java/boomerang/scope/wala/WALAStatement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-WALA/src/main/java/boomerang/scope/wala/WALAStatement.java -------------------------------------------------------------------------------- /boomerangScope-WALA/src/main/java/boomerang/scope/wala/WALAType.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-WALA/src/main/java/boomerang/scope/wala/WALAType.java -------------------------------------------------------------------------------- /boomerangScope-WALA/src/main/java/boomerang/scope/wala/WALAVal.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-WALA/src/main/java/boomerang/scope/wala/WALAVal.java -------------------------------------------------------------------------------- /boomerangScope-WALA/src/main/java/boomerang/scope/wala/WalaFrameworkScope.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-WALA/src/main/java/boomerang/scope/wala/WalaFrameworkScope.java -------------------------------------------------------------------------------- /boomerangScope-WALA/src/test/resources/exclusion.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-WALA/src/test/resources/exclusion.txt -------------------------------------------------------------------------------- /boomerangScope-WALA/src/test/resources/testScope.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope-WALA/src/test/resources/testScope.txt -------------------------------------------------------------------------------- /boomerangScope/.gitignore: -------------------------------------------------------------------------------- 1 | /target/ 2 | /bin/ 3 | -------------------------------------------------------------------------------- /boomerangScope/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/LICENSE.txt -------------------------------------------------------------------------------- /boomerangScope/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/pom.xml -------------------------------------------------------------------------------- /boomerangScope/src/main/java/boomerang/scope/AllocVal.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/main/java/boomerang/scope/AllocVal.java -------------------------------------------------------------------------------- /boomerangScope/src/main/java/boomerang/scope/ArrayVal.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/main/java/boomerang/scope/ArrayVal.java -------------------------------------------------------------------------------- /boomerangScope/src/main/java/boomerang/scope/CallGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/main/java/boomerang/scope/CallGraph.java -------------------------------------------------------------------------------- /boomerangScope/src/main/java/boomerang/scope/ControlFlowGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/main/java/boomerang/scope/ControlFlowGraph.java -------------------------------------------------------------------------------- /boomerangScope/src/main/java/boomerang/scope/DataFlowScope.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/main/java/boomerang/scope/DataFlowScope.java -------------------------------------------------------------------------------- /boomerangScope/src/main/java/boomerang/scope/DeclaredMethod.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/main/java/boomerang/scope/DeclaredMethod.java -------------------------------------------------------------------------------- /boomerangScope/src/main/java/boomerang/scope/DefinedMethod.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/main/java/boomerang/scope/DefinedMethod.java -------------------------------------------------------------------------------- /boomerangScope/src/main/java/boomerang/scope/EpsilonStatement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/main/java/boomerang/scope/EpsilonStatement.java -------------------------------------------------------------------------------- /boomerangScope/src/main/java/boomerang/scope/Field.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/main/java/boomerang/scope/Field.java -------------------------------------------------------------------------------- /boomerangScope/src/main/java/boomerang/scope/FrameworkScope.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/main/java/boomerang/scope/FrameworkScope.java -------------------------------------------------------------------------------- /boomerangScope/src/main/java/boomerang/scope/IArrayRef.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/main/java/boomerang/scope/IArrayRef.java -------------------------------------------------------------------------------- /boomerangScope/src/main/java/boomerang/scope/IInstanceFieldRef.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/main/java/boomerang/scope/IInstanceFieldRef.java -------------------------------------------------------------------------------- /boomerangScope/src/main/java/boomerang/scope/IStaticFieldRef.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/main/java/boomerang/scope/IStaticFieldRef.java -------------------------------------------------------------------------------- /boomerangScope/src/main/java/boomerang/scope/IfStatement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/main/java/boomerang/scope/IfStatement.java -------------------------------------------------------------------------------- /boomerangScope/src/main/java/boomerang/scope/InstanceFieldVal.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/main/java/boomerang/scope/InstanceFieldVal.java -------------------------------------------------------------------------------- /boomerangScope/src/main/java/boomerang/scope/InvokeExpr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/main/java/boomerang/scope/InvokeExpr.java -------------------------------------------------------------------------------- /boomerangScope/src/main/java/boomerang/scope/Method.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/main/java/boomerang/scope/Method.java -------------------------------------------------------------------------------- /boomerangScope/src/main/java/boomerang/scope/Pair.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/main/java/boomerang/scope/Pair.java -------------------------------------------------------------------------------- /boomerangScope/src/main/java/boomerang/scope/PhantomMethod.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/main/java/boomerang/scope/PhantomMethod.java -------------------------------------------------------------------------------- /boomerangScope/src/main/java/boomerang/scope/Statement.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/main/java/boomerang/scope/Statement.java -------------------------------------------------------------------------------- /boomerangScope/src/main/java/boomerang/scope/StaticFieldVal.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/main/java/boomerang/scope/StaticFieldVal.java -------------------------------------------------------------------------------- /boomerangScope/src/main/java/boomerang/scope/Type.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/main/java/boomerang/scope/Type.java -------------------------------------------------------------------------------- /boomerangScope/src/main/java/boomerang/scope/Val.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/main/java/boomerang/scope/Val.java -------------------------------------------------------------------------------- /boomerangScope/src/main/java/boomerang/scope/ValCollection.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/main/java/boomerang/scope/ValCollection.java -------------------------------------------------------------------------------- /boomerangScope/src/main/java/boomerang/scope/ValWithFalseVariable.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/main/java/boomerang/scope/ValWithFalseVariable.java -------------------------------------------------------------------------------- /boomerangScope/src/main/java/boomerang/scope/WrappedClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/main/java/boomerang/scope/WrappedClass.java -------------------------------------------------------------------------------- /boomerangScope/src/main/java/boomerang/scope/fields/ArrayField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/main/java/boomerang/scope/fields/ArrayField.java -------------------------------------------------------------------------------- /boomerangScope/src/main/java/boomerang/scope/fields/EmptyField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/main/java/boomerang/scope/fields/EmptyField.java -------------------------------------------------------------------------------- /boomerangScope/src/main/java/boomerang/scope/fields/EpsilonField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/main/java/boomerang/scope/fields/EpsilonField.java -------------------------------------------------------------------------------- /boomerangScope/src/main/java/boomerang/scope/fields/ExclusionWildcardField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/main/java/boomerang/scope/fields/ExclusionWildcardField.java -------------------------------------------------------------------------------- /boomerangScope/src/main/java/boomerang/scope/fields/PredefinedField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/main/java/boomerang/scope/fields/PredefinedField.java -------------------------------------------------------------------------------- /boomerangScope/src/main/java/boomerang/scope/fields/StringBasedField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/main/java/boomerang/scope/fields/StringBasedField.java -------------------------------------------------------------------------------- /boomerangScope/src/main/java/boomerang/scope/fields/WildcardField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/main/java/boomerang/scope/fields/WildcardField.java -------------------------------------------------------------------------------- /boomerangScope/src/main/java/boomerang/utils/MethodWrapper.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/main/java/boomerang/utils/MethodWrapper.java -------------------------------------------------------------------------------- /boomerangScope/src/main/java/sparse/SparseAliasingCFG.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/main/java/sparse/SparseAliasingCFG.java -------------------------------------------------------------------------------- /boomerangScope/src/main/java/sparse/SparseCFGCache.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/main/java/sparse/SparseCFGCache.java -------------------------------------------------------------------------------- /boomerangScope/src/main/java/sparse/SparsificationStrategy.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/main/java/sparse/SparsificationStrategy.java -------------------------------------------------------------------------------- /boomerangScope/src/main/java/sparse/eval/EvalPrinter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/main/java/sparse/eval/EvalPrinter.java -------------------------------------------------------------------------------- /boomerangScope/src/main/java/sparse/eval/PropagationCounter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/main/java/sparse/eval/PropagationCounter.java -------------------------------------------------------------------------------- /boomerangScope/src/main/java/sparse/eval/SparseCFGQueryLog.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/main/java/sparse/eval/SparseCFGQueryLog.java -------------------------------------------------------------------------------- /boomerangScope/src/test/java/boomerang/scope/test/BoomerangScopeTests.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/test/java/boomerang/scope/test/BoomerangScopeTests.java -------------------------------------------------------------------------------- /boomerangScope/src/test/java/boomerang/scope/test/MethodSignature.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/test/java/boomerang/scope/test/MethodSignature.java -------------------------------------------------------------------------------- /boomerangScope/src/test/java/boomerang/scope/test/TargetClassPath.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/test/java/boomerang/scope/test/TargetClassPath.java -------------------------------------------------------------------------------- /boomerangScope/src/test/java/boomerang/scope/test/targets/A.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/test/java/boomerang/scope/test/targets/A.java -------------------------------------------------------------------------------- /boomerangScope/src/test/java/boomerang/scope/test/targets/AbstractClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/test/java/boomerang/scope/test/targets/AbstractClass.java -------------------------------------------------------------------------------- /boomerangScope/src/test/java/boomerang/scope/test/targets/ArrayTarget.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/test/java/boomerang/scope/test/targets/ArrayTarget.java -------------------------------------------------------------------------------- /boomerangScope/src/test/java/boomerang/scope/test/targets/AssignmentTarget.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/test/java/boomerang/scope/test/targets/AssignmentTarget.java -------------------------------------------------------------------------------- /boomerangScope/src/test/java/boomerang/scope/test/targets/BranchingTarget.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/test/java/boomerang/scope/test/targets/BranchingTarget.java -------------------------------------------------------------------------------- /boomerangScope/src/test/java/boomerang/scope/test/targets/ConstructorTarget.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/test/java/boomerang/scope/test/targets/ConstructorTarget.java -------------------------------------------------------------------------------- /boomerangScope/src/test/java/boomerang/scope/test/targets/FieldClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/test/java/boomerang/scope/test/targets/FieldClass.java -------------------------------------------------------------------------------- /boomerangScope/src/test/java/boomerang/scope/test/targets/FieldTarget.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/test/java/boomerang/scope/test/targets/FieldTarget.java -------------------------------------------------------------------------------- /boomerangScope/src/test/java/boomerang/scope/test/targets/InvokeExprTarget.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/test/java/boomerang/scope/test/targets/InvokeExprTarget.java -------------------------------------------------------------------------------- /boomerangScope/src/test/java/boomerang/scope/test/targets/LocalCountTarget.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/test/java/boomerang/scope/test/targets/LocalCountTarget.java -------------------------------------------------------------------------------- /boomerangScope/src/test/java/boomerang/scope/test/targets/ScopeTarget.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/test/java/boomerang/scope/test/targets/ScopeTarget.java -------------------------------------------------------------------------------- /boomerangScope/src/test/java/boomerang/scope/test/targets/SingleTarget.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/test/java/boomerang/scope/test/targets/SingleTarget.java -------------------------------------------------------------------------------- /boomerangScope/src/test/java/boomerang/scope/test/targets/ThisLocalTarget.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/boomerangScope/src/test/java/boomerang/scope/test/targets/ThisLocalTarget.java -------------------------------------------------------------------------------- /docs/boomerang/allocation_sites.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/docs/boomerang/allocation_sites.md -------------------------------------------------------------------------------- /docs/boomerang/boomerang_setup.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/docs/boomerang/boomerang_setup.md -------------------------------------------------------------------------------- /docs/boomerang/options.md: -------------------------------------------------------------------------------- 1 | # Boomerang Options -------------------------------------------------------------------------------- /docs/examples/taint_analysis.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/docs/examples/taint_analysis.md -------------------------------------------------------------------------------- /docs/general/android_setup.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/docs/general/android_setup.md -------------------------------------------------------------------------------- /docs/general/boomerang_scope.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/docs/general/boomerang_scope.md -------------------------------------------------------------------------------- /docs/general/framework_scopes.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/docs/general/framework_scopes.md -------------------------------------------------------------------------------- /docs/general/installation.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/docs/general/installation.md -------------------------------------------------------------------------------- /docs/img/BoomerangLogo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/docs/img/BoomerangLogo.png -------------------------------------------------------------------------------- /docs/index.md: -------------------------------------------------------------------------------- 1 | # Welcome to the Documentation of Boomerang 2 | -------------------------------------------------------------------------------- /examples/TaintAnalysis/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/examples/TaintAnalysis/.gitignore -------------------------------------------------------------------------------- /examples/TaintAnalysis/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/examples/TaintAnalysis/pom.xml -------------------------------------------------------------------------------- /examples/TaintAnalysis/src/main/java/boomerang/example/Main.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/examples/TaintAnalysis/src/main/java/boomerang/example/Main.java -------------------------------------------------------------------------------- /examples/TaintAnalysis/src/main/java/boomerang/example/analysis/TaintAnalysis.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/examples/TaintAnalysis/src/main/java/boomerang/example/analysis/TaintAnalysis.java -------------------------------------------------------------------------------- /examples/TaintAnalysis/targets/BranchingMultipleExample.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/examples/TaintAnalysis/targets/BranchingMultipleExample.jar -------------------------------------------------------------------------------- /examples/TaintAnalysis/targets/BranchingMultipleExample.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/examples/TaintAnalysis/targets/BranchingMultipleExample.java -------------------------------------------------------------------------------- /examples/TaintAnalysis/targets/BranchingSingleExample.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/examples/TaintAnalysis/targets/BranchingSingleExample.jar -------------------------------------------------------------------------------- /examples/TaintAnalysis/targets/BranchingSingleExample.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/examples/TaintAnalysis/targets/BranchingSingleExample.java -------------------------------------------------------------------------------- /examples/TaintAnalysis/targets/IntraProceduralFieldsExample.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/examples/TaintAnalysis/targets/IntraProceduralFieldsExample.jar -------------------------------------------------------------------------------- /examples/TaintAnalysis/targets/IntraProceduralFieldsExample.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/examples/TaintAnalysis/targets/IntraProceduralFieldsExample.java -------------------------------------------------------------------------------- /examples/TaintAnalysis/targets/SimpleAliasExample.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/examples/TaintAnalysis/targets/SimpleAliasExample.jar -------------------------------------------------------------------------------- /examples/TaintAnalysis/targets/SimpleAliasExample.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/examples/TaintAnalysis/targets/SimpleAliasExample.java -------------------------------------------------------------------------------- /examples/TaintAnalysis/targets/taints/SinkClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/examples/TaintAnalysis/targets/taints/SinkClass.java -------------------------------------------------------------------------------- /examples/TaintAnalysis/targets/taints/SourceClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/examples/TaintAnalysis/targets/taints/SourceClass.java -------------------------------------------------------------------------------- /examples/ideal/InferenceExample.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/examples/ideal/InferenceExample.java -------------------------------------------------------------------------------- /examples/ideal/Main.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/examples/ideal/Main.java -------------------------------------------------------------------------------- /examples/wala/BoomerangExampleTarget1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/examples/wala/BoomerangExampleTarget1.java -------------------------------------------------------------------------------- /examples/wala/ExampleMain1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/examples/wala/ExampleMain1.java -------------------------------------------------------------------------------- /idealPDS/.gitignore: -------------------------------------------------------------------------------- 1 | /target/ 2 | -------------------------------------------------------------------------------- /idealPDS/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/LICENSE.txt -------------------------------------------------------------------------------- /idealPDS/makeDotImages.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/makeDotImages.sh -------------------------------------------------------------------------------- /idealPDS/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/pom.xml -------------------------------------------------------------------------------- /idealPDS/src/main/java/ideal/IDEALAnalysis.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/main/java/ideal/IDEALAnalysis.java -------------------------------------------------------------------------------- /idealPDS/src/main/java/ideal/IDEALAnalysisDefinition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/main/java/ideal/IDEALAnalysisDefinition.java -------------------------------------------------------------------------------- /idealPDS/src/main/java/ideal/IDEALResultHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/main/java/ideal/IDEALResultHandler.java -------------------------------------------------------------------------------- /idealPDS/src/main/java/ideal/IDEALSeedSolver.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/main/java/ideal/IDEALSeedSolver.java -------------------------------------------------------------------------------- /idealPDS/src/main/java/ideal/IDEALSeedTimeout.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/main/java/ideal/IDEALSeedTimeout.java -------------------------------------------------------------------------------- /idealPDS/src/main/java/ideal/IDEALWeightFunctions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/main/java/ideal/IDEALWeightFunctions.java -------------------------------------------------------------------------------- /idealPDS/src/main/java/ideal/NonOneFlowListener.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/main/java/ideal/NonOneFlowListener.java -------------------------------------------------------------------------------- /idealPDS/src/main/java/ideal/StoreIDEALResultHandler.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/main/java/ideal/StoreIDEALResultHandler.java -------------------------------------------------------------------------------- /idealPDS/src/main/java/inference/InferenceWeight.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/main/java/inference/InferenceWeight.java -------------------------------------------------------------------------------- /idealPDS/src/main/java/inference/InferenceWeightFunctions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/main/java/inference/InferenceWeightFunctions.java -------------------------------------------------------------------------------- /idealPDS/src/main/java/inference/InferenceWeightImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/main/java/inference/InferenceWeightImpl.java -------------------------------------------------------------------------------- /idealPDS/src/main/java/inference/InferenceWeightOne.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/main/java/inference/InferenceWeightOne.java -------------------------------------------------------------------------------- /idealPDS/src/main/java/inference/InferenceWeightZero.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/main/java/inference/InferenceWeightZero.java -------------------------------------------------------------------------------- /idealPDS/src/main/java/typestate/ChainingBackwardFlowFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/main/java/typestate/ChainingBackwardFlowFunction.java -------------------------------------------------------------------------------- /idealPDS/src/main/java/typestate/ChainingFlowFunctionFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/main/java/typestate/ChainingFlowFunctionFactory.java -------------------------------------------------------------------------------- /idealPDS/src/main/java/typestate/ChainingForwardFlowFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/main/java/typestate/ChainingForwardFlowFunction.java -------------------------------------------------------------------------------- /idealPDS/src/main/java/typestate/StatementSequence.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/main/java/typestate/StatementSequence.java -------------------------------------------------------------------------------- /idealPDS/src/main/java/typestate/TransitionFunction.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/main/java/typestate/TransitionFunction.java -------------------------------------------------------------------------------- /idealPDS/src/main/java/typestate/TransitionFunctionImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/main/java/typestate/TransitionFunctionImpl.java -------------------------------------------------------------------------------- /idealPDS/src/main/java/typestate/TransitionFunctionOne.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/main/java/typestate/TransitionFunctionOne.java -------------------------------------------------------------------------------- /idealPDS/src/main/java/typestate/TransitionFunctionZero.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/main/java/typestate/TransitionFunctionZero.java -------------------------------------------------------------------------------- /idealPDS/src/main/java/typestate/finiteautomata/MatcherTransition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/main/java/typestate/finiteautomata/MatcherTransition.java -------------------------------------------------------------------------------- /idealPDS/src/main/java/typestate/finiteautomata/State.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/main/java/typestate/finiteautomata/State.java -------------------------------------------------------------------------------- /idealPDS/src/main/java/typestate/finiteautomata/Transition.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/main/java/typestate/finiteautomata/Transition.java -------------------------------------------------------------------------------- /idealPDS/src/main/java/typestate/finiteautomata/TransitionIdentity.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/main/java/typestate/finiteautomata/TransitionIdentity.java -------------------------------------------------------------------------------- /idealPDS/src/main/java/typestate/finiteautomata/TransitionImpl.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/main/java/typestate/finiteautomata/TransitionImpl.java -------------------------------------------------------------------------------- /idealPDS/src/main/java/typestate/impl/statemachines/HasNextStateMachine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/main/java/typestate/impl/statemachines/HasNextStateMachine.java -------------------------------------------------------------------------------- /idealPDS/src/main/java/typestate/impl/statemachines/InputStreamStateMachine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/main/java/typestate/impl/statemachines/InputStreamStateMachine.java -------------------------------------------------------------------------------- /idealPDS/src/main/java/typestate/impl/statemachines/KeyStoreStateMachine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/main/java/typestate/impl/statemachines/KeyStoreStateMachine.java -------------------------------------------------------------------------------- /idealPDS/src/main/java/typestate/impl/statemachines/OutputStreamStateMachine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/main/java/typestate/impl/statemachines/OutputStreamStateMachine.java -------------------------------------------------------------------------------- /idealPDS/src/main/java/typestate/impl/statemachines/PrintStreamStateMachine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/main/java/typestate/impl/statemachines/PrintStreamStateMachine.java -------------------------------------------------------------------------------- /idealPDS/src/main/java/typestate/impl/statemachines/PrintWriterStateMachine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/main/java/typestate/impl/statemachines/PrintWriterStateMachine.java -------------------------------------------------------------------------------- /idealPDS/src/main/java/typestate/impl/statemachines/SignatureStateMachine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/main/java/typestate/impl/statemachines/SignatureStateMachine.java -------------------------------------------------------------------------------- /idealPDS/src/main/java/typestate/impl/statemachines/SocketStateMachine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/main/java/typestate/impl/statemachines/SocketStateMachine.java -------------------------------------------------------------------------------- /idealPDS/src/main/java/typestate/impl/statemachines/URLConnStateMachine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/main/java/typestate/impl/statemachines/URLConnStateMachine.java -------------------------------------------------------------------------------- /idealPDS/src/main/java/typestate/impl/statemachines/VectorStateMachine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/main/java/typestate/impl/statemachines/VectorStateMachine.java -------------------------------------------------------------------------------- /idealPDS/src/test/java/assertions/Assertions.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/test/java/assertions/Assertions.java -------------------------------------------------------------------------------- /idealPDS/src/test/java/assertions/MayBeInAcceptingState.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/test/java/assertions/MayBeInAcceptingState.java -------------------------------------------------------------------------------- /idealPDS/src/test/java/assertions/MayBeInErrorState.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/test/java/assertions/MayBeInErrorState.java -------------------------------------------------------------------------------- /idealPDS/src/test/java/assertions/MustBeInAcceptingState.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/test/java/assertions/MustBeInAcceptingState.java -------------------------------------------------------------------------------- /idealPDS/src/test/java/assertions/MustBeInErrorState.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/test/java/assertions/MustBeInErrorState.java -------------------------------------------------------------------------------- /idealPDS/src/test/java/assertions/ShouldNotBeAnalyzed.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/test/java/assertions/ShouldNotBeAnalyzed.java -------------------------------------------------------------------------------- /idealPDS/src/test/java/assertions/StateResult.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/test/java/assertions/StateResult.java -------------------------------------------------------------------------------- /idealPDS/src/test/java/chains/Chain.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/test/java/chains/Chain.java -------------------------------------------------------------------------------- /idealPDS/src/test/java/chains/ChainStateMachine.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/test/java/chains/ChainStateMachine.java -------------------------------------------------------------------------------- /idealPDS/src/test/java/chains/ChainingTestFlowFunctionFactory.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/test/java/chains/ChainingTestFlowFunctionFactory.java -------------------------------------------------------------------------------- /idealPDS/src/test/java/chains/MethodChainingTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/test/java/chains/MethodChainingTest.java -------------------------------------------------------------------------------- /idealPDS/src/test/java/test/IDEALTestRunnerInterceptor.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/test/java/test/IDEALTestRunnerInterceptor.java -------------------------------------------------------------------------------- /idealPDS/src/test/java/test/IDEALTestingFramework.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/test/java/test/IDEALTestingFramework.java -------------------------------------------------------------------------------- /idealPDS/src/test/java/test/TestConfig.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/test/java/test/TestConfig.java -------------------------------------------------------------------------------- /idealPDS/src/test/java/test/TestParameters.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/test/java/test/TestParameters.java -------------------------------------------------------------------------------- /idealPDS/src/test/java/test/TestingResultReporter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/test/java/test/TestingResultReporter.java -------------------------------------------------------------------------------- /idealPDS/src/test/java/typestate/AssertionsTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/test/java/typestate/AssertionsTest.java -------------------------------------------------------------------------------- /idealPDS/src/test/java/typestate/FileMustBeClosedDemandDrivenTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/test/java/typestate/FileMustBeClosedDemandDrivenTest.java -------------------------------------------------------------------------------- /idealPDS/src/test/java/typestate/FileMustBeClosedInterfaceTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/test/java/typestate/FileMustBeClosedInterfaceTest.java -------------------------------------------------------------------------------- /idealPDS/src/test/java/typestate/FileMustBeClosedStrongUpdateTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/test/java/typestate/FileMustBeClosedStrongUpdateTest.java -------------------------------------------------------------------------------- /idealPDS/src/test/java/typestate/FileMustBeClosedTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/test/java/typestate/FileMustBeClosedTest.java -------------------------------------------------------------------------------- /idealPDS/src/test/java/typestate/FluentInterfaceTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/test/java/typestate/FluentInterfaceTest.java -------------------------------------------------------------------------------- /idealPDS/src/test/java/typestate/InputStreamTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/test/java/typestate/InputStreamTest.java -------------------------------------------------------------------------------- /idealPDS/src/test/java/typestate/IteratorHasNextTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/test/java/typestate/IteratorHasNextTest.java -------------------------------------------------------------------------------- /idealPDS/src/test/java/typestate/KeyStoreTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/test/java/typestate/KeyStoreTest.java -------------------------------------------------------------------------------- /idealPDS/src/test/java/typestate/PrintStreamTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/test/java/typestate/PrintStreamTest.java -------------------------------------------------------------------------------- /idealPDS/src/test/java/typestate/PrintWriterTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/test/java/typestate/PrintWriterTest.java -------------------------------------------------------------------------------- /idealPDS/src/test/java/typestate/SocketTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/test/java/typestate/SocketTest.java -------------------------------------------------------------------------------- /idealPDS/src/test/java/typestate/StackTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/test/java/typestate/StackTest.java -------------------------------------------------------------------------------- /idealPDS/src/test/java/typestate/URLConnTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/test/java/typestate/URLConnTest.java -------------------------------------------------------------------------------- /idealPDS/src/test/java/typestate/VectorTest.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/test/java/typestate/VectorTest.java -------------------------------------------------------------------------------- /idealPDS/src/test/java/typestate/helper/File.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/test/java/typestate/helper/File.java -------------------------------------------------------------------------------- /idealPDS/src/test/java/typestate/helper/ObjectWithField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/idealPDS/src/test/java/typestate/helper/ObjectWithField.java -------------------------------------------------------------------------------- /license_header.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/license_header.txt -------------------------------------------------------------------------------- /misc/.scalafmt.conf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/misc/.scalafmt.conf -------------------------------------------------------------------------------- /mkdocs.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/mkdocs.yml -------------------------------------------------------------------------------- /pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/pom.xml -------------------------------------------------------------------------------- /testCore/.gitignore: -------------------------------------------------------------------------------- 1 | /target/ 2 | -------------------------------------------------------------------------------- /testCore/LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/testCore/LICENSE.txt -------------------------------------------------------------------------------- /testCore/pom.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/testCore/pom.xml -------------------------------------------------------------------------------- /testCore/src/main/java/test/Assertion.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/testCore/src/main/java/test/Assertion.java -------------------------------------------------------------------------------- /testCore/src/main/java/test/TestingFramework.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/testCore/src/main/java/test/TestingFramework.java -------------------------------------------------------------------------------- /testCore/src/main/java/test/core/selfrunning/AllocatedObject.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/testCore/src/main/java/test/core/selfrunning/AllocatedObject.java -------------------------------------------------------------------------------- /testCore/src/main/java/test/core/selfrunning/AllocatedObject2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/testCore/src/main/java/test/core/selfrunning/AllocatedObject2.java -------------------------------------------------------------------------------- /testCore/src/main/java/test/core/selfrunning/ImprecisionException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/testCore/src/main/java/test/core/selfrunning/ImprecisionException.java -------------------------------------------------------------------------------- /testCore/src/main/java/test/core/selfrunning/NoAllocatedObject.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/testCore/src/main/java/test/core/selfrunning/NoAllocatedObject.java -------------------------------------------------------------------------------- /testCore/src/main/java/test/core/selfrunning/NullableField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/testCore/src/main/java/test/core/selfrunning/NullableField.java -------------------------------------------------------------------------------- /testCore/src/main/java/test/setup/OpalTestSetup.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/testCore/src/main/java/test/setup/OpalTestSetup.java -------------------------------------------------------------------------------- /testCore/src/main/java/test/setup/SootTestSetup.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/testCore/src/main/java/test/setup/SootTestSetup.java -------------------------------------------------------------------------------- /testCore/src/main/java/test/setup/SootUpTestSetup.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/testCore/src/main/java/test/setup/SootUpTestSetup.java -------------------------------------------------------------------------------- /testCore/src/main/java/test/setup/TestSetup.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/testCore/src/main/java/test/setup/TestSetup.java -------------------------------------------------------------------------------- /testCore/src/main/java/test/setup/TestSetupUtils.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/secure-software-engineering/Boomerang/HEAD/testCore/src/main/java/test/setup/TestSetupUtils.java --------------------------------------------------------------------------------