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.

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

first commit of ConstantVal/Obj #1602

Closed
wants to merge 30 commits into from

refactor class hierarchy

713318a
Select commit
Loading
Failed to load commit list.
Closed

first commit of ConstantVal/Obj #1602

refactor class hierarchy
713318a
Select commit
Loading
Failed to load commit list.
Codecov / codecov/patch succeeded Dec 12, 2024 in 1s

60.59% of diff hit (target 0.00%)

View this Pull Request on Codecov

60.59% of diff hit (target 0.00%)

Annotations

Check warning on line 224 in svf-llvm/lib/SVFIRBuilder.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

svf-llvm/lib/SVFIRBuilder.cpp#L224

Added line #L224 was not covered by tests

Check warning on line 257 in svf-llvm/lib/SVFIRBuilder.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

svf-llvm/lib/SVFIRBuilder.cpp#L256-L257

Added lines #L256 - L257 were not covered by tests

Check warning on line 267 in svf-llvm/lib/SVFIRBuilder.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

svf-llvm/lib/SVFIRBuilder.cpp#L266-L267

Added lines #L266 - L267 were not covered by tests

Check warning on line 303 in svf-llvm/lib/SVFIRBuilder.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

svf-llvm/lib/SVFIRBuilder.cpp#L302-L303

Added lines #L302 - L303 were not covered by tests

Check warning on line 313 in svf-llvm/lib/SVFIRBuilder.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

svf-llvm/lib/SVFIRBuilder.cpp#L312-L313

Added lines #L312 - L313 were not covered by tests

Check warning on line 633 in svf/include/SVFIR/SVFIR.h

See this annotation in the file changed.

@codecov codecov / codecov/patch

svf/include/SVFIR/SVFIR.h#L630-L633

Added lines #L630 - L633 were not covered by tests

Check warning on line 327 in svf/include/SVFIR/SVFVariables.h

See this annotation in the file changed.

@codecov codecov / codecov/patch

svf/include/SVFIR/SVFVariables.h#L327

Added line #L327 was not covered by tests

Check warning on line 370 in svf/include/SVFIR/SVFVariables.h

See this annotation in the file changed.

@codecov codecov / codecov/patch

svf/include/SVFIR/SVFVariables.h#L370

Added line #L370 was not covered by tests

Check warning on line 375 in svf/include/SVFIR/SVFVariables.h

See this annotation in the file changed.

@codecov codecov / codecov/patch

svf/include/SVFIR/SVFVariables.h#L373-L375

Added lines #L373 - L375 were not covered by tests

Check warning on line 378 in svf/include/SVFIR/SVFVariables.h

See this annotation in the file changed.

@codecov codecov / codecov/patch

svf/include/SVFIR/SVFVariables.h#L378

Added line #L378 was not covered by tests

Check warning on line 380 in svf/include/SVFIR/SVFVariables.h

See this annotation in the file changed.

@codecov codecov / codecov/patch

svf/include/SVFIR/SVFVariables.h#L380

Added line #L380 was not covered by tests

Check warning on line 391 in svf/include/SVFIR/SVFVariables.h

See this annotation in the file changed.

@codecov codecov / codecov/patch

svf/include/SVFIR/SVFVariables.h#L391

Added line #L391 was not covered by tests

Check warning on line 399 in svf/include/SVFIR/SVFVariables.h

See this annotation in the file changed.

@codecov codecov / codecov/patch

svf/include/SVFIR/SVFVariables.h#L399

Added line #L399 was not covered by tests

Check warning on line 433 in svf/include/SVFIR/SVFVariables.h

See this annotation in the file changed.

@codecov codecov / codecov/patch

svf/include/SVFIR/SVFVariables.h#L433

Added line #L433 was not covered by tests

Check warning on line 437 in svf/include/SVFIR/SVFVariables.h

See this annotation in the file changed.

@codecov codecov / codecov/patch

svf/include/SVFIR/SVFVariables.h#L437

Added line #L437 was not covered by tests

Check warning on line 813 in svf/include/SVFIR/SVFVariables.h

See this annotation in the file changed.

@codecov codecov / codecov/patch

svf/include/SVFIR/SVFVariables.h#L812-L813

Added lines #L812 - L813 were not covered by tests

Check warning on line 1201 in svf/include/SVFIR/SVFVariables.h

See this annotation in the file changed.

@codecov codecov / codecov/patch

svf/include/SVFIR/SVFVariables.h#L1201

Added line #L1201 was not covered by tests

Check warning on line 201 in svf/lib/AE/Core/AbstractState.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

svf/lib/AE/Core/AbstractState.cpp#L201

Added line #L201 was not covered by tests

Check warning on line 209 in svf/lib/AE/Core/AbstractState.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

svf/lib/AE/Core/AbstractState.cpp#L209

Added line #L209 was not covered by tests

Check warning on line 391 in svf/lib/AE/Core/AbstractState.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

svf/lib/AE/Core/AbstractState.cpp#L391

Added line #L391 was not covered by tests

Check warning on line 427 in svf/lib/AE/Core/AbstractState.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

svf/lib/AE/Core/AbstractState.cpp#L427

Added line #L427 was not covered by tests

Check warning on line 430 in svf/lib/SABER/SaberCondAllocator.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

svf/lib/SABER/SaberCondAllocator.cpp#L430

Added line #L430 was not covered by tests

Check warning on line 232 in svf/lib/SVFIR/SVFFileSystem.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

svf/lib/SVFIR/SVFFileSystem.cpp#L232

Added line #L232 was not covered by tests

Check warning on line 236 in svf/lib/SVFIR/SVFFileSystem.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

svf/lib/SVFIR/SVFFileSystem.cpp#L234-L236

Added lines #L234 - L236 were not covered by tests

Check warning on line 212 in svf/lib/SVFIR/SVFVariables.cpp

See this annotation in the file changed.

@codecov codecov / codecov/patch

svf/lib/SVFIR/SVFVariables.cpp#L212

Added line #L212 was not covered by tests