Preview

sola-st-DynaPyt-84338ff
- .github
  - workflows
    - docs.yml
      
      1.4 kB
    - python-publish.yml
      
      1.1 kB
    - tests.yml
      
      695 Bytes
- .gitignore
  
  3.6 kB
- .hypothesis
  - examples
    - 00e704d8d5e0ecbc
      - d4687fc2b67d106a
        
        12 Bytes
    - 06c6729e81b6b03f
      - d4687fc2b67d106a
        
        12 Bytes
    - 070bab4b51680fd4
      - 050aeff993017985
        
        6 Bytes
    - 0761b7e5687d7315
      - d4687fc2b67d106a
        
        12 Bytes
    - 0785d814e2e60df7
      - d4687fc2b67d106a
        
        12 Bytes
    - 0d0afba9bed77817
      - d4687fc2b67d106a
        
        12 Bytes
    - 12763464da46ebb8
      - d4687fc2b67d106a
        
        12 Bytes
    - 12de1899ffa853f9
      - d4687fc2b67d106a
        
        12 Bytes
    - 1396dac643f4e5e1
      - 394341b7182cd227
        
        4 Bytes
    - 14814e980c42b51f
      - d4687fc2b67d106a
        
        12 Bytes
    - 15c6bcd3d938071e
      - d4687fc2b67d106a
        
        12 Bytes
    - 1644e708640efc41
      - d4687fc2b67d106a
        
        12 Bytes
    - 1a31b0f562704e41
      - d4687fc2b67d106a
        
        12 Bytes
    - 1e923fb95db60fed
      - d4687fc2b67d106a
        
        12 Bytes
    - 2092c0f441226e9f
      - d4687fc2b67d106a
        
        12 Bytes
    - 214a95820e1ea14f
      - d4687fc2b67d106a
        
        12 Bytes
    - 22977577939b091a
      - 5ac8b79870cdc871
        
        13 Bytes
    - 22b89b643da1d8f4
      - d4687fc2b67d106a
        
        12 Bytes
    - 233f06a9913318fc
      - 209f436f95dac196
        
        13 Bytes
      - 26ce17cdad05fb4b
        
        12 Bytes
      - 2ae7c46f43f80ef4
        
        12 Bytes
      - 5dace5ba3904c38e
        
        12 Bytes
      - 906354d4baa24db5
        
        12 Bytes
      - 97076c310a521f61
        
        12 Bytes
      - ad9655b8aa0bc61b
        
        12 Bytes
      - af78792d2bd41877
        
        12 Bytes
      - b287960ff32fd9de
        
        12 Bytes
      - ba1cc6251a6626e0
        
        12 Bytes
      - c19561aac3836435
        
        12 Bytes
      - c9ba8440f9e85e68
        
        12 Bytes
      - d97dbb531bc5f8b0
        
        12 Bytes
      - fb8f25f948daa809
        
        12 Bytes
    - 235dcd29e8ea34f0
      - 94afdf80145cbb6e
        
        12 Bytes
      - d4687fc2b67d106a
        
        12 Bytes
    - 23871d9b06b0aca4
      - d4687fc2b67d106a
        
        12 Bytes
    - 27c7efb1df184972
      - d4687fc2b67d106a
        
        12 Bytes
    - 2bf6a222a7c968ef
      - d4687fc2b67d106a
        
        12 Bytes
    - 2e1337136cbfcef6
      - 7089cef4b92d73cc
        
        5 Bytes
    - 39eb3877e18bf7fd
      - d4687fc2b67d106a
        
        12 Bytes
    - 3a863f49ab3dcd1d
      - 94afdf80145cbb6e
        
        12 Bytes
      - d4687fc2b67d106a
        
        12 Bytes
    - 3b9ebae404f74dd2
      - d4687fc2b67d106a
        
        12 Bytes
    - 3becbef388ce02d0
      - d4687fc2b67d106a
        
        12 Bytes
    - 3f80ed7b6a0bd533
      - d4687fc2b67d106a
        
        12 Bytes
    - 44d450d885b51814
      - d4687fc2b67d106a
        
        12 Bytes
    - 499b683414f236e0
      - d4687fc2b67d106a
        
        12 Bytes
    - 4b9670a3df32aa0e
      - d4687fc2b67d106a
        
        12 Bytes
    - 4c8deff388b84927
      - d4687fc2b67d106a
        
        12 Bytes
    - 57eb04f45f86c904
      - d4687fc2b67d106a
        
        12 Bytes
    - 5aa77a2061a859f6
      - 94afdf80145cbb6e
        
        12 Bytes
    - 5edda0276862f130
      - d4687fc2b67d106a
        
        12 Bytes
    - 67d5eae1ec7bee9f
      - 3dbbd798e483d185
        
        6 Bytes
    - 68357fac813935b4
      - 050aeff993017985
        
        6 Bytes
    - 6b48a17f8372733e
      - 5d27ba835ab146ee
        
        12 Bytes
    - 6f9d9eb222532a2b
      - 3dbbd798e483d185
        
        6 Bytes
    - 6ff0040ddd24b49d
      - 7089cef4b92d73cc
        
        5 Bytes
    - 71c7a4c34488b542
      - d4687fc2b67d106a
        
        12 Bytes
    - 756645ef00b070ed
      - 050aeff993017985
        
        6 Bytes
    - 76f54652a58c736d
      - d4687fc2b67d106a
        
        12 Bytes
    - 7a8dbc1ae6cf1f86
      - 050aeff993017985
        
        6 Bytes
    - 7f86a5464bf27738
      - d4687fc2b67d106a
        
        12 Bytes
    - 83cb8cb2079087ec
      - 3dbbd798e483d185
        
        6 Bytes
    - 85db8b0dc1feac49
      - d4687fc2b67d106a
        
        12 Bytes
    - 9006d9a2fcc29864
      - d4687fc2b67d106a
        
        12 Bytes
    - 96aade915925578f
      - d4687fc2b67d106a
        
        12 Bytes
    - 99478945b13a9ce7
      - d4687fc2b67d106a
        
        12 Bytes
    - 99e1a6e2a920e6af
      - 7089cef4b92d73cc
        
        5 Bytes
    - a27138e43e45b44d
      - d4687fc2b67d106a
        
        12 Bytes
    - a3623f4eed1cf90c
      - d4687fc2b67d106a
        
        12 Bytes
    - a7a315b1d6335144
      - 050aeff993017985
        
        6 Bytes
    - a7e82bb4df5f5d1e
      - d4687fc2b67d106a
        
        12 Bytes
    - a821f8ddf77506ec
      - 050aeff993017985
        
        6 Bytes
    - a989ec3a19790dd0
      - d4687fc2b67d106a
        
        12 Bytes
    - aeadae4f81959696
      - d4687fc2b67d106a
        
        12 Bytes
    - b16b30c87ba8cdbd
      - d4687fc2b67d106a
        
        12 Bytes
    - b2332800b4663034
      - d4687fc2b67d106a
        
        12 Bytes
    - b289ee7246c9d872
      - d4687fc2b67d106a
        
        12 Bytes
    - ba66ffb98fc462af
      - 0f4eb6c17e81bda6
        
        18 Bytes
      - 1ee19bae68b15208
        
        14 Bytes
      - 2801a2f177965eb8
        
        8 Bytes
      - 4c9ab0761addf391
        
        9 Bytes
      - 53bff95eb0665e60
        
        11 Bytes
      - 6f6ddc1503443fa2
        
        15 Bytes
      - 94b620be28101257
        
        8 Bytes
      - a2565620609dc6f3
        
        8 Bytes
      - ca79a5549f9be30b
        
        19 Bytes
      - f20bb55c855438a9
        
        9 Bytes
      - f225947c6030460c
        
        17 Bytes
    - c0c3013d8d0cbee4
      - d4687fc2b67d106a
        
        12 Bytes
    - c213303c9b909142
      - d4687fc2b67d106a
        
        12 Bytes
    - c4331a5a0e9f3d43
      - 3dbbd798e483d185
        
        6 Bytes
    - c56c5b505576fd16
      - 3dbbd798e483d185
        
        6 Bytes
    - cb6e24173c9e6bfb
      - d4687fc2b67d106a
        
        12 Bytes
    - cb7eb08013f9541a
      - 94afdf80145cbb6e
        
        12 Bytes
    - cf8a4747e1782f95
      - d4687fc2b67d106a
        
        12 Bytes
    - d17a7ffdc8e65a62
      - d4687fc2b67d106a
        
        12 Bytes
    - d91330e4142ca508
      - d4687fc2b67d106a
        
        12 Bytes
    - d9d8e9be1894191f
      - d4687fc2b67d106a
        
        12 Bytes
    - dde29f4d0eca666f
      - d4687fc2b67d106a
        
        12 Bytes
    - e002276c54e4bf8d
      - 7089cef4b92d73cc
        
        5 Bytes
    - e01842da9439e674
      - d4687fc2b67d106a
        
        12 Bytes
    - e95f9c66a0d8aba5
      - 3dbbd798e483d185
        
        6 Bytes
    - eb7f018c35cf58a7
      - 7089cef4b92d73cc
        
        5 Bytes
    - f064d24287317b39
      - d4687fc2b67d106a
        
        12 Bytes
    - f6841bb70179028c
      - 0125e087123ab97a
        
        12 Bytes
      - 01a7d0f1ad8795e3
        
        12 Bytes
      - 05309d0160c80860
        
        12 Bytes
      - 0b717c1fdc496e71
        
        12 Bytes
      - 1551d2128670bb9a
        
        12 Bytes
      - 18d424d29d8367f4
        
        12 Bytes
      - 3044e2d6ff38e94d
        
        12 Bytes
      - 3dbad40ca3ce29a5
        
        12 Bytes
      - 3fd077fc7c700cf1
        
        12 Bytes
      - 6334e08699b2c762
        
        12 Bytes
      - aa4603ea41d425c8
        
        12 Bytes
      - d990cafba60c2494
        
        12 Bytes
      - de7cc21aa4157fb4
        
        12 Bytes
      - e03333afb194e0bd
        
        12 Bytes
      - e45328292e818622
        
        12 Bytes
      - ff76f57d8360429b
        
        12 Bytes
    - fa6c4c40315a0953
      - d4687fc2b67d106a
        
        12 Bytes
    - fc21902b7c3e1df6
      - d4687fc2b67d106a
        
        12 Bytes
    - ffdbd1b3f1fc63c9
      - 7089cef4b92d73cc
        
        5 Bytes
  - unicode_data
    - 13.0.0
      - charmap.json.gz
        
        21.0 kB
