├── .github └── workflows │ ├── macOS.yml │ └── ubuntu.yml ├── .gitignore ├── .gitmodules ├── .idea ├── codeStyles │ ├── Project.xml │ └── codeStyleConfig.xml ├── misc.xml ├── modules.xml ├── scala_settings.xml ├── swan.iml └── vcs.xml ├── LICENSE.txt ├── NOTICE.txt ├── README.md ├── dev └── SwanViewer │ ├── README.md │ ├── SwanViewer.xcodeproj │ └── project.pbxproj │ └── SwanViewer │ ├── AppDelegate.swift │ ├── Assets.xcassets │ ├── AccentColor.colorset │ │ └── Contents.json │ ├── AppIcon.appiconset │ │ └── Contents.json │ └── Contents.json │ ├── Base.lproj │ └── Main.storyboard │ ├── Info.plist │ ├── SwanViewer.entitlements │ └── ViewController.swift ├── doc ├── LICENSE.md ├── licenses │ ├── ApacheLicense2.0.txt │ ├── EclipsePublicLicense2.0.txt │ └── MIT.txt └── readme │ ├── example-typestate.gif │ └── pipeline.png ├── jvm ├── .idea │ ├── .gitignore │ ├── .name │ ├── codeStyles │ │ ├── Project.xml │ │ └── codeStyleConfig.xml │ ├── compiler.xml │ ├── copyright │ │ ├── Apache.xml │ │ └── profiles_settings.xml │ ├── gradle.xml │ ├── inspectionProfiles │ │ └── Project_Default.xml │ ├── jarRepositories.xml │ ├── misc.xml │ ├── runConfigurations │ │ ├── General_Tests.xml │ │ ├── SIL_Playground.xml │ │ ├── SPDS_SIL_Playground.xml │ │ ├── SPDS_SWIRL_Playground.xml │ │ ├── SPDS_Swift_Playground.xml │ │ ├── SWIRL_Playground.xml │ │ └── Swift_Playground.xml │ ├── scala_compiler.xml │ ├── scala_settings.xml │ ├── uiDesigner.xml │ └── vcs.xml ├── build.gradle ├── build.sh ├── ca.ualberta.maple.swan.drivers │ ├── build.gradle │ └── src │ │ ├── ca │ │ └── ualberta │ │ │ └── maple │ │ │ └── swan │ │ │ └── drivers │ │ │ ├── Driver.scala │ │ │ └── SwanDirProcessor.scala │ │ └── resources │ │ ├── log4j.properties │ │ └── models.swirl ├── ca.ualberta.maple.swan.ir │ ├── build.gradle │ └── src │ │ └── scala │ │ └── ca │ │ └── ualberta │ │ └── maple │ │ └── swan │ │ └── ir │ │ ├── DynamicDispatchGraph.scala │ │ ├── Exceptions.scala │ │ ├── ModuleGrouper.scala │ │ ├── Printer.scala │ │ ├── SWIRL.scala │ │ ├── SWIRLBuilder.scala │ │ ├── SWIRLParser.scala │ │ ├── SWIRLPrinter.scala │ │ ├── canonical │ │ ├── Mutations.scala │ │ └── SWIRLPass.scala │ │ └── raw │ │ ├── SWIRLGen.scala │ │ └── Utils.scala ├── ca.ualberta.maple.swan.parser │ ├── build.gradle │ └── src │ │ └── scala │ │ └── ca │ │ └── ualberta │ │ └── maple │ │ └── swan │ │ └── parser │ │ ├── Printer.scala │ │ ├── SIL.scala │ │ ├── SILParser.scala │ │ └── SILPrinter.scala ├── ca.ualberta.maple.swan.spds │ ├── build.gradle │ └── src │ │ ├── java │ │ └── ca │ │ │ └── ualberta │ │ │ └── maple │ │ │ └── swan │ │ │ └── spds │ │ │ └── probe │ │ │ ├── AbsEdgeWeights.java │ │ │ ├── CallEdge.java │ │ │ ├── CallGraph.java │ │ │ ├── CallGraphDiff.java │ │ │ ├── CallGraphInfo.java │ │ │ ├── CallGraphView.java │ │ │ ├── DijkstraAlgorithm.java │ │ │ ├── EdgeWeights.java │ │ │ ├── EdgeWeights2.java │ │ │ ├── Escape.java │ │ │ ├── ExecutesMany.java │ │ │ ├── External.java │ │ │ ├── HeapObject.java │ │ │ ├── Jui.java │ │ │ ├── ObjectManager.java │ │ │ ├── Pointer.java │ │ │ ├── PointsTo.java │ │ │ ├── Polymorphic.java │ │ │ ├── PolymorphicInfo.java │ │ │ ├── ProbeClass.java │ │ │ ├── ProbeField.java │ │ │ ├── ProbeFieldSet.java │ │ │ ├── ProbeMethod.java │ │ │ ├── ProbeParameter.java │ │ │ ├── ProbePtSet.java │ │ │ ├── ProbeStmt.java │ │ │ ├── Recursive.java │ │ │ ├── SideEffect.java │ │ │ ├── TextReader.java │ │ │ ├── TextWriter.java │ │ │ └── Util.java │ │ └── scala │ │ └── ca │ │ └── ualberta │ │ └── maple │ │ └── swan │ │ └── spds │ │ ├── Stats.scala │ │ ├── analysis │ │ ├── QueryEngine.scala │ │ ├── crypto │ │ │ └── CryptoAnalysis.scala │ │ ├── taint │ │ │ ├── TaintAnalysis.scala │ │ │ ├── TaintResults.scala │ │ │ └── TaintSpecification.scala │ │ └── typestate │ │ │ ├── TypeStateAnalysis.scala │ │ │ ├── TypeStateResults.scala │ │ │ ├── TypeStateSpecification.scala │ │ │ └── statemachines │ │ │ ├── StandardLocationService.scala │ │ │ └── VisitsLocationService.scala │ │ ├── cg │ │ ├── CHA.scala │ │ ├── CallGraphBuilder.scala │ │ ├── CallGraphConstructor.scala │ │ ├── CallGraphUtils.scala │ │ ├── ORTA.scala │ │ ├── PRTA.scala │ │ ├── SPDS.scala │ │ ├── TrivialEdges.scala │ │ ├── TypeFlowCG.scala │ │ ├── UCG.scala │ │ ├── UCGUtils.scala │ │ ├── VTA.scala │ │ └── pa │ │ │ ├── MatrixUnionFind.scala │ │ │ ├── PointerAnalysis.scala │ │ │ ├── TypeFlow.scala │ │ │ ├── UnionFind.scala │ │ │ ├── UnionFindSets.scala │ │ │ └── VTA.scala │ │ ├── probe │ │ └── DiffStats.scala │ │ └── structures │ │ ├── SWANCallGraph.scala │ │ ├── SWANControlFlowGraph.scala │ │ ├── SWANDeclaredMethod.scala │ │ ├── SWANField.scala │ │ ├── SWANIfStatement.scala │ │ ├── SWANInvokeExpr.scala │ │ ├── SWANMethod.scala │ │ ├── SWANStatement.scala │ │ ├── SWANStaticFieldVal.scala │ │ ├── SWANType.scala │ │ └── SWANVal.scala ├── ca.ualberta.maple.swan.test │ ├── build.gradle │ └── src │ │ └── scala │ │ └── ca │ │ └── ualberta │ │ └── maple │ │ └── swan │ │ └── test │ │ ├── AnnotationChecker.scala │ │ └── TestDriver.scala ├── ca.ualberta.maple.swan.utils │ ├── build.gradle │ └── src │ │ └── ca │ │ └── ualberta │ │ └── maple │ │ └── swan │ │ └── utils │ │ ├── Logging.scala │ │ └── SwiftDemangleLocator.scala ├── ca.ualberta.maple.swan.viewer │ ├── build.gradle │ └── src │ │ └── ca │ │ └── ualberta │ │ └── maple │ │ └── swan │ │ └── viewer │ │ └── Main.scala ├── gradle.properties ├── gradle.properties.sample ├── gradle │ └── wrapper │ │ ├── gradle-wrapper.jar │ │ └── gradle-wrapper.properties ├── gradlew ├── gradlew.bat ├── resources │ ├── README.txt │ ├── example-swan-dir │ │ ├── ShellOut.ShellOut.sil │ │ ├── Sourceful.Sourceful.sil │ │ └── SwanViewer.SwanViewer.sil │ ├── playground │ │ ├── playground.sil │ │ ├── playground.swift │ │ ├── playground.swirl │ │ └── spds │ │ │ ├── playground.sil │ │ │ ├── playground.swift │ │ │ └── playground.swirl │ ├── sil │ │ ├── large-modules │ │ │ └── RxSwift.sil │ │ └── modules │ │ │ ├── FieldSensitivity2.sil │ │ │ ├── StandardAPIHundredMeters4096m.sil │ │ │ ├── SwiftyJSON.Pods.sil │ │ │ ├── TypeHierarchy1.sil │ │ │ ├── coroutine.sil │ │ │ ├── simple.sil │ │ │ └── swift-2048.sil │ ├── spds │ │ └── de │ │ │ └── fraunhofer │ │ │ └── iem │ │ │ ├── PathExpression │ │ │ └── 1.0.0 │ │ │ │ ├── PathExpression-1.0.0.jar │ │ │ │ └── PathExpression-1.0.0.pom │ │ │ ├── SPDS │ │ │ └── 3.1.1 │ │ │ │ └── SPDS-3.1.1.pom │ │ │ ├── WPDS │ │ │ └── 3.1.1 │ │ │ │ ├── WPDS-3.1.1.jar │ │ │ │ └── WPDS-3.1.1.pom │ │ │ ├── boomerangPDS │ │ │ └── 3.1.1 │ │ │ │ ├── boomerangPDS-3.1.1.jar │ │ │ │ └── boomerangPDS-3.1.1.pom │ │ │ ├── boomerangScope │ │ │ └── 3.1.1 │ │ │ │ ├── boomerangScope-3.1.1.jar │ │ │ │ └── boomerangScope-3.1.1.pom │ │ │ ├── idealPDS │ │ │ └── 3.1.1 │ │ │ │ ├── idealPDS-3.1.1.jar │ │ │ │ └── idealPDS-3.1.1.pom │ │ │ ├── synchronizedPDS │ │ │ └── 3.1.1 │ │ │ │ ├── synchronizedPDS-3.1.1.jar │ │ │ │ └── synchronizedPDS-3.1.1.pom │ │ │ └── testCore │ │ │ └── 3.1.1 │ │ │ ├── testCore-3.1.1.jar │ │ │ └── testCore-3.1.1.pom │ ├── specs │ │ ├── basic-taint-spec.json │ │ └── basic-typestate-spec.json │ ├── swift │ │ ├── ArrayAccess1.swift │ │ ├── TypeHierarchy1.swift │ │ └── VariableNames1.swift │ ├── swirl │ │ └── modules │ │ │ └── SwiftyJSON.Pods.sil.swirl │ └── utils │ │ ├── README.txt │ │ ├── swan-swiftc │ │ └── swan-xcodebuild └── settings.gradle ├── specifications ├── examples │ ├── taint-args.json │ ├── taint-regex.json │ ├── taint.json │ ├── typestate-json-only.json │ └── typestate-json-with-programmatic.json ├── location-api │ ├── README.md │ ├── StandardLocationService.json │ └── VisitsLocationService.json └── sqlite-api │ ├── Insert.json │ ├── Read.json │ └── Update.json ├── swift ├── build.sh ├── swan-swiftc │ ├── Package.resolved │ ├── Package.swift │ ├── Sources │ │ └── swan-swiftc │ │ │ └── main.swift │ └── build.sh └── swan-xcodebuild │ ├── Package.resolved │ ├── Package.swift │ ├── Sources │ └── swan-xcodebuild │ │ └── main.swift │ └── build.sh └── tests ├── README.md ├── default-taint-spec.json ├── interprocedural ├── closures │ ├── test.bash │ └── test.swift ├── recursion │ ├── test.bash │ └── test.swift └── test.bash ├── security ├── crypto-swift │ ├── global-test │ │ ├── test.bash │ │ └── test.swift │ ├── rule-1-ecb-block-mode │ │ ├── test.bash │ │ └── test.swift │ ├── rule-2-iv │ │ ├── test.bash │ │ └── test.swift │ ├── rule-3-constant-keys │ │ ├── test.bash │ │ └── test.swift │ ├── rule-4-constant-salts │ │ ├── test.bash │ │ └── test.swift │ ├── rule-5-low-iteration-count │ │ ├── test.bash │ │ └── test.swift │ ├── rule-7-constant-passwords │ │ ├── test.bash │ │ └── test.swift │ └── test.bash └── test.bash ├── sil-packages └── ColorizeSwift.sil ├── simple-taint-examples ├── ArrayAccess1 │ ├── test.bash │ └── test.swift ├── DynamicDispatch1 │ ├── test.bash │ └── test.swift ├── FieldSensitivity1 │ ├── test.bash │ └── test.swift ├── FieldSensitivity2 │ ├── test.bash │ └── test.swift ├── FlowDroidFigure2 │ ├── test.bash │ └── test.swift ├── FlowDroidListing2 │ ├── test.bash │ └── test.swift ├── FunctionReturn │ ├── test.bash │ └── test.swift ├── ObjectSensitivity1 │ ├── test.bash │ └── test.swift ├── Sanitizer │ ├── test.bash │ └── test.swift ├── Simple │ ├── test.bash │ └── test.swift ├── StringConcat1 │ ├── test.bash │ └── test.swift └── test.bash ├── skip.txt ├── ssl ├── containers │ ├── array │ │ ├── test.bash │ │ └── test.swift │ ├── dictionary │ │ ├── test.bash │ │ └── test.swift │ ├── set │ │ ├── test.bash │ │ └── test.swift │ └── test.bash └── test.bash ├── swan-spm.py ├── test.bash ├── tester.bash ├── testing-schemes ├── custom-spec-args │ ├── custom-spec.json │ ├── test.bash │ └── test.swift ├── custom-spec-regex │ ├── custom-spec.json │ ├── test.bash │ └── test.swift ├── custom-spec │ ├── custom-spec.json │ ├── test.bash │ └── test.swift ├── default-taint-spec │ ├── test.bash │ └── test.swift ├── failure-tests │ ├── missing-annotations │ │ ├── test.bash │ │ └── test.swift │ ├── no-spec │ │ ├── test.bash │ │ └── test.swift │ └── test.bash ├── swift-package-manager │ ├── Package.swift │ ├── Sources │ │ └── test │ │ │ └── main.swift │ └── test.bash ├── swirl-in-swan-dir │ ├── test.bash │ ├── test.swift │ └── test.swirl ├── test.bash └── typestate-with-taint │ ├── test.bash │ └── test.swift └── typestate ├── database ├── spec.json ├── test.bash └── test.swift ├── file-open-close ├── test.bash └── test.swift ├── location-api ├── standard-location-service │ ├── test.bash │ └── test.swift ├── test.bash └── visits-location-service │ ├── test.bash │ └── test.swift ├── sqlite-api ├── insert │ ├── test.bash │ └── test.swift ├── read │ ├── test.bash │ └── test.swift ├── test.bash └── update │ ├── test.bash │ └── test.swift └── test.bash /.github/workflows/macOS.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/.github/workflows/macOS.yml -------------------------------------------------------------------------------- /.github/workflows/ubuntu.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/.github/workflows/ubuntu.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/.gitmodules -------------------------------------------------------------------------------- /.idea/codeStyles/Project.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/.idea/codeStyles/Project.xml -------------------------------------------------------------------------------- /.idea/codeStyles/codeStyleConfig.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/.idea/codeStyles/codeStyleConfig.xml -------------------------------------------------------------------------------- /.idea/misc.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/.idea/misc.xml -------------------------------------------------------------------------------- /.idea/modules.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/.idea/modules.xml -------------------------------------------------------------------------------- /.idea/scala_settings.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/.idea/scala_settings.xml -------------------------------------------------------------------------------- /.idea/swan.iml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/.idea/swan.iml -------------------------------------------------------------------------------- /.idea/vcs.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/.idea/vcs.xml -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /NOTICE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/NOTICE.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/README.md -------------------------------------------------------------------------------- /dev/SwanViewer/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/dev/SwanViewer/README.md -------------------------------------------------------------------------------- /dev/SwanViewer/SwanViewer.xcodeproj/project.pbxproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/dev/SwanViewer/SwanViewer.xcodeproj/project.pbxproj -------------------------------------------------------------------------------- /dev/SwanViewer/SwanViewer/AppDelegate.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/dev/SwanViewer/SwanViewer/AppDelegate.swift -------------------------------------------------------------------------------- /dev/SwanViewer/SwanViewer/Assets.xcassets/AccentColor.colorset/Contents.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/dev/SwanViewer/SwanViewer/Assets.xcassets/AccentColor.colorset/Contents.json -------------------------------------------------------------------------------- /dev/SwanViewer/SwanViewer/Assets.xcassets/AppIcon.appiconset/Contents.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/dev/SwanViewer/SwanViewer/Assets.xcassets/AppIcon.appiconset/Contents.json -------------------------------------------------------------------------------- /dev/SwanViewer/SwanViewer/Assets.xcassets/Contents.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/dev/SwanViewer/SwanViewer/Assets.xcassets/Contents.json -------------------------------------------------------------------------------- /dev/SwanViewer/SwanViewer/Base.lproj/Main.storyboard: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/dev/SwanViewer/SwanViewer/Base.lproj/Main.storyboard -------------------------------------------------------------------------------- /dev/SwanViewer/SwanViewer/Info.plist: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/dev/SwanViewer/SwanViewer/Info.plist -------------------------------------------------------------------------------- /dev/SwanViewer/SwanViewer/SwanViewer.entitlements: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/dev/SwanViewer/SwanViewer/SwanViewer.entitlements -------------------------------------------------------------------------------- /dev/SwanViewer/SwanViewer/ViewController.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/dev/SwanViewer/SwanViewer/ViewController.swift -------------------------------------------------------------------------------- /doc/LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/doc/LICENSE.md -------------------------------------------------------------------------------- /doc/licenses/ApacheLicense2.0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/doc/licenses/ApacheLicense2.0.txt -------------------------------------------------------------------------------- /doc/licenses/EclipsePublicLicense2.0.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/doc/licenses/EclipsePublicLicense2.0.txt -------------------------------------------------------------------------------- /doc/licenses/MIT.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/doc/licenses/MIT.txt -------------------------------------------------------------------------------- /doc/readme/example-typestate.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/doc/readme/example-typestate.gif -------------------------------------------------------------------------------- /doc/readme/pipeline.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/doc/readme/pipeline.png -------------------------------------------------------------------------------- /jvm/.idea/.gitignore: -------------------------------------------------------------------------------- 1 | # Default ignored files 2 | /workspace.xml 3 | -------------------------------------------------------------------------------- /jvm/.idea/.name: -------------------------------------------------------------------------------- 1 | swan-spds -------------------------------------------------------------------------------- /jvm/.idea/codeStyles/Project.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/.idea/codeStyles/Project.xml -------------------------------------------------------------------------------- /jvm/.idea/codeStyles/codeStyleConfig.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/.idea/codeStyles/codeStyleConfig.xml -------------------------------------------------------------------------------- /jvm/.idea/compiler.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/.idea/compiler.xml -------------------------------------------------------------------------------- /jvm/.idea/copyright/Apache.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/.idea/copyright/Apache.xml -------------------------------------------------------------------------------- /jvm/.idea/copyright/profiles_settings.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/.idea/copyright/profiles_settings.xml -------------------------------------------------------------------------------- /jvm/.idea/gradle.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/.idea/gradle.xml -------------------------------------------------------------------------------- /jvm/.idea/inspectionProfiles/Project_Default.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/.idea/inspectionProfiles/Project_Default.xml -------------------------------------------------------------------------------- /jvm/.idea/jarRepositories.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/.idea/jarRepositories.xml -------------------------------------------------------------------------------- /jvm/.idea/misc.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/.idea/misc.xml -------------------------------------------------------------------------------- /jvm/.idea/runConfigurations/General_Tests.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/.idea/runConfigurations/General_Tests.xml -------------------------------------------------------------------------------- /jvm/.idea/runConfigurations/SIL_Playground.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/.idea/runConfigurations/SIL_Playground.xml -------------------------------------------------------------------------------- /jvm/.idea/runConfigurations/SPDS_SIL_Playground.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/.idea/runConfigurations/SPDS_SIL_Playground.xml -------------------------------------------------------------------------------- /jvm/.idea/runConfigurations/SPDS_SWIRL_Playground.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/.idea/runConfigurations/SPDS_SWIRL_Playground.xml -------------------------------------------------------------------------------- /jvm/.idea/runConfigurations/SPDS_Swift_Playground.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/.idea/runConfigurations/SPDS_Swift_Playground.xml -------------------------------------------------------------------------------- /jvm/.idea/runConfigurations/SWIRL_Playground.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/.idea/runConfigurations/SWIRL_Playground.xml -------------------------------------------------------------------------------- /jvm/.idea/runConfigurations/Swift_Playground.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/.idea/runConfigurations/Swift_Playground.xml -------------------------------------------------------------------------------- /jvm/.idea/scala_compiler.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/.idea/scala_compiler.xml -------------------------------------------------------------------------------- /jvm/.idea/scala_settings.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/.idea/scala_settings.xml -------------------------------------------------------------------------------- /jvm/.idea/uiDesigner.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/.idea/uiDesigner.xml -------------------------------------------------------------------------------- /jvm/.idea/vcs.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/.idea/vcs.xml -------------------------------------------------------------------------------- /jvm/build.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/build.gradle -------------------------------------------------------------------------------- /jvm/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/build.sh -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.drivers/build.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.drivers/build.gradle -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.drivers/src/ca/ualberta/maple/swan/drivers/Driver.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.drivers/src/ca/ualberta/maple/swan/drivers/Driver.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.drivers/src/ca/ualberta/maple/swan/drivers/SwanDirProcessor.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.drivers/src/ca/ualberta/maple/swan/drivers/SwanDirProcessor.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.drivers/src/resources/log4j.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.drivers/src/resources/log4j.properties -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.drivers/src/resources/models.swirl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.drivers/src/resources/models.swirl -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.ir/build.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.ir/build.gradle -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.ir/src/scala/ca/ualberta/maple/swan/ir/DynamicDispatchGraph.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.ir/src/scala/ca/ualberta/maple/swan/ir/DynamicDispatchGraph.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.ir/src/scala/ca/ualberta/maple/swan/ir/Exceptions.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.ir/src/scala/ca/ualberta/maple/swan/ir/Exceptions.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.ir/src/scala/ca/ualberta/maple/swan/ir/ModuleGrouper.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.ir/src/scala/ca/ualberta/maple/swan/ir/ModuleGrouper.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.ir/src/scala/ca/ualberta/maple/swan/ir/Printer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.ir/src/scala/ca/ualberta/maple/swan/ir/Printer.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.ir/src/scala/ca/ualberta/maple/swan/ir/SWIRL.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.ir/src/scala/ca/ualberta/maple/swan/ir/SWIRL.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.ir/src/scala/ca/ualberta/maple/swan/ir/SWIRLBuilder.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.ir/src/scala/ca/ualberta/maple/swan/ir/SWIRLBuilder.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.ir/src/scala/ca/ualberta/maple/swan/ir/SWIRLParser.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.ir/src/scala/ca/ualberta/maple/swan/ir/SWIRLParser.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.ir/src/scala/ca/ualberta/maple/swan/ir/SWIRLPrinter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.ir/src/scala/ca/ualberta/maple/swan/ir/SWIRLPrinter.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.ir/src/scala/ca/ualberta/maple/swan/ir/canonical/Mutations.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.ir/src/scala/ca/ualberta/maple/swan/ir/canonical/Mutations.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.ir/src/scala/ca/ualberta/maple/swan/ir/canonical/SWIRLPass.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.ir/src/scala/ca/ualberta/maple/swan/ir/canonical/SWIRLPass.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.ir/src/scala/ca/ualberta/maple/swan/ir/raw/SWIRLGen.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.ir/src/scala/ca/ualberta/maple/swan/ir/raw/SWIRLGen.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.ir/src/scala/ca/ualberta/maple/swan/ir/raw/Utils.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.ir/src/scala/ca/ualberta/maple/swan/ir/raw/Utils.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.parser/build.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.parser/build.gradle -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.parser/src/scala/ca/ualberta/maple/swan/parser/Printer.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.parser/src/scala/ca/ualberta/maple/swan/parser/Printer.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.parser/src/scala/ca/ualberta/maple/swan/parser/SIL.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.parser/src/scala/ca/ualberta/maple/swan/parser/SIL.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.parser/src/scala/ca/ualberta/maple/swan/parser/SILParser.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.parser/src/scala/ca/ualberta/maple/swan/parser/SILParser.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.parser/src/scala/ca/ualberta/maple/swan/parser/SILPrinter.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.parser/src/scala/ca/ualberta/maple/swan/parser/SILPrinter.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/build.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/build.gradle -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/AbsEdgeWeights.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/AbsEdgeWeights.java -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/CallEdge.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/CallEdge.java -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/CallGraph.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/CallGraph.java -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/CallGraphDiff.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/CallGraphDiff.java -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/CallGraphInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/CallGraphInfo.java -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/CallGraphView.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/CallGraphView.java -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/DijkstraAlgorithm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/DijkstraAlgorithm.java -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/EdgeWeights.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/EdgeWeights.java -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/EdgeWeights2.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/EdgeWeights2.java -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/Escape.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/Escape.java -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/ExecutesMany.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/ExecutesMany.java -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/External.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/External.java -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/HeapObject.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/HeapObject.java -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/Jui.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/Jui.java -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/ObjectManager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/ObjectManager.java -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/Pointer.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/Pointer.java -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/PointsTo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/PointsTo.java -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/Polymorphic.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/Polymorphic.java -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/PolymorphicInfo.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/PolymorphicInfo.java -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/ProbeClass.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/ProbeClass.java -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/ProbeField.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/ProbeField.java -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/ProbeFieldSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/ProbeFieldSet.java -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/ProbeMethod.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/ProbeMethod.java -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/ProbeParameter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/ProbeParameter.java -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/ProbePtSet.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/ProbePtSet.java -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/ProbeStmt.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/ProbeStmt.java -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/Recursive.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/Recursive.java -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/SideEffect.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/SideEffect.java -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/TextReader.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/TextReader.java -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/TextWriter.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/TextWriter.java -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/Util.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/java/ca/ualberta/maple/swan/spds/probe/Util.java -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/Stats.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/Stats.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/analysis/QueryEngine.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/analysis/QueryEngine.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/analysis/crypto/CryptoAnalysis.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/analysis/crypto/CryptoAnalysis.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/analysis/taint/TaintAnalysis.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/analysis/taint/TaintAnalysis.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/analysis/taint/TaintResults.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/analysis/taint/TaintResults.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/analysis/taint/TaintSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/analysis/taint/TaintSpecification.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/analysis/typestate/TypeStateAnalysis.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/analysis/typestate/TypeStateAnalysis.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/analysis/typestate/TypeStateResults.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/analysis/typestate/TypeStateResults.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/analysis/typestate/TypeStateSpecification.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/analysis/typestate/TypeStateSpecification.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/analysis/typestate/statemachines/StandardLocationService.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/analysis/typestate/statemachines/StandardLocationService.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/analysis/typestate/statemachines/VisitsLocationService.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/analysis/typestate/statemachines/VisitsLocationService.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/cg/CHA.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/cg/CHA.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/cg/CallGraphBuilder.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/cg/CallGraphBuilder.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/cg/CallGraphConstructor.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/cg/CallGraphConstructor.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/cg/CallGraphUtils.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/cg/CallGraphUtils.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/cg/ORTA.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/cg/ORTA.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/cg/PRTA.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/cg/PRTA.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/cg/SPDS.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/cg/SPDS.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/cg/TrivialEdges.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/cg/TrivialEdges.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/cg/TypeFlowCG.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/cg/TypeFlowCG.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/cg/UCG.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/cg/UCG.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/cg/UCGUtils.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/cg/UCGUtils.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/cg/VTA.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/cg/VTA.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/cg/pa/MatrixUnionFind.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/cg/pa/MatrixUnionFind.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/cg/pa/PointerAnalysis.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/cg/pa/PointerAnalysis.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/cg/pa/TypeFlow.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/cg/pa/TypeFlow.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/cg/pa/UnionFind.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/cg/pa/UnionFind.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/cg/pa/UnionFindSets.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/cg/pa/UnionFindSets.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/cg/pa/VTA.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/cg/pa/VTA.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/probe/DiffStats.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/probe/DiffStats.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/structures/SWANCallGraph.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/structures/SWANCallGraph.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/structures/SWANControlFlowGraph.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/structures/SWANControlFlowGraph.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/structures/SWANDeclaredMethod.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/structures/SWANDeclaredMethod.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/structures/SWANField.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/structures/SWANField.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/structures/SWANIfStatement.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/structures/SWANIfStatement.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/structures/SWANInvokeExpr.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/structures/SWANInvokeExpr.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/structures/SWANMethod.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/structures/SWANMethod.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/structures/SWANStatement.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/structures/SWANStatement.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/structures/SWANStaticFieldVal.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/structures/SWANStaticFieldVal.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/structures/SWANType.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/structures/SWANType.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/structures/SWANVal.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.spds/src/scala/ca/ualberta/maple/swan/spds/structures/SWANVal.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.test/build.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.test/build.gradle -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.test/src/scala/ca/ualberta/maple/swan/test/AnnotationChecker.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.test/src/scala/ca/ualberta/maple/swan/test/AnnotationChecker.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.test/src/scala/ca/ualberta/maple/swan/test/TestDriver.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.test/src/scala/ca/ualberta/maple/swan/test/TestDriver.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.utils/build.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.utils/build.gradle -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.utils/src/ca/ualberta/maple/swan/utils/Logging.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.utils/src/ca/ualberta/maple/swan/utils/Logging.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.utils/src/ca/ualberta/maple/swan/utils/SwiftDemangleLocator.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.utils/src/ca/ualberta/maple/swan/utils/SwiftDemangleLocator.scala -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.viewer/build.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.viewer/build.gradle -------------------------------------------------------------------------------- /jvm/ca.ualberta.maple.swan.viewer/src/ca/ualberta/maple/swan/viewer/Main.scala: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/ca.ualberta.maple.swan.viewer/src/ca/ualberta/maple/swan/viewer/Main.scala -------------------------------------------------------------------------------- /jvm/gradle.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/gradle.properties -------------------------------------------------------------------------------- /jvm/gradle.properties.sample: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/gradle.properties.sample -------------------------------------------------------------------------------- /jvm/gradle/wrapper/gradle-wrapper.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/gradle/wrapper/gradle-wrapper.jar -------------------------------------------------------------------------------- /jvm/gradle/wrapper/gradle-wrapper.properties: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/gradle/wrapper/gradle-wrapper.properties -------------------------------------------------------------------------------- /jvm/gradlew: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/gradlew -------------------------------------------------------------------------------- /jvm/gradlew.bat: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/gradlew.bat -------------------------------------------------------------------------------- /jvm/resources/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/resources/README.txt -------------------------------------------------------------------------------- /jvm/resources/example-swan-dir/ShellOut.ShellOut.sil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/resources/example-swan-dir/ShellOut.ShellOut.sil -------------------------------------------------------------------------------- /jvm/resources/example-swan-dir/Sourceful.Sourceful.sil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/resources/example-swan-dir/Sourceful.Sourceful.sil -------------------------------------------------------------------------------- /jvm/resources/example-swan-dir/SwanViewer.SwanViewer.sil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/resources/example-swan-dir/SwanViewer.SwanViewer.sil -------------------------------------------------------------------------------- /jvm/resources/playground/playground.sil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/resources/playground/playground.sil -------------------------------------------------------------------------------- /jvm/resources/playground/playground.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/resources/playground/playground.swift -------------------------------------------------------------------------------- /jvm/resources/playground/playground.swirl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/resources/playground/playground.swirl -------------------------------------------------------------------------------- /jvm/resources/playground/spds/playground.sil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/resources/playground/spds/playground.sil -------------------------------------------------------------------------------- /jvm/resources/playground/spds/playground.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/resources/playground/spds/playground.swift -------------------------------------------------------------------------------- /jvm/resources/playground/spds/playground.swirl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/resources/playground/spds/playground.swirl -------------------------------------------------------------------------------- /jvm/resources/sil/large-modules/RxSwift.sil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/resources/sil/large-modules/RxSwift.sil -------------------------------------------------------------------------------- /jvm/resources/sil/modules/FieldSensitivity2.sil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/resources/sil/modules/FieldSensitivity2.sil -------------------------------------------------------------------------------- /jvm/resources/sil/modules/StandardAPIHundredMeters4096m.sil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/resources/sil/modules/StandardAPIHundredMeters4096m.sil -------------------------------------------------------------------------------- /jvm/resources/sil/modules/SwiftyJSON.Pods.sil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/resources/sil/modules/SwiftyJSON.Pods.sil -------------------------------------------------------------------------------- /jvm/resources/sil/modules/TypeHierarchy1.sil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/resources/sil/modules/TypeHierarchy1.sil -------------------------------------------------------------------------------- /jvm/resources/sil/modules/coroutine.sil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/resources/sil/modules/coroutine.sil -------------------------------------------------------------------------------- /jvm/resources/sil/modules/simple.sil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/resources/sil/modules/simple.sil -------------------------------------------------------------------------------- /jvm/resources/sil/modules/swift-2048.sil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/resources/sil/modules/swift-2048.sil -------------------------------------------------------------------------------- /jvm/resources/spds/de/fraunhofer/iem/PathExpression/1.0.0/PathExpression-1.0.0.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/resources/spds/de/fraunhofer/iem/PathExpression/1.0.0/PathExpression-1.0.0.jar -------------------------------------------------------------------------------- /jvm/resources/spds/de/fraunhofer/iem/PathExpression/1.0.0/PathExpression-1.0.0.pom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/resources/spds/de/fraunhofer/iem/PathExpression/1.0.0/PathExpression-1.0.0.pom -------------------------------------------------------------------------------- /jvm/resources/spds/de/fraunhofer/iem/SPDS/3.1.1/SPDS-3.1.1.pom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/resources/spds/de/fraunhofer/iem/SPDS/3.1.1/SPDS-3.1.1.pom -------------------------------------------------------------------------------- /jvm/resources/spds/de/fraunhofer/iem/WPDS/3.1.1/WPDS-3.1.1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/resources/spds/de/fraunhofer/iem/WPDS/3.1.1/WPDS-3.1.1.jar -------------------------------------------------------------------------------- /jvm/resources/spds/de/fraunhofer/iem/WPDS/3.1.1/WPDS-3.1.1.pom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/resources/spds/de/fraunhofer/iem/WPDS/3.1.1/WPDS-3.1.1.pom -------------------------------------------------------------------------------- /jvm/resources/spds/de/fraunhofer/iem/boomerangPDS/3.1.1/boomerangPDS-3.1.1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/resources/spds/de/fraunhofer/iem/boomerangPDS/3.1.1/boomerangPDS-3.1.1.jar -------------------------------------------------------------------------------- /jvm/resources/spds/de/fraunhofer/iem/boomerangPDS/3.1.1/boomerangPDS-3.1.1.pom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/resources/spds/de/fraunhofer/iem/boomerangPDS/3.1.1/boomerangPDS-3.1.1.pom -------------------------------------------------------------------------------- /jvm/resources/spds/de/fraunhofer/iem/boomerangScope/3.1.1/boomerangScope-3.1.1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/resources/spds/de/fraunhofer/iem/boomerangScope/3.1.1/boomerangScope-3.1.1.jar -------------------------------------------------------------------------------- /jvm/resources/spds/de/fraunhofer/iem/boomerangScope/3.1.1/boomerangScope-3.1.1.pom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/resources/spds/de/fraunhofer/iem/boomerangScope/3.1.1/boomerangScope-3.1.1.pom -------------------------------------------------------------------------------- /jvm/resources/spds/de/fraunhofer/iem/idealPDS/3.1.1/idealPDS-3.1.1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/resources/spds/de/fraunhofer/iem/idealPDS/3.1.1/idealPDS-3.1.1.jar -------------------------------------------------------------------------------- /jvm/resources/spds/de/fraunhofer/iem/idealPDS/3.1.1/idealPDS-3.1.1.pom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/resources/spds/de/fraunhofer/iem/idealPDS/3.1.1/idealPDS-3.1.1.pom -------------------------------------------------------------------------------- /jvm/resources/spds/de/fraunhofer/iem/synchronizedPDS/3.1.1/synchronizedPDS-3.1.1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/resources/spds/de/fraunhofer/iem/synchronizedPDS/3.1.1/synchronizedPDS-3.1.1.jar -------------------------------------------------------------------------------- /jvm/resources/spds/de/fraunhofer/iem/synchronizedPDS/3.1.1/synchronizedPDS-3.1.1.pom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/resources/spds/de/fraunhofer/iem/synchronizedPDS/3.1.1/synchronizedPDS-3.1.1.pom -------------------------------------------------------------------------------- /jvm/resources/spds/de/fraunhofer/iem/testCore/3.1.1/testCore-3.1.1.jar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/resources/spds/de/fraunhofer/iem/testCore/3.1.1/testCore-3.1.1.jar -------------------------------------------------------------------------------- /jvm/resources/spds/de/fraunhofer/iem/testCore/3.1.1/testCore-3.1.1.pom: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/resources/spds/de/fraunhofer/iem/testCore/3.1.1/testCore-3.1.1.pom -------------------------------------------------------------------------------- /jvm/resources/specs/basic-taint-spec.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/resources/specs/basic-taint-spec.json -------------------------------------------------------------------------------- /jvm/resources/specs/basic-typestate-spec.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/resources/specs/basic-typestate-spec.json -------------------------------------------------------------------------------- /jvm/resources/swift/ArrayAccess1.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/resources/swift/ArrayAccess1.swift -------------------------------------------------------------------------------- /jvm/resources/swift/TypeHierarchy1.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/resources/swift/TypeHierarchy1.swift -------------------------------------------------------------------------------- /jvm/resources/swift/VariableNames1.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/resources/swift/VariableNames1.swift -------------------------------------------------------------------------------- /jvm/resources/swirl/modules/SwiftyJSON.Pods.sil.swirl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/resources/swirl/modules/SwiftyJSON.Pods.sil.swirl -------------------------------------------------------------------------------- /jvm/resources/utils/README.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/resources/utils/README.txt -------------------------------------------------------------------------------- /jvm/resources/utils/swan-swiftc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/resources/utils/swan-swiftc -------------------------------------------------------------------------------- /jvm/resources/utils/swan-xcodebuild: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/resources/utils/swan-xcodebuild -------------------------------------------------------------------------------- /jvm/settings.gradle: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/jvm/settings.gradle -------------------------------------------------------------------------------- /specifications/examples/taint-args.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/specifications/examples/taint-args.json -------------------------------------------------------------------------------- /specifications/examples/taint-regex.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/specifications/examples/taint-regex.json -------------------------------------------------------------------------------- /specifications/examples/taint.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/specifications/examples/taint.json -------------------------------------------------------------------------------- /specifications/examples/typestate-json-only.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/specifications/examples/typestate-json-only.json -------------------------------------------------------------------------------- /specifications/examples/typestate-json-with-programmatic.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/specifications/examples/typestate-json-with-programmatic.json -------------------------------------------------------------------------------- /specifications/location-api/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/specifications/location-api/README.md -------------------------------------------------------------------------------- /specifications/location-api/StandardLocationService.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/specifications/location-api/StandardLocationService.json -------------------------------------------------------------------------------- /specifications/location-api/VisitsLocationService.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/specifications/location-api/VisitsLocationService.json -------------------------------------------------------------------------------- /specifications/sqlite-api/Insert.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/specifications/sqlite-api/Insert.json -------------------------------------------------------------------------------- /specifications/sqlite-api/Read.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/specifications/sqlite-api/Read.json -------------------------------------------------------------------------------- /specifications/sqlite-api/Update.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/specifications/sqlite-api/Update.json -------------------------------------------------------------------------------- /swift/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/swift/build.sh -------------------------------------------------------------------------------- /swift/swan-swiftc/Package.resolved: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/swift/swan-swiftc/Package.resolved -------------------------------------------------------------------------------- /swift/swan-swiftc/Package.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/swift/swan-swiftc/Package.swift -------------------------------------------------------------------------------- /swift/swan-swiftc/Sources/swan-swiftc/main.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/swift/swan-swiftc/Sources/swan-swiftc/main.swift -------------------------------------------------------------------------------- /swift/swan-swiftc/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/swift/swan-swiftc/build.sh -------------------------------------------------------------------------------- /swift/swan-xcodebuild/Package.resolved: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/swift/swan-xcodebuild/Package.resolved -------------------------------------------------------------------------------- /swift/swan-xcodebuild/Package.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/swift/swan-xcodebuild/Package.swift -------------------------------------------------------------------------------- /swift/swan-xcodebuild/Sources/swan-xcodebuild/main.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/swift/swan-xcodebuild/Sources/swan-xcodebuild/main.swift -------------------------------------------------------------------------------- /swift/swan-xcodebuild/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/swift/swan-xcodebuild/build.sh -------------------------------------------------------------------------------- /tests/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/README.md -------------------------------------------------------------------------------- /tests/default-taint-spec.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/default-taint-spec.json -------------------------------------------------------------------------------- /tests/interprocedural/closures/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/interprocedural/closures/test.bash -------------------------------------------------------------------------------- /tests/interprocedural/closures/test.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/interprocedural/closures/test.swift -------------------------------------------------------------------------------- /tests/interprocedural/recursion/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/interprocedural/recursion/test.bash -------------------------------------------------------------------------------- /tests/interprocedural/recursion/test.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/interprocedural/recursion/test.swift -------------------------------------------------------------------------------- /tests/interprocedural/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/interprocedural/test.bash -------------------------------------------------------------------------------- /tests/security/crypto-swift/global-test/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/security/crypto-swift/global-test/test.bash -------------------------------------------------------------------------------- /tests/security/crypto-swift/global-test/test.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/security/crypto-swift/global-test/test.swift -------------------------------------------------------------------------------- /tests/security/crypto-swift/rule-1-ecb-block-mode/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/security/crypto-swift/rule-1-ecb-block-mode/test.bash -------------------------------------------------------------------------------- /tests/security/crypto-swift/rule-1-ecb-block-mode/test.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/security/crypto-swift/rule-1-ecb-block-mode/test.swift -------------------------------------------------------------------------------- /tests/security/crypto-swift/rule-2-iv/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/security/crypto-swift/rule-2-iv/test.bash -------------------------------------------------------------------------------- /tests/security/crypto-swift/rule-2-iv/test.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/security/crypto-swift/rule-2-iv/test.swift -------------------------------------------------------------------------------- /tests/security/crypto-swift/rule-3-constant-keys/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/security/crypto-swift/rule-3-constant-keys/test.bash -------------------------------------------------------------------------------- /tests/security/crypto-swift/rule-3-constant-keys/test.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/security/crypto-swift/rule-3-constant-keys/test.swift -------------------------------------------------------------------------------- /tests/security/crypto-swift/rule-4-constant-salts/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/security/crypto-swift/rule-4-constant-salts/test.bash -------------------------------------------------------------------------------- /tests/security/crypto-swift/rule-4-constant-salts/test.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/security/crypto-swift/rule-4-constant-salts/test.swift -------------------------------------------------------------------------------- /tests/security/crypto-swift/rule-5-low-iteration-count/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/security/crypto-swift/rule-5-low-iteration-count/test.bash -------------------------------------------------------------------------------- /tests/security/crypto-swift/rule-5-low-iteration-count/test.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/security/crypto-swift/rule-5-low-iteration-count/test.swift -------------------------------------------------------------------------------- /tests/security/crypto-swift/rule-7-constant-passwords/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/security/crypto-swift/rule-7-constant-passwords/test.bash -------------------------------------------------------------------------------- /tests/security/crypto-swift/rule-7-constant-passwords/test.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/security/crypto-swift/rule-7-constant-passwords/test.swift -------------------------------------------------------------------------------- /tests/security/crypto-swift/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/security/crypto-swift/test.bash -------------------------------------------------------------------------------- /tests/security/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/security/test.bash -------------------------------------------------------------------------------- /tests/sil-packages/ColorizeSwift.sil: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/sil-packages/ColorizeSwift.sil -------------------------------------------------------------------------------- /tests/simple-taint-examples/ArrayAccess1/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/simple-taint-examples/ArrayAccess1/test.bash -------------------------------------------------------------------------------- /tests/simple-taint-examples/ArrayAccess1/test.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/simple-taint-examples/ArrayAccess1/test.swift -------------------------------------------------------------------------------- /tests/simple-taint-examples/DynamicDispatch1/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/simple-taint-examples/DynamicDispatch1/test.bash -------------------------------------------------------------------------------- /tests/simple-taint-examples/DynamicDispatch1/test.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/simple-taint-examples/DynamicDispatch1/test.swift -------------------------------------------------------------------------------- /tests/simple-taint-examples/FieldSensitivity1/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/simple-taint-examples/FieldSensitivity1/test.bash -------------------------------------------------------------------------------- /tests/simple-taint-examples/FieldSensitivity1/test.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/simple-taint-examples/FieldSensitivity1/test.swift -------------------------------------------------------------------------------- /tests/simple-taint-examples/FieldSensitivity2/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/simple-taint-examples/FieldSensitivity2/test.bash -------------------------------------------------------------------------------- /tests/simple-taint-examples/FieldSensitivity2/test.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/simple-taint-examples/FieldSensitivity2/test.swift -------------------------------------------------------------------------------- /tests/simple-taint-examples/FlowDroidFigure2/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/simple-taint-examples/FlowDroidFigure2/test.bash -------------------------------------------------------------------------------- /tests/simple-taint-examples/FlowDroidFigure2/test.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/simple-taint-examples/FlowDroidFigure2/test.swift -------------------------------------------------------------------------------- /tests/simple-taint-examples/FlowDroidListing2/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/simple-taint-examples/FlowDroidListing2/test.bash -------------------------------------------------------------------------------- /tests/simple-taint-examples/FlowDroidListing2/test.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/simple-taint-examples/FlowDroidListing2/test.swift -------------------------------------------------------------------------------- /tests/simple-taint-examples/FunctionReturn/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/simple-taint-examples/FunctionReturn/test.bash -------------------------------------------------------------------------------- /tests/simple-taint-examples/FunctionReturn/test.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/simple-taint-examples/FunctionReturn/test.swift -------------------------------------------------------------------------------- /tests/simple-taint-examples/ObjectSensitivity1/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/simple-taint-examples/ObjectSensitivity1/test.bash -------------------------------------------------------------------------------- /tests/simple-taint-examples/ObjectSensitivity1/test.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/simple-taint-examples/ObjectSensitivity1/test.swift -------------------------------------------------------------------------------- /tests/simple-taint-examples/Sanitizer/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/simple-taint-examples/Sanitizer/test.bash -------------------------------------------------------------------------------- /tests/simple-taint-examples/Sanitizer/test.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/simple-taint-examples/Sanitizer/test.swift -------------------------------------------------------------------------------- /tests/simple-taint-examples/Simple/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/simple-taint-examples/Simple/test.bash -------------------------------------------------------------------------------- /tests/simple-taint-examples/Simple/test.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/simple-taint-examples/Simple/test.swift -------------------------------------------------------------------------------- /tests/simple-taint-examples/StringConcat1/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/simple-taint-examples/StringConcat1/test.bash -------------------------------------------------------------------------------- /tests/simple-taint-examples/StringConcat1/test.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/simple-taint-examples/StringConcat1/test.swift -------------------------------------------------------------------------------- /tests/simple-taint-examples/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/simple-taint-examples/test.bash -------------------------------------------------------------------------------- /tests/skip.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/skip.txt -------------------------------------------------------------------------------- /tests/ssl/containers/array/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/ssl/containers/array/test.bash -------------------------------------------------------------------------------- /tests/ssl/containers/array/test.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/ssl/containers/array/test.swift -------------------------------------------------------------------------------- /tests/ssl/containers/dictionary/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/ssl/containers/dictionary/test.bash -------------------------------------------------------------------------------- /tests/ssl/containers/dictionary/test.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/ssl/containers/dictionary/test.swift -------------------------------------------------------------------------------- /tests/ssl/containers/set/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/ssl/containers/set/test.bash -------------------------------------------------------------------------------- /tests/ssl/containers/set/test.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/ssl/containers/set/test.swift -------------------------------------------------------------------------------- /tests/ssl/containers/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/ssl/containers/test.bash -------------------------------------------------------------------------------- /tests/ssl/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/ssl/test.bash -------------------------------------------------------------------------------- /tests/swan-spm.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/swan-spm.py -------------------------------------------------------------------------------- /tests/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/test.bash -------------------------------------------------------------------------------- /tests/tester.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/tester.bash -------------------------------------------------------------------------------- /tests/testing-schemes/custom-spec-args/custom-spec.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/testing-schemes/custom-spec-args/custom-spec.json -------------------------------------------------------------------------------- /tests/testing-schemes/custom-spec-args/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/testing-schemes/custom-spec-args/test.bash -------------------------------------------------------------------------------- /tests/testing-schemes/custom-spec-args/test.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/testing-schemes/custom-spec-args/test.swift -------------------------------------------------------------------------------- /tests/testing-schemes/custom-spec-regex/custom-spec.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/testing-schemes/custom-spec-regex/custom-spec.json -------------------------------------------------------------------------------- /tests/testing-schemes/custom-spec-regex/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/testing-schemes/custom-spec-regex/test.bash -------------------------------------------------------------------------------- /tests/testing-schemes/custom-spec-regex/test.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/testing-schemes/custom-spec-regex/test.swift -------------------------------------------------------------------------------- /tests/testing-schemes/custom-spec/custom-spec.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/testing-schemes/custom-spec/custom-spec.json -------------------------------------------------------------------------------- /tests/testing-schemes/custom-spec/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/testing-schemes/custom-spec/test.bash -------------------------------------------------------------------------------- /tests/testing-schemes/custom-spec/test.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/testing-schemes/custom-spec/test.swift -------------------------------------------------------------------------------- /tests/testing-schemes/default-taint-spec/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/testing-schemes/default-taint-spec/test.bash -------------------------------------------------------------------------------- /tests/testing-schemes/default-taint-spec/test.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/testing-schemes/default-taint-spec/test.swift -------------------------------------------------------------------------------- /tests/testing-schemes/failure-tests/missing-annotations/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/testing-schemes/failure-tests/missing-annotations/test.bash -------------------------------------------------------------------------------- /tests/testing-schemes/failure-tests/missing-annotations/test.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/testing-schemes/failure-tests/missing-annotations/test.swift -------------------------------------------------------------------------------- /tests/testing-schemes/failure-tests/no-spec/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/testing-schemes/failure-tests/no-spec/test.bash -------------------------------------------------------------------------------- /tests/testing-schemes/failure-tests/no-spec/test.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/testing-schemes/failure-tests/no-spec/test.swift -------------------------------------------------------------------------------- /tests/testing-schemes/failure-tests/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/testing-schemes/failure-tests/test.bash -------------------------------------------------------------------------------- /tests/testing-schemes/swift-package-manager/Package.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/testing-schemes/swift-package-manager/Package.swift -------------------------------------------------------------------------------- /tests/testing-schemes/swift-package-manager/Sources/test/main.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/testing-schemes/swift-package-manager/Sources/test/main.swift -------------------------------------------------------------------------------- /tests/testing-schemes/swift-package-manager/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/testing-schemes/swift-package-manager/test.bash -------------------------------------------------------------------------------- /tests/testing-schemes/swirl-in-swan-dir/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/testing-schemes/swirl-in-swan-dir/test.bash -------------------------------------------------------------------------------- /tests/testing-schemes/swirl-in-swan-dir/test.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/testing-schemes/swirl-in-swan-dir/test.swift -------------------------------------------------------------------------------- /tests/testing-schemes/swirl-in-swan-dir/test.swirl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/testing-schemes/swirl-in-swan-dir/test.swirl -------------------------------------------------------------------------------- /tests/testing-schemes/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/testing-schemes/test.bash -------------------------------------------------------------------------------- /tests/testing-schemes/typestate-with-taint/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/testing-schemes/typestate-with-taint/test.bash -------------------------------------------------------------------------------- /tests/testing-schemes/typestate-with-taint/test.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/testing-schemes/typestate-with-taint/test.swift -------------------------------------------------------------------------------- /tests/typestate/database/spec.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/typestate/database/spec.json -------------------------------------------------------------------------------- /tests/typestate/database/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/typestate/database/test.bash -------------------------------------------------------------------------------- /tests/typestate/database/test.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/typestate/database/test.swift -------------------------------------------------------------------------------- /tests/typestate/file-open-close/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/typestate/file-open-close/test.bash -------------------------------------------------------------------------------- /tests/typestate/file-open-close/test.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/typestate/file-open-close/test.swift -------------------------------------------------------------------------------- /tests/typestate/location-api/standard-location-service/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/typestate/location-api/standard-location-service/test.bash -------------------------------------------------------------------------------- /tests/typestate/location-api/standard-location-service/test.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/typestate/location-api/standard-location-service/test.swift -------------------------------------------------------------------------------- /tests/typestate/location-api/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/typestate/location-api/test.bash -------------------------------------------------------------------------------- /tests/typestate/location-api/visits-location-service/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/typestate/location-api/visits-location-service/test.bash -------------------------------------------------------------------------------- /tests/typestate/location-api/visits-location-service/test.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/typestate/location-api/visits-location-service/test.swift -------------------------------------------------------------------------------- /tests/typestate/sqlite-api/insert/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/typestate/sqlite-api/insert/test.bash -------------------------------------------------------------------------------- /tests/typestate/sqlite-api/insert/test.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/typestate/sqlite-api/insert/test.swift -------------------------------------------------------------------------------- /tests/typestate/sqlite-api/read/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/typestate/sqlite-api/read/test.bash -------------------------------------------------------------------------------- /tests/typestate/sqlite-api/read/test.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/typestate/sqlite-api/read/test.swift -------------------------------------------------------------------------------- /tests/typestate/sqlite-api/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/typestate/sqlite-api/test.bash -------------------------------------------------------------------------------- /tests/typestate/sqlite-api/update/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/typestate/sqlite-api/update/test.bash -------------------------------------------------------------------------------- /tests/typestate/sqlite-api/update/test.swift: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/typestate/sqlite-api/update/test.swift -------------------------------------------------------------------------------- /tests/typestate/test.bash: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/themaplelab/swan/HEAD/tests/typestate/test.bash --------------------------------------------------------------------------------