issues
search
SMAT-Lab
/
Scalpel
Scalpel: The Python Static Analysis Framework
Apache License 2.0
277
stars
42
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Correct links to figures
#77
tristanlatr
closed
1 year ago
1
Get all cfgs of a file?
#76
simisimon
closed
1 year ago
5
Get value for instance variables
#75
simisimon
closed
1 year ago
0
Fix #68 and #69 again
#74
simisimon
closed
1 year ago
0
Get values for tuples
#73
simisimon
closed
1 year ago
0
This PR is to integrate new features to the framework
#72
Jarvx
closed
1 year ago
0
The last PR #70 removed my changes
#71
simisimon
closed
1 year ago
5
sphinx project setup
#70
tristanlatr
closed
1 year ago
10
Assign call object to multiple loop variables
#69
simisimon
closed
1 year ago
1
Cover variables that represent callables
#68
simisimon
closed
1 year ago
1
Constant Propagation: Variables that represent callables are not covered
#67
simisimon
closed
1 year ago
5
Constant propagation for loops with counter does not work
#66
simisimon
closed
1 year ago
3
remove testing for python3.5 since it's not supported by pytest
#65
FrancoOu
closed
1 year ago
1
"boolean" type not correctly recognized in <=python3.7
#64
FrancoOu
closed
1 year ago
3
update CFG and SSA tutorial
#63
cici0702
closed
1 year ago
0
CFG match statement
#62
bevanlewis
closed
1 year ago
0
update png
#61
Jarvx
closed
1 year ago
0
This PR is to sync dev branch and the main branch
#60
Jarvx
closed
1 year ago
1
script for setting up different environments(different python versions) and testing
#59
FrancoOu
closed
1 year ago
0
Scalpel scope graph
#58
Jarvx
closed
1 year ago
0
Pull request for scope anaysis
#57
Jarvx
closed
1 year ago
0
Turn the user-guide into a sphinx documentation site
#56
tristanlatr
closed
1 year ago
7
Remove duplicate networkx requirement
#55
tristanlatr
closed
1 year ago
0
Spell error
#54
cici0702
closed
1 year ago
0
Edit the spelling mistake in MNode.py
#53
cici0702
closed
1 year ago
0
enable 'dot' command in testing script
#52
FrancoOu
closed
1 year ago
0
Fixed a spelling mistake for a variable
#51
bevanlewis
closed
1 year ago
0
Add support to CFG construction when base class is same as derived class
#50
Jarvx
closed
1 year ago
1
Add support to match statement
#49
Jarvx
closed
1 year ago
1
Running type checker on the code
#48
tristanlatr
closed
2 years ago
2
add shebang and vim ignore
#47
gspeiliu
closed
1 year ago
0
Fix TypeErrors
#46
tristanlatr
closed
2 years ago
2
AttributeError: Attribute/Subscript/Name object has no attribute func
#45
simisimon
closed
2 years ago
12
How powerful is scalpel in terms of handling ambiguity?
#44
tristanlatr
closed
2 years ago
2
Creating CFG fails
#43
simisimon
closed
2 years ago
2
SSA class: Handling of tupels
#42
mj-support
closed
1 year ago
1
Import graph needs to be refactored and its current example code returning None
#41
billquan
closed
2 years ago
1
Type inference to enrich the support with default functions such as defaultdict
#40
Jarvx
closed
1 year ago
1
Constant propagation class: instance variables are not covered
#39
simisimon
closed
1 year ago
1
Constant propagation computes wrong values
#38
simisimon
closed
2 years ago
2
Fix for: Constant propagation for loop variables
#37
simisimon
closed
2 years ago
6
Type inferencing and library code
#36
khatchad
closed
2 years ago
3
Duplicate entry (parameter and variable) for function parameter during type inferencing
#35
khatchad
closed
2 years ago
2
Documentation issue
#34
khatchad
closed
2 years ago
2
Is type inferencing supposed to be interprocedural?
#33
khatchad
closed
2 years ago
10
Make wiki editable publicly
#32
khatchad
closed
2 years ago
3
how run the tool
#31
alaalial
closed
2 years ago
9
fix pycg version compatibility issue
#30
billquan
closed
2 years ago
0
AttributeErrors caused by vars visitor
#29
simisimon
closed
2 years ago
4
Bug in vars vistor: Tuple object has no attribute value
#28
simisimon
closed
2 years ago
2
Previous
Next