- Dockerfile
  
  121 Bytes
- INSTALL.md
  
  186 Bytes
- LICENSE
  
  1.1 kB
- MANIFEST.in
  
  40 Bytes
- README.md
  
  5.8 kB
- STATUS.md
  
  538 Bytes
- analyze.sh
  
  420 Bytes
- benchmark.sh
  
  175 Bytes
- benchmark.txt
  
  197 Bytes
- corr.py
  
  465 Bytes
- docs
  - benchmark.md
    
    757 Bytes
  - hierarchy2md.py
    
    1.7 kB
  - python.md
    
    480 Bytes
  - release.md
    
    337 Bytes
- example_programs
  - __init__.py
    
    1 Byte
  - no_auto_test_instrumentation.py
    
    2.0 kB
  - simpleIfs.py
    
    67 Bytes
  - targetPrograms
    - __init__.py
      
      1 Byte
    - branchSimple.py
      
      512 Bytes
    - callGraph_simple.py
      
      815 Bytes
    - demo.py
      
      332 Bytes
    - keyInList.py
      
      512 Bytes
    - keyInSet.py
      
      517 Bytes
    - mlMemory.py
      
      6.4 kB
    - mlMemory_no_issue.py
      
      6.5 kB
    - modifyListWhileIterating.py
      
      514 Bytes
    - simpleProgram.py
      
      49 Bytes
    - simpleProgram.py.orig
      
      49 Bytes
    - tempTestMichaelToRemove.py.orig
      
      13 Bytes
    - unnecessaryDoubleDictQuery.py
      
      439 Bytes
    - unnecessaryDoubleDictQuery.py.orig
      
      314 Bytes
