Rename usvm-ts-dataflow (#240)

UnitTestBot · Jan 16, 2025 · c3233c8 · c3233c8
1 parent 264564a
commit c3233c8
Show file tree

Hide file tree

Showing 77 changed files with 2 additions and 2 deletions.
diff --git a/settings.gradle.kts b/settings.gradle.kts
@@ -8,7 +8,7 @@ include("usvm-jvm-instrumentation")
 include("usvm-sample-language")
 include("usvm-dataflow")
 include("usvm-jvm-dataflow")
-include("usvm-dataflow-ts")
+include("usvm-ts-dataflow")
 
 include("usvm-python")
 include("usvm-python:cpythonadapter")

diff --git a/usvm-dataflow-ts/.gitignore → usvm-ts-dataflow/.gitignore b/usvm-dataflow-ts/.gitignore → usvm-ts-dataflow/.gitignore
diff --git a/usvm-dataflow-ts/README.md → usvm-ts-dataflow/README.md b/usvm-dataflow-ts/README.md → usvm-ts-dataflow/README.md
diff --git a/usvm-dataflow-ts/build.gradle.kts → usvm-ts-dataflow/build.gradle.kts b/usvm-dataflow-ts/build.gradle.kts → usvm-ts-dataflow/build.gradle.kts
diff --git a/...g/usvm/dataflow/ts/graph/BackwardGraph.kt → ...g/usvm/dataflow/ts/graph/BackwardGraph.kt b/...g/usvm/dataflow/ts/graph/BackwardGraph.kt → ...g/usvm/dataflow/ts/graph/BackwardGraph.kt
diff --git a/.../dataflow/ts/graph/EtsApplicationGraph.kt → .../dataflow/ts/graph/EtsApplicationGraph.kt b/.../dataflow/ts/graph/EtsApplicationGraph.kt → .../dataflow/ts/graph/EtsApplicationGraph.kt
diff --git a/...org/usvm/dataflow/ts/ifds/UnitResolver.kt → ...org/usvm/dataflow/ts/ifds/UnitResolver.kt b/...org/usvm/dataflow/ts/ifds/UnitResolver.kt → ...org/usvm/dataflow/ts/ifds/UnitResolver.kt
diff --git a/.../org/usvm/dataflow/ts/infer/AccessPath.kt → .../org/usvm/dataflow/ts/infer/AccessPath.kt b/.../org/usvm/dataflow/ts/infer/AccessPath.kt → .../org/usvm/dataflow/ts/infer/AccessPath.kt
diff --git a/...n/org/usvm/dataflow/ts/infer/Accessors.kt → ...n/org/usvm/dataflow/ts/infer/Accessors.kt b/...n/org/usvm/dataflow/ts/infer/Accessors.kt → ...n/org/usvm/dataflow/ts/infer/Accessors.kt
diff --git a/...otlin/org/usvm/dataflow/ts/infer/Alias.kt → ...otlin/org/usvm/dataflow/ts/infer/Alias.kt b/...otlin/org/usvm/dataflow/ts/infer/Alias.kt → ...otlin/org/usvm/dataflow/ts/infer/Alias.kt
diff --git a/...g/usvm/dataflow/ts/infer/AnalyzerEvent.kt → ...g/usvm/dataflow/ts/infer/AnalyzerEvent.kt b/...g/usvm/dataflow/ts/infer/AnalyzerEvent.kt → ...g/usvm/dataflow/ts/infer/AnalyzerEvent.kt
diff --git a/...svm/dataflow/ts/infer/ApplicationGraph.kt → ...svm/dataflow/ts/infer/ApplicationGraph.kt b/...svm/dataflow/ts/infer/ApplicationGraph.kt → ...svm/dataflow/ts/infer/ApplicationGraph.kt
diff --git a/...svm/dataflow/ts/infer/BackwardAnalyzer.kt → ...svm/dataflow/ts/infer/BackwardAnalyzer.kt b/...svm/dataflow/ts/infer/BackwardAnalyzer.kt → ...svm/dataflow/ts/infer/BackwardAnalyzer.kt
diff --git a/...ataflow/ts/infer/BackwardFlowFunctions.kt → ...ataflow/ts/infer/BackwardFlowFunctions.kt b/...ataflow/ts/infer/BackwardFlowFunctions.kt → ...ataflow/ts/infer/BackwardFlowFunctions.kt
diff --git a/...dataflow/ts/infer/EntryPointsProcessor.kt → ...dataflow/ts/infer/EntryPointsProcessor.kt b/...dataflow/ts/infer/EntryPointsProcessor.kt → ...dataflow/ts/infer/EntryPointsProcessor.kt
diff --git a/...org/usvm/dataflow/ts/infer/EtsTypeFact.kt → ...org/usvm/dataflow/ts/infer/EtsTypeFact.kt b/...org/usvm/dataflow/ts/infer/EtsTypeFact.kt → ...org/usvm/dataflow/ts/infer/EtsTypeFact.kt
diff --git a/...usvm/dataflow/ts/infer/ForwardAnalyzer.kt → ...usvm/dataflow/ts/infer/ForwardAnalyzer.kt b/...usvm/dataflow/ts/infer/ForwardAnalyzer.kt → ...usvm/dataflow/ts/infer/ForwardAnalyzer.kt
diff --git a/...dataflow/ts/infer/ForwardFlowFunctions.kt → ...dataflow/ts/infer/ForwardFlowFunctions.kt b/...dataflow/ts/infer/ForwardFlowFunctions.kt → ...dataflow/ts/infer/ForwardFlowFunctions.kt
diff --git a/.../usvm/dataflow/ts/infer/TypeDomainFact.kt → .../usvm/dataflow/ts/infer/TypeDomainFact.kt b/.../usvm/dataflow/ts/infer/TypeDomainFact.kt → .../usvm/dataflow/ts/infer/TypeDomainFact.kt
diff --git a/...vm/dataflow/ts/infer/TypeFactProcessor.kt → ...vm/dataflow/ts/infer/TypeFactProcessor.kt b/...vm/dataflow/ts/infer/TypeFactProcessor.kt → ...vm/dataflow/ts/infer/TypeFactProcessor.kt
diff --git a/...org/usvm/dataflow/ts/infer/TypeGuesser.kt → ...org/usvm/dataflow/ts/infer/TypeGuesser.kt b/...org/usvm/dataflow/ts/infer/TypeGuesser.kt → ...org/usvm/dataflow/ts/infer/TypeGuesser.kt
diff --git a/...dataflow/ts/infer/TypeInferenceManager.kt → ...dataflow/ts/infer/TypeInferenceManager.kt b/...dataflow/ts/infer/TypeInferenceManager.kt → ...dataflow/ts/infer/TypeInferenceManager.kt
diff --git a/.../dataflow/ts/infer/TypeInferenceResult.kt → .../dataflow/ts/infer/TypeInferenceResult.kt b/.../dataflow/ts/infer/TypeInferenceResult.kt → .../dataflow/ts/infer/TypeInferenceResult.kt
diff --git a/...m/dataflow/ts/infer/TypeSimplification.kt → ...m/dataflow/ts/infer/TypeSimplification.kt b/...m/dataflow/ts/infer/TypeSimplification.kt → ...m/dataflow/ts/infer/TypeSimplification.kt
diff --git a/.../ts/infer/annotation/EtsSceneAnnotator.kt → .../ts/infer/annotation/EtsSceneAnnotator.kt b/.../ts/infer/annotation/EtsSceneAnnotator.kt → .../ts/infer/annotation/EtsSceneAnnotator.kt
diff --git a/.../ts/infer/annotation/ExprTypeAnnotator.kt → .../ts/infer/annotation/ExprTypeAnnotator.kt b/.../ts/infer/annotation/ExprTypeAnnotator.kt → .../ts/infer/annotation/ExprTypeAnnotator.kt
diff --git a/.../ts/infer/annotation/StmtTypeAnnotator.kt → .../ts/infer/annotation/StmtTypeAnnotator.kt b/.../ts/infer/annotation/StmtTypeAnnotator.kt → .../ts/infer/annotation/StmtTypeAnnotator.kt
diff --git a/...ts/infer/annotation/ValueTypeAnnotator.kt → ...ts/infer/annotation/ValueTypeAnnotator.kt b/...ts/infer/annotation/ValueTypeAnnotator.kt → ...ts/infer/annotation/ValueTypeAnnotator.kt
diff --git a/...in/org/usvm/dataflow/ts/infer/cli/Dump.kt → ...in/org/usvm/dataflow/ts/infer/cli/Dump.kt b/...in/org/usvm/dataflow/ts/infer/cli/Dump.kt → ...in/org/usvm/dataflow/ts/infer/cli/Dump.kt
diff --git a/.../usvm/dataflow/ts/infer/cli/InferTypes.kt → .../usvm/dataflow/ts/infer/cli/InferTypes.kt b/.../usvm/dataflow/ts/infer/cli/InferTypes.kt → .../usvm/dataflow/ts/infer/cli/InferTypes.kt
diff --git a/...svm/dataflow/ts/infer/dto/ConvertToDto.kt → ...svm/dataflow/ts/infer/dto/ConvertToDto.kt b/...svm/dataflow/ts/infer/dto/ConvertToDto.kt → ...svm/dataflow/ts/infer/dto/ConvertToDto.kt
diff --git a/...lin/org/usvm/dataflow/ts/infer/dto/DTO.kt → ...lin/org/usvm/dataflow/ts/infer/dto/DTO.kt b/...lin/org/usvm/dataflow/ts/infer/dto/DTO.kt → ...lin/org/usvm/dataflow/ts/infer/dto/DTO.kt
diff --git a/...svm/dataflow/ts/infer/dto/EtsTypeToDto.kt → ...svm/dataflow/ts/infer/dto/EtsTypeToDto.kt b/...svm/dataflow/ts/infer/dto/EtsTypeToDto.kt → ...svm/dataflow/ts/infer/dto/EtsTypeToDto.kt
diff --git a/...vm/dataflow/ts/infer/dto/EtsValueToDto.kt → ...vm/dataflow/ts/infer/dto/EtsValueToDto.kt b/...vm/dataflow/ts/infer/dto/EtsValueToDto.kt → ...vm/dataflow/ts/infer/dto/EtsValueToDto.kt
diff --git a/...usvm/dataflow/ts/infer/verify/EntityId.kt → ...usvm/dataflow/ts/infer/verify/EntityId.kt b/...usvm/dataflow/ts/infer/verify/EntityId.kt → ...usvm/dataflow/ts/infer/verify/EntityId.kt
diff --git a/...low/ts/infer/verify/VerificationResult.kt → ...low/ts/infer/verify/VerificationResult.kt b/...low/ts/infer/verify/VerificationResult.kt → ...low/ts/infer/verify/VerificationResult.kt
diff --git a/...g/usvm/dataflow/ts/infer/verify/Verify.kt → ...g/usvm/dataflow/ts/infer/verify/Verify.kt b/...g/usvm/dataflow/ts/infer/verify/Verify.kt → ...g/usvm/dataflow/ts/infer/verify/Verify.kt
diff --git a/...erify/collectors/ClassSummaryCollector.kt → ...erify/collectors/ClassSummaryCollector.kt b/...erify/collectors/ClassSummaryCollector.kt → ...erify/collectors/ClassSummaryCollector.kt
diff --git a/...rify/collectors/MethodSummaryCollector.kt → ...rify/collectors/MethodSummaryCollector.kt b/...rify/collectors/MethodSummaryCollector.kt → ...rify/collectors/MethodSummaryCollector.kt
diff --git a/...verify/collectors/StmtSummaryCollector.kt → ...verify/collectors/StmtSummaryCollector.kt b/...verify/collectors/StmtSummaryCollector.kt → ...verify/collectors/StmtSummaryCollector.kt
diff --git a/...fer/verify/collectors/SummaryCollector.kt → ...fer/verify/collectors/SummaryCollector.kt b/...fer/verify/collectors/SummaryCollector.kt → ...fer/verify/collectors/SummaryCollector.kt
diff --git a/...aflow/ts/infer/verify/collectors/Utils.kt → ...aflow/ts/infer/verify/collectors/Utils.kt b/...aflow/ts/infer/verify/collectors/Utils.kt → ...aflow/ts/infer/verify/collectors/Utils.kt
diff --git a/...in/org/usvm/dataflow/ts/util/EtsTraits.kt → ...in/org/usvm/dataflow/ts/util/EtsTraits.kt b/...in/org/usvm/dataflow/ts/util/EtsTraits.kt → ...in/org/usvm/dataflow/ts/util/EtsTraits.kt
diff --git a/...tlin/org/usvm/dataflow/ts/util/LoadEts.kt → ...tlin/org/usvm/dataflow/ts/util/LoadEts.kt b/...tlin/org/usvm/dataflow/ts/util/LoadEts.kt → ...tlin/org/usvm/dataflow/ts/util/LoadEts.kt
diff --git a/...n/kotlin/org/usvm/dataflow/ts/util/Map.kt → ...n/kotlin/org/usvm/dataflow/ts/util/Map.kt b/...n/kotlin/org/usvm/dataflow/ts/util/Map.kt → ...n/kotlin/org/usvm/dataflow/ts/util/Map.kt
diff --git a/...n/org/usvm/dataflow/ts/util/RealLocals.kt → ...n/org/usvm/dataflow/ts/util/RealLocals.kt b/...n/org/usvm/dataflow/ts/util/RealLocals.kt → ...n/org/usvm/dataflow/ts/util/RealLocals.kt
diff --git a/.../usvm/dataflow/ts/util/ToStringLimited.kt → .../usvm/dataflow/ts/util/ToStringLimited.kt b/.../usvm/dataflow/ts/util/ToStringLimited.kt → .../usvm/dataflow/ts/util/ToStringLimited.kt
diff --git a/...kotlin/org/usvm/dataflow/ts/util/Utils.kt → ...kotlin/org/usvm/dataflow/ts/util/Utils.kt b/...kotlin/org/usvm/dataflow/ts/util/Utils.kt → ...kotlin/org/usvm/dataflow/ts/util/Utils.kt
diff --git a/...ataflow-ts/src/main/resources/logback.xml → ...s-dataflow/src/main/resources/logback.xml b/...ataflow-ts/src/main/resources/logback.xml → ...s-dataflow/src/main/resources/logback.xml
diff --git a/.../org/usvm/dataflow/ts/test/EtsIfdsTest.kt → .../org/usvm/dataflow/ts/test/EtsIfdsTest.kt b/.../org/usvm/dataflow/ts/test/EtsIfdsTest.kt → .../org/usvm/dataflow/ts/test/EtsIfdsTest.kt
diff --git a/...ataflow/ts/test/EtsProjectAnalysisTest.kt → ...ataflow/ts/test/EtsProjectAnalysisTest.kt b/...ataflow/ts/test/EtsProjectAnalysisTest.kt → ...ataflow/ts/test/EtsProjectAnalysisTest.kt
diff --git a/...org/usvm/dataflow/ts/test/EtsSceneTest.kt → ...org/usvm/dataflow/ts/test/EtsSceneTest.kt b/...org/usvm/dataflow/ts/test/EtsSceneTest.kt → ...org/usvm/dataflow/ts/test/EtsSceneTest.kt
diff --git a/.../dataflow/ts/test/EtsTaintAnalysisTest.kt → .../dataflow/ts/test/EtsTaintAnalysisTest.kt b/.../dataflow/ts/test/EtsTaintAnalysisTest.kt → .../dataflow/ts/test/EtsTaintAnalysisTest.kt
diff --git a/...dataflow/ts/test/EtsTypeAnnotationTest.kt → ...dataflow/ts/test/EtsTypeAnnotationTest.kt b/...dataflow/ts/test/EtsTypeAnnotationTest.kt → ...dataflow/ts/test/EtsTypeAnnotationTest.kt
diff --git a/.../dataflow/ts/test/EtsTypeInferenceTest.kt → .../dataflow/ts/test/EtsTypeInferenceTest.kt b/.../dataflow/ts/test/EtsTypeInferenceTest.kt → .../dataflow/ts/test/EtsTypeInferenceTest.kt
diff --git a/...ataflow/ts/test/EtsTypeResolverAbcTest.kt → ...ataflow/ts/test/EtsTypeResolverAbcTest.kt b/...ataflow/ts/test/EtsTypeResolverAbcTest.kt → ...ataflow/ts/test/EtsTypeResolverAbcTest.kt
diff --git a/...low/ts/test/EtsTypeResolverWithAstTest.kt → ...low/ts/test/EtsTypeResolverWithAstTest.kt b/...low/ts/test/EtsTypeResolverWithAstTest.kt → ...low/ts/test/EtsTypeResolverWithAstTest.kt
diff --git a/...w/ts/test/utils/ClassMatcherStatistics.kt → ...w/ts/test/utils/ClassMatcherStatistics.kt b/...w/ts/test/utils/ClassMatcherStatistics.kt → ...w/ts/test/utils/ClassMatcherStatistics.kt
diff --git a/...w/ts/test/utils/ExpectedTypesExtractor.kt → ...w/ts/test/utils/ExpectedTypesExtractor.kt b/...w/ts/test/utils/ExpectedTypesExtractor.kt → ...w/ts/test/utils/ExpectedTypesExtractor.kt
diff --git a/...svm/dataflow/ts/test/utils/TaintConfig.kt → ...svm/dataflow/ts/test/utils/TaintConfig.kt b/...svm/dataflow/ts/test/utils/TaintConfig.kt → ...svm/dataflow/ts/test/utils/TaintConfig.kt
diff --git a/.../ts/test/utils/TypeInferenceStatistics.kt → .../ts/test/utils/TypeInferenceStatistics.kt b/.../ts/test/utils/TypeInferenceStatistics.kt → .../ts/test/utils/TypeInferenceStatistics.kt
diff --git a/.../org/usvm/dataflow/ts/test/utils/Utils.kt → .../org/usvm/dataflow/ts/test/utils/Utils.kt b/.../org/usvm/dataflow/ts/test/utils/Utils.kt → .../org/usvm/dataflow/ts/test/utils/Utils.kt
diff --git a/...ow-ts/src/test/resources/logback-test.xml → ...aflow/src/test/resources/logback-test.xml b/...ow-ts/src/test/resources/logback-test.xml → ...aflow/src/test/resources/logback-test.xml
diff --git a/...dataflow-ts/src/test/resources/ts/call.ts → ...ts-dataflow/src/test/resources/ts/call.ts b/...dataflow-ts/src/test/resources/ts/call.ts → ...ts-dataflow/src/test/resources/ts/call.ts
diff --git a/...dataflow-ts/src/test/resources/ts/cast.ts → ...ts-dataflow/src/test/resources/ts/cast.ts b/...dataflow-ts/src/test/resources/ts/cast.ts → ...ts-dataflow/src/test/resources/ts/cast.ts
diff --git a/...dataflow-ts/src/test/resources/ts/data.ts → ...ts-dataflow/src/test/resources/ts/data.ts b/...dataflow-ts/src/test/resources/ts/data.ts → ...ts-dataflow/src/test/resources/ts/data.ts
diff --git a/...ow-ts/src/test/resources/ts/microphone.ts → ...aflow/src/test/resources/ts/microphone.ts b/...ow-ts/src/test/resources/ts/microphone.ts → ...aflow/src/test/resources/ts/microphone.ts
diff --git a/.../src/test/resources/ts/microphone_ctor.ts → .../src/test/resources/ts/microphone_ctor.ts b/.../src/test/resources/ts/microphone_ctor.ts → .../src/test/resources/ts/microphone_ctor.ts
diff --git a/...w-ts/src/test/resources/ts/nested_init.ts → ...flow/src/test/resources/ts/nested_init.ts b/...w-ts/src/test/resources/ts/nested_init.ts → ...flow/src/test/resources/ts/nested_init.ts
diff --git a/...ts/src/test/resources/ts/resolver_test.ts → ...ow/src/test/resources/ts/resolver_test.ts b/...ts/src/test/resources/ts/resolver_test.ts → ...ow/src/test/resources/ts/resolver_test.ts
diff --git a/...ataflow-ts/src/test/resources/ts/taint.ts → ...s-dataflow/src/test/resources/ts/taint.ts b/...ataflow-ts/src/test/resources/ts/taint.ts → ...s-dataflow/src/test/resources/ts/taint.ts
diff --git a/...low-ts/src/test/resources/ts/testcases.ts → ...taflow/src/test/resources/ts/testcases.ts b/...low-ts/src/test/resources/ts/testcases.ts → ...taflow/src/test/resources/ts/testcases.ts
diff --git a/...ataflow-ts/src/test/resources/ts/types.ts → ...s-dataflow/src/test/resources/ts/types.ts b/...ataflow-ts/src/test/resources/ts/types.ts → ...s-dataflow/src/test/resources/ts/types.ts
diff --git a/...es/kotlin/org/usvm/dataflow/ts/LoadEts.kt → ...es/kotlin/org/usvm/dataflow/ts/LoadEts.kt b/...es/kotlin/org/usvm/dataflow/ts/LoadEts.kt → ...es/kotlin/org/usvm/dataflow/ts/LoadEts.kt
diff --git a/.../kotlin/org/usvm/dataflow/ts/Resources.kt → .../kotlin/org/usvm/dataflow/ts/Resources.kt b/.../kotlin/org/usvm/dataflow/ts/Resources.kt → .../kotlin/org/usvm/dataflow/ts/Resources.kt
diff --git a/...in/org/usvm/dataflow/ts/TestFactoryDsl.kt → ...in/org/usvm/dataflow/ts/TestFactoryDsl.kt b/...in/org/usvm/dataflow/ts/TestFactoryDsl.kt → ...in/org/usvm/dataflow/ts/TestFactoryDsl.kt
diff --git a/usvm-ts/build.gradle.kts b/usvm-ts/build.gradle.kts
@@ -4,7 +4,7 @@ plugins {
 
 dependencies {
     implementation(project(":usvm-core"))
-    implementation(project(":usvm-dataflow-ts"))
+    implementation(project(":usvm-ts-dataflow"))
 
     implementation(Libs.jacodb_core)
     implementation(Libs.jacodb_ets)