Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fixes to DFG #1382

Draft
wants to merge 142 commits into
base: main
Choose a base branch
from
Draft

Fixes to DFG #1382

wants to merge 142 commits into from

Conversation

oxisto
Copy link
Member

@oxisto oxisto commented Nov 28, 2023

Primarily used for secret paper stuff, do not merge (yet).

@CLAassistant
Copy link

CLAassistant commented Nov 28, 2023 •
edited
Loading

CLA assistant check
All committers have signed the CLA.

@sonarcloud SonarCloud
Copy link

sonarcloud bot commented Dec 30, 2023

Quality Gate Passed Quality Gate passed

The SonarCloud Quality Gate passed, but some issues were introduced.

5 New issues
0 Security Hotspots
77.9% Coverage on New Code
0.0% Duplication on New Code

See analysis details on SonarCloud

@oxisto oxisto force-pushed the small-dfg-fix branch 5 times, most recently from 2176c9a to a2a817c Compare December 30, 2023 10:31
@oxisto oxisto mentioned this pull request Dec 30, 2023
Merged
maximiliankaul and others added 30 commits November 28, 2024 17:02
@maximiliankaul
test++
add4710
@maximiliankaul
test++
6f484a4
@morbitzer
Added FunctionSummaries to PointsToPass
13ada9d
@morbitzer
continued on FunctionSummaries
f927edc
@morbitzer
more functionSummaries handling
93e9ad3
@morbitzer
cleaned up
505fcab
@KuechA
Merge branch 'main' into small-dfg-fix
a9ebfcb
@KuechA
Fix spotless
60b9c0c
@KuechA
Fix query test
252c688
@KuechA
Fix query test
adefc32
@KuechA
Revert "Fix query test"
1745f1f 
This reverts commit adefc32.
@KuechA
Revert "Fix query test"
398b3ec 
This reverts commit 252c688.
@KuechA
Revert "Fix spotless"
1c51494 
This reverts commit 60b9c0c.
@KuechA
Merge branch 'main' into small-dfg-fix
bacfefa
@morbitzer
Improved on Function Summaries
478dc01
@morbitzer
moved memoryValue to prevDFG
c55f51c
@morbitzer
got things running again
ef0559d
@morbitzer
continued on functionSummaries
3349ec6
@morbitzer
tests work again but ugly
f9dc30b
@KuechA
Fix some bugs
451bf8d
@KuechA
Add value only once if unknown
1948ca3
@morbitzer
First working version of function Summaries
c521a21
@morbitzer
finished functionSummaries
d2224e2
@morbitzer
fixed resolving of literals
3bfe2fc
@morbitzer
fixed GhidraTest
2558fb5
@morbitzer
attached function Summaries to functionDeclaration
c9df04a
@morbitzer
FunctionSummaries now also include partial writes
831547a
@KuechA
Merge branch 'main' into small-dfg-fix
63013f6
@KuechA
Add sanity check
92533e6
@KuechA
Some fixes
b80db86
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@KuechA KuechA Awaiting requested review from KuechA KuechA will be requested when the pull request is marked ready for review KuechA is a code owner

@peckto peckto Awaiting requested review from peckto peckto will be requested when the pull request is marked ready for review peckto is a code owner

@konradweiss konradweiss Awaiting requested review from konradweiss konradweiss will be requested when the pull request is marked ready for review konradweiss is a code owner

At least 1 approving review is required to merge this pull request.

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
5 participants
@oxisto @CLAassistant @KuechA @morbitzer @maximiliankaul