- experiment.sh
  
  1.5 kB
- extract_bad_tests.sh
  
  701 Bytes
- filter_tests.py
  
  1.6 kB
- prepare.sh
  
  311 Bytes
- pyproject.toml
  
  993 Bytes
- requirements.txt
  
  355 Bytes
- run_all.sh
  
  793 Bytes
- setup.py
  
  1.0 kB
- src
  - dynapyt
    - __init__.py
      
      36 Bytes
    - analyses
      - BaseAnalysis.py
        
        818 Bytes
      - BranchCoverage.py
        
        526 Bytes
      - CallGraph.py
        
        3.1 kB
      - Demo.py
        
        538 Bytes
      - EventAnalysis.py
        
        208 Bytes
      - KeyInListAnalysis.py
        
        718 Bytes
      - LiteralAnalysis.py
        
        268 Bytes
      - MLMemoryAnalysis.py
        
        1.3 kB
      - ManipulateExec.py
        
        397 Bytes
      - MemoryAccessAnalysis.py
        
        734 Bytes
      - OnlyAddAnalysis.py
        
        225 Bytes
      - OperationAnalysis.py
        
        317 Bytes
      - SimpleTaintAnalysis.py
        
        2.5 kB
      - SimpleTestAnalysis.py
        
        4.5 kB
      - TraceAll.py
        
        34.5 kB
      - UnnecessaryDoubleDictQuery.py
        
        333 Bytes
      - __init__.py
        
        1 Byte
    - instrument
      - CodeInstrumenter.py
        
        61.7 kB
      - IIDs.py
        
        1.9 kB
      - __init__.py
        
        1 Byte
      - instrument.py
        
        3.3 kB
    - run_all.py
      
      1.8 kB
    - run_analysis.py
      
      1.9 kB
    - run_instrumentation.py
      
      2.2 kB
    - runtime.py
      
      18.1 kB
    - utils
      - AnalysisUtils.py
        
        540 Bytes
      - __init__.py
        
        1 Byte
      - hierarchy.json
        
        3.1 kB
      - hooks.py
        
        1.4 kB
      - nodeLocator.py
        
        2.3 kB
  - nativetracer
    - __init__.py
      
      1 Byte
    - instrument_tracer.py
      
      3.6 kB
    - trc.py
      
      1.2 kB
