MyFinder is a unique search engine with a simple privacy concept in mind. We log your searches but none of the data, it's that simple.
Boolean expressionModel checkingReturn typeClass invariantExpressionPattern matchingData typeCycle detectionLoop invariantIntegerBoundary conditionGuardBoundary-value analysisRange minimum queryTest assertionStatementAssertionLoop dependence analysisTime complexityNested functionData-flow analysisType variableScopeStatic variableBounded functionRelational operatorAlgorithmic efficiencyException handlingParameterComputational problemComputational complexityPreconditionChecksumPointer analysisFormal specificationBoolean variableSearch algorithmConst correctnessData validationReference countingSymbolic executionRecursive functionCoinductionType systemSyntax errorNaming conventionClosureControl flowEscape analysisTest oracleDeclarationLoop-invariant code motionProgram slicingLimitCode coveragePre-incrementBitwise operationTypeCeiling functionDefinitionConstraintTrailing return typeNumerical errorSyntaxTruncation errorRoot-finding algorithmsSwitch statementFor loopTruncationRecursive data typeTest vectorAnalysis of algorithmsBuffer overflowAlgorithmOperatorIndirectionPredefined functionPostconditionBuffer over-readCall-by-valueCall-by-referenceIndex notationEvaluation strategyEncapsulationReferenceConstantMatching wildcardsTemporary variableFixed-point iterationTest design techniqueRecursionBound variableFormal verificationData dependencyBounded quantificationBibo stabilityFuzzingSet functionCovariancePartial application