Flawfinder version 2.0.10, (C) 2001-2019 David A. Wheeler.
Number of rules (primarily dangerous function names) in C/C++ ruleset: 223
Examining data/frobby-0.9.1/save/InputAction.h
Examining data/frobby-0.9.1/save/Lexer.cpp
Examining data/frobby-0.9.1/save/PackedTermHandler.cpp
Examining data/frobby-0.9.1/save/PrimaryDecomAction.cpp
Examining data/frobby-0.9.1/save/PrimaryDecomAction.h
Examining data/frobby-0.9.1/save/packedTerm.h
Examining data/frobby-0.9.1/src/Action.cpp
Examining data/frobby-0.9.1/src/Action.h
Examining data/frobby-0.9.1/src/ActionPrinter.cpp
Examining data/frobby-0.9.1/src/ActionPrinter.h
Examining data/frobby-0.9.1/src/AlexanderDualAction.cpp
Examining data/frobby-0.9.1/src/AlexanderDualAction.h
Examining data/frobby-0.9.1/src/AnalyzeAction.cpp
Examining data/frobby-0.9.1/src/AnalyzeAction.h
Examining data/frobby-0.9.1/src/Arena.cpp
Examining data/frobby-0.9.1/src/Arena.h
Examining data/frobby-0.9.1/src/ArenaTest.cpp
Examining data/frobby-0.9.1/src/AssociatedPrimesAction.cpp
Examining data/frobby-0.9.1/src/AssociatedPrimesAction.h
Examining data/frobby-0.9.1/src/BigIdeal.cpp
Examining data/frobby-0.9.1/src/BigIdeal.h
Examining data/frobby-0.9.1/src/BigIntVector.cpp
Examining data/frobby-0.9.1/src/BigIntVector.h
Examining data/frobby-0.9.1/src/BigPolynomial.cpp
Examining data/frobby-0.9.1/src/BigPolynomial.h
Examining data/frobby-0.9.1/src/BigTermConsumer.cpp
Examining data/frobby-0.9.1/src/BigTermConsumer.h
Examining data/frobby-0.9.1/src/BigTermRecorder.cpp
Examining data/frobby-0.9.1/src/BigTermRecorder.h
Examining data/frobby-0.9.1/src/BigattiBaseCase.cpp
Examining data/frobby-0.9.1/src/BigattiBaseCase.h
Examining data/frobby-0.9.1/src/BigattiFacade.cpp
Examining data/frobby-0.9.1/src/BigattiFacade.h
Examining data/frobby-0.9.1/src/BigattiHilbertAlgorithm.cpp
Examining data/frobby-0.9.1/src/BigattiHilbertAlgorithm.h
Examining data/frobby-0.9.1/src/BigattiParams.cpp
Examining data/frobby-0.9.1/src/BigattiParams.h
Examining data/frobby-0.9.1/src/BigattiPivotStrategy.cpp
Examining data/frobby-0.9.1/src/BigattiPivotStrategy.h
Examining data/frobby-0.9.1/src/BigattiState.cpp
Examining data/frobby-0.9.1/src/BigattiState.h
Examining data/frobby-0.9.1/src/BoolParameter.cpp
Examining data/frobby-0.9.1/src/BoolParameter.h
Examining data/frobby-0.9.1/src/CanonicalCoefTermConsumer.cpp
Examining data/frobby-0.9.1/src/CanonicalCoefTermConsumer.h
Examining data/frobby-0.9.1/src/CanonicalTermConsumer.cpp
Examining data/frobby-0.9.1/src/CanonicalTermConsumer.h
Examining data/frobby-0.9.1/src/CliParams.cpp
Examining data/frobby-0.9.1/src/CliParams.h
Examining data/frobby-0.9.1/src/CoCoA4IOHandler.cpp
Examining data/frobby-0.9.1/src/CoCoA4IOHandler.h
Examining data/frobby-0.9.1/src/CoefBigTermConsumer.cpp
Examining data/frobby-0.9.1/src/CoefBigTermConsumer.h
Examining data/frobby-0.9.1/src/CoefBigTermRecorder.cpp
Examining data/frobby-0.9.1/src/CoefBigTermRecorder.h
Examining data/frobby-0.9.1/src/CoefTermConsumer.cpp
Examining data/frobby-0.9.1/src/CoefTermConsumer.h
Examining data/frobby-0.9.1/src/ColumnPrinter.cpp
Examining data/frobby-0.9.1/src/ColumnPrinter.h
Examining data/frobby-0.9.1/src/CommonParams.cpp
Examining data/frobby-0.9.1/src/CommonParams.h
Examining data/frobby-0.9.1/src/CommonParamsHelper.cpp
Examining data/frobby-0.9.1/src/CommonParamsHelper.h
Examining data/frobby-0.9.1/src/CountingIOHandler.cpp
Examining data/frobby-0.9.1/src/CountingIOHandler.h
Examining data/frobby-0.9.1/src/DataType.cpp
Examining data/frobby-0.9.1/src/DataType.h
Examining data/frobby-0.9.1/src/DebugAllocator.cpp
Examining data/frobby-0.9.1/src/DebugAllocator.h
Examining data/frobby-0.9.1/src/DebugStrategy.cpp
Examining data/frobby-0.9.1/src/DebugStrategy.h
Examining data/frobby-0.9.1/src/DecomRecorder.cpp
Examining data/frobby-0.9.1/src/DecomRecorder.h
Examining data/frobby-0.9.1/src/Deformer.cpp
Examining data/frobby-0.9.1/src/Deformer.h
Examining data/frobby-0.9.1/src/DimensionAction.cpp
Examining data/frobby-0.9.1/src/DimensionAction.h
Examining data/frobby-0.9.1/src/DynamicFrobeniusAction.cpp
Examining data/frobby-0.9.1/src/DynamicFrobeniusAction.h
Examining data/frobby-0.9.1/src/DynamicFrobeniusFacade.cpp
Examining data/frobby-0.9.1/src/DynamicFrobeniusFacade.h
Examining data/frobby-0.9.1/src/ElementDeleter.cpp
Examining data/frobby-0.9.1/src/ElementDeleter.h
Examining data/frobby-0.9.1/src/EulerAction.cpp
Examining data/frobby-0.9.1/src/EulerAction.h
Examining data/frobby-0.9.1/src/EulerState.cpp
Examining data/frobby-0.9.1/src/EulerState.h
Examining data/frobby-0.9.1/src/Facade.cpp
Examining data/frobby-0.9.1/src/Facade.h
Examining data/frobby-0.9.1/src/Fourti2IOHandler.cpp
Examining data/frobby-0.9.1/src/Fourti2IOHandler.h
Examining data/frobby-0.9.1/src/FrobbyStringStream.cpp
Examining data/frobby-0.9.1/src/FrobbyStringStream.h
Examining data/frobby-0.9.1/src/FrobeniusAction.cpp
Examining data/frobby-0.9.1/src/FrobeniusAction.h
Examining data/frobby-0.9.1/src/GenerateDataFacade.cpp
Examining data/frobby-0.9.1/src/GenerateDataFacade.h
Examining data/frobby-0.9.1/src/GenerateFrobeniusAction.cpp
Examining data/frobby-0.9.1/src/GenerateFrobeniusAction.h
Examining data/frobby-0.9.1/src/GenerateIdealAction.cpp
Examining data/frobby-0.9.1/src/GenerateIdealAction.h
Examining data/frobby-0.9.1/src/HashMap.h
Examining data/frobby-0.9.1/src/HashPolynomial.cpp
Examining data/frobby-0.9.1/src/HashPolynomial.h
Examining data/frobby-0.9.1/src/HelpAction.cpp
Examining data/frobby-0.9.1/src/HelpAction.h
Examining data/frobby-0.9.1/src/HilbertAction.cpp
Examining data/frobby-0.9.1/src/HilbertAction.h
Examining data/frobby-0.9.1/src/HilbertBasecase.cpp
Examining data/frobby-0.9.1/src/HilbertBasecase.h
Examining data/frobby-0.9.1/src/HilbertIndependenceConsumer.cpp
Examining data/frobby-0.9.1/src/HilbertIndependenceConsumer.h
Examining data/frobby-0.9.1/src/HilbertSlice.cpp
Examining data/frobby-0.9.1/src/HilbertSlice.h
Examining data/frobby-0.9.1/src/HilbertStrategy.cpp
Examining data/frobby-0.9.1/src/HilbertStrategy.h
Examining data/frobby-0.9.1/src/IOFacade.cpp
Examining data/frobby-0.9.1/src/IOFacade.h
Examining data/frobby-0.9.1/src/IOHandler.cpp
Examining data/frobby-0.9.1/src/IOHandler.h
Examining data/frobby-0.9.1/src/IOHandlerCommon.cpp
Examining data/frobby-0.9.1/src/IOHandlerCommon.h
Examining data/frobby-0.9.1/src/IOHandlerImpl.cpp
Examining data/frobby-0.9.1/src/IOHandlerImpl.h
Examining data/frobby-0.9.1/src/IOParameters.cpp
Examining data/frobby-0.9.1/src/IOParameters.h
Examining data/frobby-0.9.1/src/Ideal.cpp
Examining data/frobby-0.9.1/src/Ideal.h
Examining data/frobby-0.9.1/src/IdealComparator.cpp
Examining data/frobby-0.9.1/src/IdealComparator.h
Examining data/frobby-0.9.1/src/IdealConsolidator.cpp
Examining data/frobby-0.9.1/src/IdealConsolidator.h
Examining data/frobby-0.9.1/src/IdealFacade.cpp
Examining data/frobby-0.9.1/src/IdealFacade.h
Examining data/frobby-0.9.1/src/IdealFactory.cpp
Examining data/frobby-0.9.1/src/IdealFactory.h
Examining data/frobby-0.9.1/src/IdealOrderer.cpp
Examining data/frobby-0.9.1/src/IdealOrderer.h
Examining data/frobby-0.9.1/src/IdealTest.cpp
Examining data/frobby-0.9.1/src/IdealTree.cpp
Examining data/frobby-0.9.1/src/IdealTree.h
Examining data/frobby-0.9.1/src/IdealWriter.cpp
Examining data/frobby-0.9.1/src/IdealWriter.h
Examining data/frobby-0.9.1/src/IndependenceSplitter.cpp
Examining data/frobby-0.9.1/src/IndependenceSplitter.h
Examining data/frobby-0.9.1/src/InputConsumer.cpp
Examining data/frobby-0.9.1/src/InputConsumer.h
Examining data/frobby-0.9.1/src/IntegerParameter.cpp
Examining data/frobby-0.9.1/src/IntegerParameter.h
Examining data/frobby-0.9.1/src/IntersectFacade.cpp
Examining data/frobby-0.9.1/src/IntersectFacade.h
Examining data/frobby-0.9.1/src/IntersectionAction.cpp
Examining data/frobby-0.9.1/src/IntersectionAction.h
Examining data/frobby-0.9.1/src/IrreducibleDecomAction.cpp
Examining data/frobby-0.9.1/src/IrreducibleDecomAction.h
Examining data/frobby-0.9.1/src/IrreducibleIdealSplitter.cpp
Examining data/frobby-0.9.1/src/IrreducibleIdealSplitter.h
Examining data/frobby-0.9.1/src/LatticeAlgs.cpp
Examining data/frobby-0.9.1/src/LatticeAlgs.h
Examining data/frobby-0.9.1/src/LatticeAnalyzeAction.cpp
Examining data/frobby-0.9.1/src/LatticeAnalyzeAction.h
Examining data/frobby-0.9.1/src/LatticeFacade.cpp
Examining data/frobby-0.9.1/src/LatticeFacade.h
Examining data/frobby-0.9.1/src/LatticeFormatAction.cpp
Examining data/frobby-0.9.1/src/LatticeFormatAction.h
Examining data/frobby-0.9.1/src/LibAlexanderDualTest.cpp
Examining data/frobby-0.9.1/src/LibAssociatedPrimesTest.cpp
Examining data/frobby-0.9.1/src/LibDimensionTest.cpp
Examining data/frobby-0.9.1/src/LibHilbertPoincareTest.cpp
Examining data/frobby-0.9.1/src/LibIrreducibleDecomTest.cpp
Examining data/frobby-0.9.1/src/LibMaxStdTest.cpp
Examining data/frobby-0.9.1/src/LibPrimaryDecomTest.cpp
Examining data/frobby-0.9.1/src/LibStdProgramTest.cpp
Examining data/frobby-0.9.1/src/LibTest.cpp
Examining data/frobby-0.9.1/src/LibTest.h
Examining data/frobby-0.9.1/src/LocalArray.cpp
Examining data/frobby-0.9.1/src/LocalArray.h
Examining data/frobby-0.9.1/src/Macaulay2IOHandler.cpp
Examining data/frobby-0.9.1/src/Macaulay2IOHandler.h
Examining data/frobby-0.9.1/src/Matrix.cpp
Examining data/frobby-0.9.1/src/Matrix.h
Examining data/frobby-0.9.1/src/MatrixTest.cpp
Examining data/frobby-0.9.1/src/MaximalStandardAction.cpp
Examining data/frobby-0.9.1/src/MaximalStandardAction.h
Examining data/frobby-0.9.1/src/Minimizer.cpp
Examining data/frobby-0.9.1/src/Minimizer.h
Examining data/frobby-0.9.1/src/MonosIOHandler.cpp
Examining data/frobby-0.9.1/src/MonosIOHandler.h
Examining data/frobby-0.9.1/src/MsmSlice.cpp
Examining data/frobby-0.9.1/src/MsmSlice.h
Examining data/frobby-0.9.1/src/MsmStrategy.cpp
Examining data/frobby-0.9.1/src/MsmStrategy.h
Examining data/frobby-0.9.1/src/NameFactory.cpp
Examining data/frobby-0.9.1/src/NameFactory.h
Examining data/frobby-0.9.1/src/NewMonosIOHandler.cpp
Examining data/frobby-0.9.1/src/NewMonosIOHandler.h
Examining data/frobby-0.9.1/src/NullCoefTermConsumer.cpp
Examining data/frobby-0.9.1/src/NullCoefTermConsumer.h
Examining data/frobby-0.9.1/src/NullIOHandler.cpp
Examining data/frobby-0.9.1/src/NullIOHandler.h
Examining data/frobby-0.9.1/src/NullTermConsumer.cpp
Examining data/frobby-0.9.1/src/NullTermConsumer.h
Examining data/frobby-0.9.1/src/ObjectCache.cpp
Examining data/frobby-0.9.1/src/ObjectCache.h
Examining data/frobby-0.9.1/src/OptSliceParams.h
Examining data/frobby-0.9.1/src/OptimizeAction.cpp
Examining data/frobby-0.9.1/src/OptimizeAction.h
Examining data/frobby-0.9.1/src/OptimizeStrategy.cpp
Examining data/frobby-0.9.1/src/OptimizeStrategyTest.cpp
Examining data/frobby-0.9.1/src/Parameter.cpp
Examining data/frobby-0.9.1/src/Parameter.h
Examining data/frobby-0.9.1/src/ParameterGroup.cpp
Examining data/frobby-0.9.1/src/ParameterGroup.h
Examining data/frobby-0.9.1/src/Partition.cpp
Examining data/frobby-0.9.1/src/Partition.h
Examining data/frobby-0.9.1/src/PivotEulerAlg.cpp
Examining data/frobby-0.9.1/src/PivotEulerAlg.h
Examining data/frobby-0.9.1/src/PivotStrategy.cpp
Examining data/frobby-0.9.1/src/PivotStrategy.h
Examining data/frobby-0.9.1/src/PolyTransformAction.h
Examining data/frobby-0.9.1/src/PolyWriter.cpp
Examining data/frobby-0.9.1/src/PolyWriter.h
Examining data/frobby-0.9.1/src/Polynomial.cpp
Examining data/frobby-0.9.1/src/Polynomial.h
Examining data/frobby-0.9.1/src/PolynomialConsolidator.cpp
Examining data/frobby-0.9.1/src/PolynomialConsolidator.h
Examining data/frobby-0.9.1/src/PolynomialFacade.cpp
Examining data/frobby-0.9.1/src/PolynomialFacade.h
Examining data/frobby-0.9.1/src/PolynomialFactory.cpp
Examining data/frobby-0.9.1/src/PolynomialFactory.h
Examining data/frobby-0.9.1/src/PrimaryDecomAction.cpp
Examining data/frobby-0.9.1/src/PrimaryDecomAction.h
Examining data/frobby-0.9.1/src/Projection.cpp
Examining data/frobby-0.9.1/src/Projection.h
Examining data/frobby-0.9.1/src/RawSquareFreeIdeal.cpp
Examining data/frobby-0.9.1/src/RawSquareFreeIdeal.h
Examining data/frobby-0.9.1/src/RawSquareFreeIdealTest.cpp
Examining data/frobby-0.9.1/src/RawSquareFreeTerm.cpp
Examining data/frobby-0.9.1/src/RawSquareFreeTerm.h
Examining data/frobby-0.9.1/src/RawSquareFreeTermTest.cpp
Examining data/frobby-0.9.1/src/SatBinomConsumer.cpp
Examining data/frobby-0.9.1/src/SatBinomConsumer.h
Examining data/frobby-0.9.1/src/SatBinomIdeal.cpp
Examining data/frobby-0.9.1/src/SatBinomIdeal.h
Examining data/frobby-0.9.1/src/SatBinomRecorder.cpp
Examining data/frobby-0.9.1/src/SatBinomRecorder.h
Examining data/frobby-0.9.1/src/Scanner.cpp
Examining data/frobby-0.9.1/src/Scanner.h
Examining data/frobby-0.9.1/src/ScarfFacade.cpp
Examining data/frobby-0.9.1/src/ScarfFacade.h
Examining data/frobby-0.9.1/src/ScarfHilbertAlgorithm.cpp
Examining data/frobby-0.9.1/src/ScarfHilbertAlgorithm.h
Examining data/frobby-0.9.1/src/ScarfParams.cpp
Examining data/frobby-0.9.1/src/ScarfParams.h
Examining data/frobby-0.9.1/src/SingularIOHandler.cpp
Examining data/frobby-0.9.1/src/SingularIOHandler.h
Examining data/frobby-0.9.1/src/SizeMaxIndepSetAlg.cpp
Examining data/frobby-0.9.1/src/SizeMaxIndepSetAlg.h
Examining data/frobby-0.9.1/src/Slice.cpp
Examining data/frobby-0.9.1/src/Slice.h
Examining data/frobby-0.9.1/src/SliceFacade.cpp
Examining data/frobby-0.9.1/src/SliceFacade.h
Examining data/frobby-0.9.1/src/SliceLikeParams.cpp
Examining data/frobby-0.9.1/src/SliceLikeParams.h
Examining data/frobby-0.9.1/src/SliceParameters.cpp
Examining data/frobby-0.9.1/src/SliceParameters.h
Examining data/frobby-0.9.1/src/SliceParams.cpp
Examining data/frobby-0.9.1/src/SliceParams.h
Examining data/frobby-0.9.1/src/SliceStrategy.cpp
Examining data/frobby-0.9.1/src/SliceStrategy.h
Examining data/frobby-0.9.1/src/SliceStrategyCommon.cpp
Examining data/frobby-0.9.1/src/SliceStrategyCommon.h
Examining data/frobby-0.9.1/src/SplitStrategy.cpp
Examining data/frobby-0.9.1/src/SplitStrategy.h
Examining data/frobby-0.9.1/src/SquareFreeIdeal.cpp
Examining data/frobby-0.9.1/src/SquareFreeIdeal.h
Examining data/frobby-0.9.1/src/StatisticsStrategy.cpp
Examining data/frobby-0.9.1/src/StatisticsStrategy.h
Examining data/frobby-0.9.1/src/StringParameter.cpp
Examining data/frobby-0.9.1/src/StringParameter.h
Examining data/frobby-0.9.1/src/Task.cpp
Examining data/frobby-0.9.1/src/Task.h
Examining data/frobby-0.9.1/src/TaskEngine.cpp
Examining data/frobby-0.9.1/src/TaskEngine.h
Examining data/frobby-0.9.1/src/Term.cpp
Examining data/frobby-0.9.1/src/Term.h
Examining data/frobby-0.9.1/src/TermConsumer.cpp
Examining data/frobby-0.9.1/src/TermConsumer.h
Examining data/frobby-0.9.1/src/TermExtra.cpp
Examining data/frobby-0.9.1/src/TermExtra.h
Examining data/frobby-0.9.1/src/TermGrader.cpp
Examining data/frobby-0.9.1/src/TermGrader.h
Examining data/frobby-0.9.1/src/TermGraderTest.cpp
Examining data/frobby-0.9.1/src/TermIgnorer.h
Examining data/frobby-0.9.1/src/TermPredicate.cpp
Examining data/frobby-0.9.1/src/TermPredicate.h
Examining data/frobby-0.9.1/src/TermTest.cpp
Examining data/frobby-0.9.1/src/TermTranslator.cpp
Examining data/frobby-0.9.1/src/TermTranslator.h
Examining data/frobby-0.9.1/src/TermTranslatorTest.cpp
Examining data/frobby-0.9.1/src/TestAction.cpp
Examining data/frobby-0.9.1/src/TestAction.h
Examining data/frobby-0.9.1/src/Timer.cpp
Examining data/frobby-0.9.1/src/Timer.h
Examining data/frobby-0.9.1/src/TotalDegreeCoefTermConsumer.cpp
Examining data/frobby-0.9.1/src/TotalDegreeCoefTermConsumer.h
Examining data/frobby-0.9.1/src/TransformAction.h
Examining data/frobby-0.9.1/src/TranslatingCoefTermConsumer.cpp
Examining data/frobby-0.9.1/src/TranslatingCoefTermConsumer.h
Examining data/frobby-0.9.1/src/TranslatingTermConsumer.cpp
Examining data/frobby-0.9.1/src/TranslatingTermConsumer.h
Examining data/frobby-0.9.1/src/UniHashPolynomial.cpp
Examining data/frobby-0.9.1/src/UniHashPolynomial.h
Examining data/frobby-0.9.1/src/VarNames.cpp
Examining data/frobby-0.9.1/src/VarNames.h
Examining data/frobby-0.9.1/src/VarSorter.cpp
Examining data/frobby-0.9.1/src/VarSorter.h
Examining data/frobby-0.9.1/src/display.cpp
Examining data/frobby-0.9.1/src/display.h
Examining data/frobby-0.9.1/src/doxygen.cpp
Examining data/frobby-0.9.1/src/dynamicFrobeniusAlgorithm.cpp
Examining data/frobby-0.9.1/src/dynamicFrobeniusAlgorithm.h
Examining data/frobby-0.9.1/src/error.h
Examining data/frobby-0.9.1/src/fourti2.cpp
Examining data/frobby-0.9.1/src/fourti2.h
Examining data/frobby-0.9.1/src/fplllIO.cpp
Examining data/frobby-0.9.1/src/fplllIO.h
Examining data/frobby-0.9.1/src/frobby.cpp
Examining data/frobby-0.9.1/src/frobby.h
Examining data/frobby-0.9.1/src/hash_map/hash_fun.h
Examining data/frobby-0.9.1/src/hash_map/hashtable.h
Examining data/frobby-0.9.1/src/intersect.cpp
Examining data/frobby-0.9.1/src/intersect.h
Examining data/frobby-0.9.1/src/lattice.cpp
Examining data/frobby-0.9.1/src/lattice.h
Examining data/frobby-0.9.1/src/main.cpp
Examining data/frobby-0.9.1/src/main.h
Examining data/frobby-0.9.1/src/randomDataGenerators.cpp
Examining data/frobby-0.9.1/src/randomDataGenerators.h
Examining data/frobby-0.9.1/src/stdinc.cpp
Examining data/frobby-0.9.1/src/stdinc.h
Examining data/frobby-0.9.1/src/test/Test.cpp
Examining data/frobby-0.9.1/src/test/Test.h
Examining data/frobby-0.9.1/src/test/TestCase.cpp
Examining data/frobby-0.9.1/src/test/TestCase.h
Examining data/frobby-0.9.1/src/test/TestQualifier.cpp
Examining data/frobby-0.9.1/src/test/TestQualifier.h
Examining data/frobby-0.9.1/src/test/TestRunner.cpp
Examining data/frobby-0.9.1/src/test/TestRunner.h
Examining data/frobby-0.9.1/src/test/TestSorter.cpp
Examining data/frobby-0.9.1/src/test/TestSorter.h
Examining data/frobby-0.9.1/src/test/TestSuite.cpp
Examining data/frobby-0.9.1/src/test/TestSuite.h
Examining data/frobby-0.9.1/src/test/TestVisitor.cpp
Examining data/frobby-0.9.1/src/test/TestVisitor.h
Examining data/frobby-0.9.1/src/test/all.h
Examining data/frobby-0.9.1/src/test/asserts.cpp
Examining data/frobby-0.9.1/src/test/asserts.h
Examining data/frobby-0.9.1/src/test/macroes.cpp
Examining data/frobby-0.9.1/src/test/macroes.h
Examining data/frobby-0.9.1/src/test/stdinc.h
Examining data/frobby-0.9.1/src/test/testmain.cpp
Examining data/frobby-0.9.1/src/tests.h
Examining data/frobby-0.9.1/src/TransformAction.cpp
Examining data/frobby-0.9.1/src/PolyTransformAction.cpp
Examining data/frobby-0.9.1/src/error.cpp
Examining data/frobby-0.9.1/src/OptimizeStrategy.h
FINAL RESULTS:
data/frobby-0.9.1/src/HelpAction.cpp:141:7: [4] (format) fprintf:
If format strings can be influenced by an attacker, they can be exploited
(CWE-134). Use a constant for the format specification.
fprintf(stderr, formatStr, type.getName());
data/frobby-0.9.1/src/Matrix.cpp:353:3: [4] (shell) system:
This causes a new program to execute and is difficult to use safely
(CWE-78). try using a library call that implements the same functionality
if available.
system.resize(system.getRowCount(), system.getColCount() + rhs.getColCount());
data/frobby-0.9.1/src/Matrix.cpp:353:17: [4] (shell) system:
This causes a new program to execute and is difficult to use safely
(CWE-78). try using a library call that implements the same functionality
if available.
system.resize(system.getRowCount(), system.getColCount() + rhs.getColCount());
data/frobby-0.9.1/src/Matrix.cpp:353:39: [4] (shell) system:
This causes a new program to execute and is difficult to use safely
(CWE-78). try using a library call that implements the same functionality
if available.
system.resize(system.getRowCount(), system.getColCount() + rhs.getColCount());
data/frobby-0.9.1/src/Matrix.cpp:357:4: [4] (shell) system:
This causes a new program to execute and is difficult to use safely
(CWE-78). try using a library call that implements the same functionality
if available.
system(row, midCol + col) = rhs(row, col);
data/frobby-0.9.1/src/Matrix.cpp:359:18: [4] (shell) system:
This causes a new program to execute and is difficult to use safely
(CWE-78). try using a library call that implements the same functionality
if available.
rowReduceFully(system);
data/frobby-0.9.1/src/Matrix.cpp:362:30: [4] (shell) system:
This causes a new program to execute and is difficult to use safely
(CWE-78). try using a library call that implements the same functionality
if available.
for (size_t row = 0; row < system.getRowCount(); ++row) {
data/frobby-0.9.1/src/Matrix.cpp:364:8: [4] (shell) system:
This causes a new program to execute and is difficult to use safely
(CWE-78). try using a library call that implements the same functionality
if available.
if (system(row, col) != 0)
data/frobby-0.9.1/src/Matrix.cpp:366:34: [4] (shell) system:
This causes a new program to execute and is difficult to use safely
(CWE-78). try using a library call that implements the same functionality
if available.
for (size_t col = midCol; col < system.getColCount(); ++col)
data/frobby-0.9.1/src/Matrix.cpp:367:8: [4] (shell) system:
This causes a new program to execute and is difficult to use safely
(CWE-78). try using a library call that implements the same functionality
if available.
if (system(row, col) != 0)
data/frobby-0.9.1/src/Matrix.cpp:377:13: [4] (shell) system:
This causes a new program to execute and is difficult to use safely
(CWE-78). try using a library call that implements the same functionality
if available.
if (row == system.getRowCount() || system(row, col) == 0) {
data/frobby-0.9.1/src/Matrix.cpp:377:37: [4] (shell) system:
This causes a new program to execute and is difficult to use safely
(CWE-78). try using a library call that implements the same functionality
if available.
if (row == system.getRowCount() || system(row, col) == 0) {
data/frobby-0.9.1/src/Matrix.cpp:381:11: [4] (shell) system:
This causes a new program to execute and is difficult to use safely
(CWE-78). try using a library call that implements the same functionality
if available.
ASSERT(system(row, col) == 1);
data/frobby-0.9.1/src/Matrix.cpp:383:17: [4] (shell) system:
This causes a new program to execute and is difficult to use safely
(CWE-78). try using a library call that implements the same functionality
if available.
sol(col, r) = system(row, midCol + r);
data/frobby-0.9.1/src/TermTranslator.cpp:369:9: [4] (buffer) strcpy:
Does not check for buffer overflows when copying to destination [MS-banned]
(CWE-120). Consider using snprintf, strcpy_s, or strlcpy (warning: strncpy
easily misused).
strcpy(str, out.str().c_str());
data/frobby-0.9.1/src/PivotStrategy.cpp:201:33: [3] (random) random:
This function is not sufficiently random for security-related functions
such as key and nonce creation (CWE-327). Use a more secure technique for
acquiring random values.
return state.inPlaceStdSplit(random);
data/frobby-0.9.1/src/PivotStrategy.cpp:209:28: [3] (random) random:
This function is not sufficiently random for security-related functions
such as key and nonce creation (CWE-327). Use a more secure technique for
acquiring random values.
Ops::setExponent(pivot, random, 1);
data/frobby-0.9.1/src/PivotStrategy.cpp:225:51: [3] (random) random:
This function is not sufficiently random for security-related functions
such as key and nonce creation (CWE-327). Use a more secure technique for
acquiring random values.
if (Ops::getExponent(state.getEliminatedVars(), random) == 0)
data/frobby-0.9.1/src/PivotStrategy.cpp:226:12: [3] (random) random:
This function is not sufficiently random for security-related functions
such as key and nonce creation (CWE-327). Use a more secure technique for
acquiring random values.
return random;
data/frobby-0.9.1/src/main.cpp:82:5: [3] (random) srand:
This function is not sufficiently random for security-related functions
such as key and nonce creation (CWE-327). Use a more secure technique for
acquiring random values.
srand((unsigned int)time(0) +
data/frobby-0.9.1/src/randomDataGenerators.cpp:465:17: [3] (random) random:
This function is not sufficiently random for security-related functions
such as key and nonce creation (CWE-327). Use a more secure technique for
acquiring random values.
gmp_randclass random(gmp_randinit_default);
data/frobby-0.9.1/src/randomDataGenerators.cpp:468:3: [3] (random) random:
This function is not sufficiently random for security-related functions
such as key and nonce creation (CWE-327). Use a more secure technique for
acquiring random values.
random.seed((unsigned long)time(0) +
data/frobby-0.9.1/src/randomDataGenerators.cpp:478:19: [3] (random) random:
This function is not sufficiently random for security-related functions
such as key and nonce creation (CWE-327). Use a more secure technique for
acquiring random values.
instance[i] = random.get_z_range(maxEntry) + 1;
data/frobby-0.9.1/src/RawSquareFreeIdealTest.cpp:39:9: [1] (buffer) equal:
Function does not check the second iterator for over-read conditions
(CWE-126). This function is often discouraged by most C++ coding standards
in favor of its safer alternatives provided since C++14. Consider using a
form of this function that checks the second iterator before potentially
overflowing it.
return equal;
data/frobby-0.9.1/src/RawSquareFreeTermTest.cpp:541:20: [1] (buffer) strlen:
Does not handle strings that are not \0-terminated; if given one it may
perform an over-read (it could cause a crash if unprotected) (CWE-126).
size_t varCount = strlen(A); \
data/frobby-0.9.1/src/RawSquareFreeTermTest.cpp:545:25: [1] (buffer) strlen:
Does not handle strings that are not \0-terminated; if given one it may
perform an over-read (it could cause a crash if unprotected) (CWE-126).
size_t varCountAfter = strlen(C); \
data/frobby-0.9.1/src/Scanner.cpp:309:18: [1] (buffer) read:
Check buffer boundaries if used in a loop including recursive loops
(CWE-120, CWE-20).
_buffer.resize(read);
ANALYSIS SUMMARY:
Hits = 27
Lines analyzed = 48135 in approximately 1.29 seconds (37225 lines/second)
Physical Source Lines of Code (SLOC) = 30239
Hits@level = [0] 59 [1] 4 [2] 0 [3] 8 [4] 15 [5] 0
Hits@level+ = [0+] 86 [1+] 27 [2+] 23 [3+] 23 [4+] 15 [5+] 0
Hits/KSLOC@level+ = [0+] 2.84401 [1+] 0.892887 [2+] 0.760607 [3+] 0.760607 [4+] 0.496048 [5+] 0
Dot directories skipped = 1 (--followdotdir overrides)
Minimum risk level = 1
Not every hit is necessarily a security vulnerability.
There may be other security vulnerabilities; review your code!
See 'Secure Programming HOWTO'
(https://dwheeler.com/secure-programs) for more information.