- tests
  - README.md
    
    521 Bytes
  - analysis
    - call_graph
      - analysis.py
        
        3.1 kB
      - expected.txt
        
        257 Bytes
      - program.py
        
        76 Bytes
  - conftest.py
    
    645 Bytes
  - manipulate_single_hook
    - enter_control_flow
      - analysis.py
        
        305 Bytes
      - expected.txt
        
        115 Bytes
      - program.py
        
        236 Bytes
    - literal
      - analysis.py
        
        269 Bytes
      - expected.txt
        
        50 Bytes
      - program.py
        
        88 Bytes
    - raise
      - analysis.py
        
        363 Bytes
      - expected.txt
        
        77 Bytes
      - program.py
        
        142 Bytes
    - read_subscript
      - analysis.py
        
        460 Bytes
      - expected.txt
        
        157 Bytes
      - program.py
        
        84 Bytes
    - write
      - analysis.py
        
        421 Bytes
      - expected.txt
        
        181 Bytes
      - program.py
        
        123 Bytes
  - run_single_test.py
    
    2.8 kB
  - trace_single_hook
    - call
      - analysis.py
        
        720 Bytes
      - expected.txt
        
        111 Bytes
      - program.py
        
        51 Bytes
    - call_builtin
      - analysis.py
        
        720 Bytes
      - expected.txt
        
        130 Bytes
      - program.py
        
        94 Bytes
    - for_comprehension
      - analysis.py
        
        836 Bytes
      - expected.txt
        
        900 Bytes
      - program.py
        
        23 Bytes
    - if
      - analysis.py
        
        824 Bytes
      - expected.txt
        
        330 Bytes
      - program.py
        
        187 Bytes
    - if_expression
      - analysis.py
        
        836 Bytes
      - expected.txt
        
        167 Bytes
      - program.py
        
        45 Bytes
    - multiply
      - analysis.py
        
        320 Bytes
      - expected.txt
        
        31 Bytes
      - program.py
        
        18 Bytes
    - simple_read
      - analysis.py
        
        313 Bytes
      - expected.txt
        
        46 Bytes
      - program.py
        
        15 Bytes
    - string_literal
      - analysis.py
        
        401 Bytes
      - expected.txt
        
        53 Bytes
      - program.py
        
        40 Bytes
    - version_write
      - __init__.py
        
        22 Bytes
      - analysis.py
        
        327 Bytes
      - expected.txt
        
        47 Bytes
      - program.py
        
        104 Bytes
    - while
      - analysis.py
        
        790 Bytes
      - expected.txt
        
        979 Bytes
      - program.py
        
        43 Bytes
- tmp.py
  
  121 Bytes

sola-st/DynaPyt-v0.3.0.zip