JonathanSalwan / Triton

Compare 06dd5c7 ... +0 ... 39a81f6

86.12% ø -0.01%

Overview Diff Coverage Changes
2
 Files Commits
Coverage Reach
arch/x86/x86Semantics.cpp arch/x86/x8664Cpu.cpp arch/x86/x86Cpu.cpp arch/x86/x86Specifications.cpp arch/arm/aarch64/aarch64Semantics.cpp arch/arm/aarch64/aarch64Cpu.cpp arch/arm/aarch64/aarch64Specifications.cpp arch/arm/arm32/arm32Semantics.cpp arch/arm/arm32/arm32Cpu.cpp arch/arm/arm32/arm32Specifications.cpp arch/arm/armOperandProperties.cpp arch/instruction.cpp arch/architecture.cpp arch/memoryAccess.cpp arch/irBuilder.cpp arch/operandWrapper.cpp arch/immediate.cpp arch/register.cpp arch/bitsVector.cpp bindings/python/objects/pyTritonContext.cpp bindings/python/objects/pyAstContext.cpp bindings/python/objects/pyAstNode.cpp bindings/python/objects/pyInstruction.cpp bindings/python/objects/pyMemoryAccess.cpp bindings/python/objects/pyRegister.cpp bindings/python/objects/pySymbolicExpression.cpp bindings/python/objects/pySymbolicVariable.cpp bindings/python/objects/pyImmediate.cpp bindings/python/objects/pyPathConstraint.cpp bindings/python/objects/pyBitsVector.cpp bindings/python/objects/pySolverModel.cpp bindings/python/namespaces/initOpcodesNamespace.cpp bindings/python/namespaces/initAstNodeNamespace.cpp bindings/python/namespaces/initConditionsNamespace.cpp bindings/python/namespaces/initShiftsNamespace.cpp bindings/python/namespaces/initCpuSizeNamespace.cpp bindings/python/namespaces/initRegNamespace.cpp bindings/python/namespaces/initExtendNamespace.cpp bindings/python/namespaces/initModeNamespace.cpp bindings/python/namespaces/initPrefixesNamespace.cpp bindings/python/namespaces/initSyscallNamespace.cpp bindings/python/namespaces/initSymbolicNamespace.cpp bindings/python/namespaces/initCallbackNamespace.cpp bindings/python/namespaces/initArchNamespace.cpp bindings/python/namespaces/initOperandNamespace.cpp bindings/python/namespaces/initVersionNamespace.cpp bindings/python/namespaces/initAstRepresentationNamespace.cpp bindings/python/utils.cpp bindings/python/init.cpp bindings/python/modules/tritonCallbacks.cpp bindings/python/pyXFunctions.cpp ast/ast.cpp ast/astContext.cpp ast/representations/astPythonRepresentation.cpp ast/representations/astSmtRepresentation.cpp ast/representations/astRepresentation.cpp ast/z3/z3ToTritonAst.cpp ast/z3/tritonToZ3Ast.cpp engines/symbolic/symbolicEngine.cpp engines/symbolic/symbolicExpression.cpp engines/symbolic/pathManager.cpp engines/symbolic/symbolicVariable.cpp engines/symbolic/symbolicSimplification.cpp engines/symbolic/pathConstraint.cpp engines/taint/taintEngine.cpp engines/solver/z3/z3Solver.cpp engines/solver/solverEngine.cpp engines/solver/solverModel.cpp api/api.cpp includes/triton/ast.hpp includes/triton/exceptions.hpp includes/triton/astContext.hpp includes/triton/shortcutRegister.hpp includes/triton/comparableFunctor.hpp includes/triton/semanticsInterface.hpp includes/triton/astRepresentationInterface.hpp includes/triton/solverInterface.hpp includes/triton/cpuInterface.hpp includes/triton/arm32Specifications.hpp includes/triton/x86Semantics.hpp includes/triton/symbolicExpression.hpp includes/triton/archEnums.hpp includes/triton/astRepresentation.hpp includes/triton/operandWrapper.hpp includes/triton/symbolicVariable.hpp includes/triton/pathManager.hpp includes/triton/x86Specifications.hpp includes/triton/astSmtRepresentation.hpp includes/triton/arm32Semantics.hpp includes/triton/taintEngine.hpp includes/triton/memoryAccess.hpp includes/triton/z3Solver.hpp includes/triton/callbacks.hpp includes/triton/solverEngine.hpp includes/triton/aarch64Specifications.hpp includes/triton/modes.hpp includes/triton/aarch64Semantics.hpp includes/triton/solverModel.hpp includes/triton/register.hpp includes/triton/z3ToTritonAst.hpp includes/triton/astPythonRepresentation.hpp includes/triton/architecture.hpp includes/triton/modesEnums.hpp callbacks/callbacks.cpp utils/coreUtils.cpp modes/modes.cpp os/unix/syscallNumberToString.cpp

No flags found

Use flags to group coverage reports by test type, project and/or folders.
Then setup custom commit statuses and notifications for each flag.

e.g., #unittest #integration

#production #enterprise

#frontend #backend

Learn more about Codecov Flags here.

3 untracked files changed.
Other files ignored by Codecov
.travis.yml has changed.
Dockerfile has changed.
.appveyor.yml has changed.

No tracked files changed.

Learn more Showing 2 files with coverage changes found.

Changes in src/libtriton/ast/z3/z3ToTritonAst.cpp
-3
→
+3
Loading file...
Changes in src/libtriton/bindings/python/utils.cpp
-1
→
Loading file...

2 Commits

86.12% ø -0.01%
Update Z3 to 4.8.9
XVilka
39a81f6
CI Passed
-1
-3
+2
Jonathan Salwan
86.13% ø +0.01%
Bypass restriction
JonathanSalwan
06dd5c7
CI Passed
Files Coverage
src/libtriton -0.01% 86.12%
Project Totals (107 files) 86.12%
Loading