issues
search
Artisan-Lab
/
RAP
Rust Analysis Platform
39
stars
14
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
fix: partially fix dataflow feat: add bounds loop push checking
#77
Unparalleled-Calvin
closed
6 days ago
0
Feat: use annotate-snippets to display error messages
#76
Unparalleled-Calvin
closed
1 week ago
0
Fix contracts checking bugs in senryx
#75
DiuDiu777
closed
1 week ago
0
chore: adjust doc and CI due to toolchain update
#74
zjp-CN
closed
1 week ago
0
Upgrade to nightly-2024-10-12
#73
Unparalleled-Calvin
closed
1 week ago
0
feaf: introduce `RAP_RECURSIVE` to check packages recursively and `RAP_CLEAN` to run cargo clean before check
#72
zjp-CN
closed
1 week ago
0
fix: ignore proc-macro crates in rap
#71
zjp-CN
closed
1 week ago
0
Update call handling and test cases in Senryx
#70
DiuDiu777
closed
2 weeks ago
0
Does this tool must run on cargo environments and given toolchain version?
#69
Yinwhe
opened
2 weeks ago
1
fix dyn trait analysis in callgraph
#68
SeanXunX
closed
4 weeks ago
0
fix: replace is_crate_type_lib by filter_crate_type to support extra crate-types
#67
zjp-CN
closed
1 month ago
0
fix(cc-error): only check lib crates (skip local build script & bin crates)
#66
zjp-CN
closed
1 month ago
0
feat: forward cargo-check arguments; refactor cargo-rap
#65
zjp-CN
closed
1 month ago
0
Add Callgraph feature
#64
SeanXunX
closed
1 month ago
0
Add a simple alignment check in senryx
#63
DiuDiu777
closed
1 month ago
0
Modify Projection in Senryx
#62
DiuDiu777
closed
1 month ago
0
Refactor alias module; Use HashSet to store RetAlias
#61
WIZeaz
closed
1 month ago
0
feat: replace "RAP_FRONT" with "RAP"; use ISO 8601 timestamp in log
#60
WIZeaz
closed
1 month ago
0
feat: support `RAP_LOG` environment variable; remove `-debug` option
#59
zjp-CN
closed
1 month ago
1
一些零散的疑问
#58
zjp-CN
closed
3 days ago
5
Format codebase
#57
zjp-CN
closed
1 month ago
0
update def_path to match the new rust version
#56
Unparalleled-Calvin
closed
1 month ago
0
Fix toolchain and CI, and update README
#55
zjp-CN
closed
1 month ago
1
fix a safedrop bug related to ManuallyDrop::drop
#54
hxuhack
closed
1 month ago
0
How to interpret the checking result?
#53
zjp-CN
closed
3 weeks ago
7
Update Rustc version to nightly-2024-06-30
#52
hxuhack
closed
1 month ago
0
refactor alias
#51
hxuhack
closed
1 month ago
0
fix recursion bugs
#50
hxuhack
closed
1 month ago
0
Modify framework of Senryx in path analysis
#49
DiuDiu777
closed
1 month ago
0
refactor safedrop
#48
hxuhack
closed
1 month ago
0
remove RAP backend
#47
hxuhack
closed
1 month ago
0
Provide Better Heap Item APIs
#46
VaynNecol
opened
1 month ago
0
Add apis for core::heap_item, refine method, fix build script, add ci file
#45
VaynNecol
closed
1 month ago
0
Senryx
#44
DiuDiu777
closed
1 month ago
0
fix: compiler error caused by missing of a statement
#43
Unparalleled-Calvin
closed
1 month ago
0
fix bugs of graph building & optimize debug code
#42
Unparalleled-Calvin
closed
1 month ago
0
Add a analysis module
#41
socutesocool
closed
1 month ago
0
Update dataflow submodule: is_connected, deps, Update cargo bin: dataflow debug arg
#40
Unparalleled-Calvin
closed
1 month ago
0
update Senryx framework
#39
DiuDiu777
closed
1 month ago
0
extract equivalent locals & draw graphs
#38
Unparalleled-Calvin
closed
2 months ago
0
generated and stabilize 6 apis for core::heap_item
#37
VaynNecol
closed
2 months ago
0
add uig features
#36
DiuDiu777
closed
2 months ago
0
Improve dataflow submodule to pass all test cases
#35
Unparalleled-Calvin
closed
2 months ago
0
Decouple TypeAnalysis from rCanary
#34
VaynNecol
closed
2 months ago
0
Feature Requests: Enhancing rCanary with Modular Analysis Support
#33
VaynNecol
opened
2 months ago
0
Add a license
#32
hardBSDk
opened
2 months ago
0
update
#31
hxuhack
closed
2 months ago
0
feat: dataflow as a core component, basic implementation
#30
Unparalleled-Calvin
closed
2 months ago
0
add alias/mop
#29
hxuhack
closed
2 months ago
0
refactor the features of rap with analysis/core
#28
hxuhack
closed
3 months ago
0
Next