Skip to content

lem2clide/Range-analysis-experiments

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

13 Commits

examples

examples

 
 

.gitignore

.gitignore

 
 

LICENSE

LICENSE

 
 

README.md

README.md

 
 

data_structure.py

data_structure.py

 
 

lexical_scope_symbol_table.py

lexical_scope_symbol_table.py

 
 

main.py

main.py

 
 

print_trace.py

print_trace.py

 
 

range_operator.py

range_operator.py

 
 

range_semantic.py

range_semantic.py

 
 

visitor_iteration.py

visitor_iteration.py

 
 

Repository files navigation

Range-analysis-experiments

Prototype of a value range analysis of python's source code.

Work in progress

Requirements

  • python modules:
    • ast
    • astunparse

Usage

python test_script.py input_file
    input_file: contains source code written in python

About

Value Range Analysis Experiments

Topics

static-code-analysis static-analysis range-analysis value-range-analysis

Resources

Readme

License

MIT license
Activity

Stars

0 stars

Watchers

0 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages