Skip to content
GitLab
Explore
Sign in
Primary navigation
Search or go to…
Project
S
SMPStaticAnalyzer
Manage
Activity
Members
Labels
Plan
Issues
Issue boards
Milestones
Wiki
Code
Merge requests
Repository
Branches
Commits
Tags
Repository graph
Compare revisions
Snippets
Build
Pipelines
Jobs
Pipeline schedules
Artifacts
Deploy
Releases
Container registry
Model registry
Operate
Environments
Monitor
Incidents
Service Desk
Analyze
Value stream analytics
Contributor analytics
CI/CD analytics
Repository analytics
Model experiments
Help
Help
Support
GitLab documentation
Compare GitLab plans
Community forum
Contribute to GitLab
Provide feedback
Keyboard shortcuts
?
Snippets
Groups
Projects
Show more breadcrumbs
Open Source Software
SMPStaticAnalyzer
Commits
10d1500394ccf751af9410c0eb9e86672684291f
Select Git revision
Branches
20
master
default
ubuntu24-merge
ubuntu24
improve-data-source-tracing
infinite_loop_fix
faster_deadregs
30-erroneous-assert
28-stars-assertion-in-accessabovelocalframe
27-need-ubuntu20-testing
aware-sw-delivery
refactor
instfallthrough
cfar_phase3_midterm_release
cfar_phase2_final_release
cfar_phase2_3rdquarter_release
cfar_phase2_midterm_release
cgc-sw-deliverables
cfar_phase1_final_release
cfar_release
peasoup
Tags
20
cfar-phase3-final
CFAR_AEI
CfarJuly2018Eval
pre-las-vegas
SCCP_12NOV2013
fast_metadata_02SEP2013
call_graph_priority_27AUG2013
remove_DU_chains_21AUG2013
alias_analysis_19AUG2013
alias_analysis_17AUG2013
duchain_data_structures_25JUL2013
stonesoup-phase2-tne-release
IDA64_28JUN2013
hashing_lea_addition_26JUN2013
IDIOM_23_21JUN2013C
truncation_signedness_21JUN2013
IDIOM_21_bitwise_not_17JUN2013B
IDIOM_20_memory_reduction_17JUN2013
deadregs_bitset_14JUN2013B
scaled_indexreg_not_unsigned_14JUN2013
40 results
SMPStaticAnalyzer
tests
Author
Search by author
Any Author
authors
Anh Nguyen-Tuong
an7s
Bruno Dutertre
bruno
Clark Coleman
clc
Daniel Chen
dc3pe
GitLab Runner
gitlab-runner
Jack Davidson
jwd
Jason Hiser
jdh8d
Jessica Jones
Jjones203
Jonathan Rowanhill
jonathan.rowanhill
Jorge Navas
jorge.navas
Matthew McGill
mm8bx
Michele Co
mc2zk
Stefan Nagy
stevenagy
Will Hawkins
whh8b
Yonghwi Kwon
yonghwi
zafl_guest
test_user
16 authors
Jun 06, 2015
Emit 64-bit reg names for DEADREGS annotations on x86-64 binaries.
· fe0545db
clc5q
authored
9 years ago
fe0545db
Emit DEADREGS annotations for resolved indirect jumps.
· d3aeea29
clc5q
authored
9 years ago
d3aeea29
Jun 04, 2015
Updated annotations after IDA Pro 6.8 upgrade.
· 2bdb5bb5
clc5q
authored
9 years ago
2bdb5bb5
May 22, 2015
Updated annotation files due to IDA Pro 6.7 improvements.
· 922b88ba
clc5q
authored
9 years ago
922b88ba
Updated annotation files due to IDA Pro 6.7 improvements.
· f56f9dd1
clc5q
authored
9 years ago
f56f9dd1
May 19, 2015
Update annotation files in quick tests dir.
· 0c08f416
clc5q
authored
9 years ago
0c08f416
Final removal of idapro includes from common modules and build script debugging.
· 559695bf
clc5q
authored
9 years ago
559695bf
May 17, 2015
Refactored the idapro main driver into an ida-specific directory, and made...
· 9919bf8d
jdh8d
authored
9 years ago
9919bf8d
Apr 19, 2015
Updated annotations from conversion of op_t to STARS_op_t.
· b976f618
clc5q
authored
10 years ago
b976f618
Jan 23, 2015
Fix ConditionalMeetType to operate on zeroed stack locations as it does on...
· c7edc319
clc5q
authored
10 years ago
c7edc319
Jan 21, 2015
Fixes for INARGS annotations for sparse use of incoming args.
· c5826a77
clc5q
authored
10 years ago
c5826a77
Jan 19, 2015
Add FUNC INARGS annotations for CGC and other uses.
· 3b90841e
clc5q
authored
10 years ago
3b90841e
Jan 18, 2015
Add FUNC RETURNTYPE annotation for CGC and other uses.
· 160a75c4
clc5q
authored
10 years ago
160a75c4
Jan 11, 2015
Added simple regression testing.
· 427682a6
jdh8d
authored
10 years ago
427682a6
Loading