admin/revng-revng
1
0
Fork 0
mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
7db7309987dd11e56fc1688a8fec47ea6b99596f
revng-revng/lib/StackAnalysis
T
History
Alessandro Di Federico 7db7309987 SA: Trunc is not identity 
In the intraprocedural analysis of the stack analysis we implemented the
transfer function of the `Trunc` instruction as the identity function
(just as `PtrToInt` or `ZExt`). However this is not safe since `Trunc`
loses information. This lead to incorrect results in the ABI analysis.
2019-03-06 09:04:58 +01:00
..
ABIDataFlows-footer.h
Move and rename all files
2018-10-03 23:11:12 +02:00
ABIDataFlows-header.h
Move and rename all files
2018-10-03 23:11:12 +02:00
ABIDetectionPass.cpp
Introduce SA-based ABIDetection and FBD passes
2019-01-18 15:18:47 +01:00
ABIIR.cpp
Drop revamb-dump in favor of plain passes
2019-01-18 15:18:47 +01:00
ABIIR.h
Rename isReturn method to isPartOfFinalResults
2019-03-06 09:04:58 +01:00
ASSlot.h
MonotoneFramework: drop greaterThan from Lattices
2019-03-06 09:04:58 +01:00
BasicBlockInstructionPair.h
Move and rename all files
2018-10-03 23:11:12 +02:00
Cache.cpp
Introduce revng_log and abandon DBG(...)
2018-10-03 23:11:13 +02:00
Cache.h
Move and rename all files
2018-10-03 23:11:12 +02:00
CMakeLists.txt
Force Python versions
2019-02-12 18:40:24 +01:00
DeadRegisterArgumentsOfFunction.dot
Move and rename all files
2018-10-03 23:11:12 +02:00
DeadReturnValuesOfFunctionCall.dot
Move and rename all files
2018-10-03 23:11:12 +02:00
Element.cpp
MonotoneFramework: drop greaterThan from Lattices
2019-03-06 09:04:58 +01:00
Element.h
MonotoneFramework: drop greaterThan from Lattices
2019-03-06 09:04:58 +01:00
FunctionABI.cpp
MonotoneFramework: drop greaterThan from Lattices
2019-03-06 09:04:58 +01:00
FunctionABI.h
Move and rename all files
2018-10-03 23:11:12 +02:00
FunctionBoundariesDetectionPass.cpp
Introduce SA-based ABIDetection and FBD passes
2019-01-18 15:18:47 +01:00
FunctionsSummary.cpp
s/revamb/revng/g
2019-02-11 16:09:23 +01:00
IncoherentCallsAnalysis.cpp
Use DefaultInterrupt<LatticeElement> as default
2019-03-06 09:04:58 +01:00
InterproceduralAnalysis.cpp
Drop const in FunctionsSummary-related code
2019-01-18 15:18:47 +01:00
InterproceduralAnalysis.h
Drop const in FunctionsSummary-related code
2019-01-18 15:18:47 +01:00
Intraprocedural.cpp
SA: Trunc is not identity
2019-03-06 09:04:58 +01:00
Intraprocedural.h
Use DefaultInterrupt<LatticeElement> as default
2019-03-06 09:04:58 +01:00
IntraproceduralFunctionSummary.h
Drop revamb-dump in favor of plain passes
2019-01-18 15:18:47 +01:00
OVERVIEW.md
Rewrite the stack and introduce the ABI analyses
2018-09-18 15:58:20 +02:00
RegisterArgumentsOfFunctionCall.dot
Move and rename all files
2018-10-03 23:11:12 +02:00
StackAnalysis.cpp
Introduce SA-based ABIDetection and FBD passes
2019-01-18 15:18:47 +01:00
UsedArgumentsOfFunction.dot
Move and rename all files
2018-10-03 23:11:12 +02:00
UsedReturnValuesOfFunction.dot
Move and rename all files
2018-10-03 23:11:12 +02:00
UsedReturnValuesOfFunctionCall.dot
Move and rename all files
2018-10-03 23:11:12 +02:00