Skip to content

F model dataflow for libraries - #731

Merged
fabianbs96 merged 30 commits into
secure-software-engineering:developmentfrom
fabianbs96:f-model-dataflow-for-libraries
Oct 4, 2024
Merged

F model dataflow for libraries#731
fabianbs96 merged 30 commits into
secure-software-engineering:developmentfrom
fabianbs96:f-model-dataflow-for-libraries

Conversation

@bulletSpace

Copy link
Copy Markdown
Contributor

This implements a data structure to store data flow information for functions. Given a function name and the index of the parameter under consideration, the data structure returns data flow information concerning this parameter. Additionally approximated data flow information for a subset of glib functions are provided

Comment thread include/phasar/PhasarLLVM/DataFlow/IfdsIde/FunctionDataFlowFacts.h Outdated
Comment thread include/phasar/PhasarLLVM/DataFlow/IfdsIde/LLVMFunctionDataFlowFacts.h Outdated
Comment thread include/phasar/PhasarLLVM/DataFlow/IfdsIde/LLVMFunctionDataFlowFacts.h Outdated
Comment thread include/phasar/PhasarLLVM/DataFlow/IfdsIde/LLVMFunctionDataFlowFacts.h Outdated
Comment thread include/phasar/PhasarLLVM/DataFlow/IfdsIde/LLVMFunctionDataFlowFacts.h Outdated
Comment thread lib/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSTaintAnalysis.cpp Outdated
Comment thread lib/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSTaintAnalysis.cpp Outdated
Comment thread lib/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSTaintAnalysis.cpp Outdated
Comment thread lib/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSTaintAnalysis.cpp Outdated
Comment thread lib/PhasarLLVM/DataFlow/IfdsIde/Problems/IFDSTaintAnalysis.cpp Outdated
@fabianbs96
fabianbs96 merged commit c1a75ed into secure-software-engineering:development Oct 4, 2024
@fabianbs96
fabianbs96 deleted the f-model-dataflow-for-libraries branch October 4, 2024 11:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants