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/regina-normal-5.1/cmake/modules/c++11-tests/c++11-test-__func__-N2340.cpp Examining data/regina-normal-5.1/cmake/modules/c++11-tests/c++11-test-auto-N2546.cpp Examining data/regina-normal-5.1/cmake/modules/c++11-tests/c++11-test-constexpr-N2235.cpp Examining data/regina-normal-5.1/cmake/modules/c++11-tests/c++11-test-cstdint.cpp Examining data/regina-normal-5.1/cmake/modules/c++11-tests/c++11-test-decltype-N2343.cpp Examining data/regina-normal-5.1/cmake/modules/c++11-tests/c++11-test-lambda-N2927.cpp Examining data/regina-normal-5.1/cmake/modules/c++11-tests/c++11-test-long_long-N1811.cpp Examining data/regina-normal-5.1/cmake/modules/c++11-tests/c++11-test-nullptr-N2431.cpp Examining data/regina-normal-5.1/cmake/modules/c++11-tests/c++11-test-nullptr-N2431_fail_compile.cpp Examining data/regina-normal-5.1/cmake/modules/c++11-tests/c++11-test-rvalue_references-N2118.cpp Examining data/regina-normal-5.1/cmake/modules/c++11-tests/c++11-test-sizeof_member-N2253.cpp Examining data/regina-normal-5.1/cmake/modules/c++11-tests/c++11-test-static_assert-N1720.cpp Examining data/regina-normal-5.1/cmake/modules/c++11-tests/c++11-test-static_assert-N1720_fail_compile.cpp Examining data/regina-normal-5.1/cmake/modules/c++11-tests/c++11-test-stdexceptionptr.cpp Examining data/regina-normal-5.1/cmake/modules/c++11-tests/c++11-test-stdthread.cpp Examining data/regina-normal-5.1/cmake/modules/c++11-tests/c++11-test-variadic_templates-N2555.cpp Examining data/regina-normal-5.1/engine/algebra/abeliangroup.cpp Examining data/regina-normal-5.1/engine/algebra/abeliangroup.h Examining data/regina-normal-5.1/engine/algebra/grouppresentation.cpp Examining data/regina-normal-5.1/engine/algebra/grouppresentation.h Examining data/regina-normal-5.1/engine/algebra/homgrouppresentation.cpp Examining data/regina-normal-5.1/engine/algebra/homgrouppresentation.h Examining data/regina-normal-5.1/engine/algebra/markedabeliangroup.cpp Examining data/regina-normal-5.1/engine/algebra/markedabeliangroup.h Examining data/regina-normal-5.1/engine/algebra/nabeliangroup.h Examining data/regina-normal-5.1/engine/algebra/ngrouppresentation.h Examining data/regina-normal-5.1/engine/algebra/nhomgrouppresentation.h Examining data/regina-normal-5.1/engine/algebra/nmarkedabeliangroup.h Examining data/regina-normal-5.1/engine/algebra/xmlalgebrareader.cpp Examining data/regina-normal-5.1/engine/algebra/xmlalgebrareader.h Examining data/regina-normal-5.1/engine/angle/anglestructure.cpp Examining data/regina-normal-5.1/engine/angle/anglestructure.h Examining data/regina-normal-5.1/engine/angle/anglestructures.cpp Examining data/regina-normal-5.1/engine/angle/anglestructures.h Examining data/regina-normal-5.1/engine/angle/nanglestructure.h Examining data/regina-normal-5.1/engine/angle/nanglestructurelist.h Examining data/regina-normal-5.1/engine/angle/xmlanglestructreader.cpp Examining data/regina-normal-5.1/engine/angle/xmlanglestructreader.h Examining data/regina-normal-5.1/engine/census/census.cpp Examining data/regina-normal-5.1/engine/census/census.h Examining data/regina-normal-5.1/engine/census/closedprimemin.cpp Examining data/regina-normal-5.1/engine/census/compact.cpp Examining data/regina-normal-5.1/engine/census/dim2gluingperms.h Examining data/regina-normal-5.1/engine/census/dim2gluingpermsearcher.h Examining data/regina-normal-5.1/engine/census/dim4gluingperms.h Examining data/regina-normal-5.1/engine/census/dim4gluingpermsearcher.h Examining data/regina-normal-5.1/engine/census/euler.cpp Examining data/regina-normal-5.1/engine/census/gluingperms-impl.h Examining data/regina-normal-5.1/engine/census/gluingperms.cpp Examining data/regina-normal-5.1/engine/census/gluingperms.h Examining data/regina-normal-5.1/engine/census/gluingpermsearcher.h Examining data/regina-normal-5.1/engine/census/gluingpermsearcher2.cpp Examining data/regina-normal-5.1/engine/census/gluingpermsearcher2.h Examining data/regina-normal-5.1/engine/census/gluingpermsearcher3.cpp Examining data/regina-normal-5.1/engine/census/gluingpermsearcher3.h Examining data/regina-normal-5.1/engine/census/gluingpermsearcher4.cpp Examining data/regina-normal-5.1/engine/census/gluingpermsearcher4.h Examining data/regina-normal-5.1/engine/census/hyperbolic.cpp Examining data/regina-normal-5.1/engine/census/ncensus.h Examining data/regina-normal-5.1/engine/census/ngenericgluingperms-impl.h Examining data/regina-normal-5.1/engine/census/ngenericgluingperms.h Examining data/regina-normal-5.1/engine/census/ngluingperms.h Examining data/regina-normal-5.1/engine/census/ngluingpermsearcher.h Examining data/regina-normal-5.1/engine/data/census/mkcensusdb.cpp Examining data/regina-normal-5.1/engine/dim2/dim2boundarycomponent.h Examining data/regina-normal-5.1/engine/dim2/dim2component.h Examining data/regina-normal-5.1/engine/dim2/dim2edge.h Examining data/regina-normal-5.1/engine/dim2/dim2edgepairing.h Examining data/regina-normal-5.1/engine/dim2/dim2exampletriangulation.h Examining data/regina-normal-5.1/engine/dim2/dim2isomorphism.h Examining data/regina-normal-5.1/engine/dim2/dim2triangle.h Examining data/regina-normal-5.1/engine/dim2/dim2triangulation.h Examining data/regina-normal-5.1/engine/dim2/dim2vertex.h Examining data/regina-normal-5.1/engine/dim4/dim4boundarycomponent.h Examining data/regina-normal-5.1/engine/dim4/dim4component.h Examining data/regina-normal-5.1/engine/dim4/dim4edge.h Examining data/regina-normal-5.1/engine/dim4/dim4exampletriangulation.h Examining data/regina-normal-5.1/engine/dim4/dim4facetpairing.h Examining data/regina-normal-5.1/engine/dim4/dim4isomorphism.h Examining data/regina-normal-5.1/engine/dim4/dim4pentachoron.h Examining data/regina-normal-5.1/engine/dim4/dim4tetrahedron.h Examining data/regina-normal-5.1/engine/dim4/dim4triangle.h Examining data/regina-normal-5.1/engine/dim4/dim4triangulation.h Examining data/regina-normal-5.1/engine/dim4/dim4vertex.h Examining data/regina-normal-5.1/engine/docs.h Examining data/regina-normal-5.1/engine/engine.cpp Examining data/regina-normal-5.1/engine/engine.h Examining data/regina-normal-5.1/engine/enumerate/doubledescription-impl.h Examining data/regina-normal-5.1/engine/enumerate/doubledescription.h Examining data/regina-normal-5.1/engine/enumerate/enumconstraints.h Examining data/regina-normal-5.1/engine/enumerate/hilbertcd-impl.h Examining data/regina-normal-5.1/engine/enumerate/hilbertcd.h Examining data/regina-normal-5.1/engine/enumerate/hilbertdual-impl.h Examining data/regina-normal-5.1/engine/enumerate/hilbertdual.h Examining data/regina-normal-5.1/engine/enumerate/hilbertprimal-impl.h Examining data/regina-normal-5.1/engine/enumerate/hilbertprimal.h Examining data/regina-normal-5.1/engine/enumerate/maxadmissible-impl.h Examining data/regina-normal-5.1/engine/enumerate/maxadmissible.h Examining data/regina-normal-5.1/engine/enumerate/ndoubledescription-impl.h Examining data/regina-normal-5.1/engine/enumerate/ndoubledescription.h Examining data/regina-normal-5.1/engine/enumerate/nenumconstraint.h Examining data/regina-normal-5.1/engine/enumerate/nhilbertcd-impl.h Examining data/regina-normal-5.1/engine/enumerate/nhilbertcd.h Examining data/regina-normal-5.1/engine/enumerate/nhilbertdual-impl.h Examining data/regina-normal-5.1/engine/enumerate/nhilbertdual.h Examining data/regina-normal-5.1/engine/enumerate/nhilbertprimal-impl.h Examining data/regina-normal-5.1/engine/enumerate/nhilbertprimal.h Examining data/regina-normal-5.1/engine/enumerate/nmaxadmissible-impl.h Examining data/regina-normal-5.1/engine/enumerate/nmaxadmissible.h Examining data/regina-normal-5.1/engine/enumerate/ntreeconstraint.h Examining data/regina-normal-5.1/engine/enumerate/ntreelp-impl.h Examining data/regina-normal-5.1/engine/enumerate/ntreelp.h Examining data/regina-normal-5.1/engine/enumerate/ntreetraversal-impl.h Examining data/regina-normal-5.1/engine/enumerate/ntreetraversal.h Examining data/regina-normal-5.1/engine/enumerate/ntypetrie.h Examining data/regina-normal-5.1/engine/enumerate/ordering.h Examining data/regina-normal-5.1/engine/enumerate/treeconstraint.cpp Examining data/regina-normal-5.1/engine/enumerate/treeconstraint.h Examining data/regina-normal-5.1/engine/enumerate/treelp-impl.h Examining data/regina-normal-5.1/engine/enumerate/treelp.cpp Examining data/regina-normal-5.1/engine/enumerate/treelp.h Examining data/regina-normal-5.1/engine/enumerate/treetraversal-impl.h Examining data/regina-normal-5.1/engine/enumerate/treetraversal.cpp Examining data/regina-normal-5.1/engine/enumerate/treetraversal.h Examining data/regina-normal-5.1/engine/enumerate/typetrie.cpp Examining data/regina-normal-5.1/engine/enumerate/typetrie.h Examining data/regina-normal-5.1/engine/file/fileinfo.cpp Examining data/regina-normal-5.1/engine/file/fileinfo.h Examining data/regina-normal-5.1/engine/file/globaldirs.cpp Examining data/regina-normal-5.1/engine/file/globaldirs.h Examining data/regina-normal-5.1/engine/file/nfileinfo.h Examining data/regina-normal-5.1/engine/file/nglobaldirs.h Examining data/regina-normal-5.1/engine/foreign/casson.h Examining data/regina-normal-5.1/engine/foreign/dehydration.cpp Examining data/regina-normal-5.1/engine/foreign/dehydration.h Examining data/regina-normal-5.1/engine/foreign/isosig.cpp Examining data/regina-normal-5.1/engine/foreign/isosig.h Examining data/regina-normal-5.1/engine/foreign/orb.cpp Examining data/regina-normal-5.1/engine/foreign/orb.h Examining data/regina-normal-5.1/engine/generic/boundarycomponent.h Examining data/regina-normal-5.1/engine/generic/component.h Examining data/regina-normal-5.1/engine/generic/face.h Examining data/regina-normal-5.1/engine/generic/facenumbering.h Examining data/regina-normal-5.1/engine/generic/facetpairing.h Examining data/regina-normal-5.1/engine/generic/facetspec.h Examining data/regina-normal-5.1/engine/generic/isomorphism.h Examining data/regina-normal-5.1/engine/generic/simplex.h Examining data/regina-normal-5.1/engine/generic/triangulation.h Examining data/regina-normal-5.1/engine/generic/xmltrireader.h Examining data/regina-normal-5.1/engine/hypersurface/enumerate.cpp Examining data/regina-normal-5.1/engine/hypersurface/hscoordregistry-impl.h Examining data/regina-normal-5.1/engine/hypersurface/hscoordregistry.h Examining data/regina-normal-5.1/engine/hypersurface/hsvectorstandard.cpp Examining data/regina-normal-5.1/engine/hypersurface/hsvectorstandard.h Examining data/regina-normal-5.1/engine/hypersurface/hypercoords.h Examining data/regina-normal-5.1/engine/hypersurface/hyperflags.h Examining data/regina-normal-5.1/engine/hypersurface/links.cpp Examining data/regina-normal-5.1/engine/hypersurface/nhsstandard.h Examining data/regina-normal-5.1/engine/hypersurface/nnormalhypersurface.h Examining data/regina-normal-5.1/engine/hypersurface/nnormalhypersurfacelist.h Examining data/regina-normal-5.1/engine/hypersurface/normalhypersurface.cpp Examining data/regina-normal-5.1/engine/hypersurface/normalhypersurface.h Examining data/regina-normal-5.1/engine/hypersurface/normalhypersurfaces.cpp Examining data/regina-normal-5.1/engine/hypersurface/normalhypersurfaces.h Examining data/regina-normal-5.1/engine/hypersurface/triangulate.cpp Examining data/regina-normal-5.1/engine/hypersurface/xmlhypersurfacereader.cpp Examining data/regina-normal-5.1/engine/hypersurface/xmlhypersurfacereader.h Examining data/regina-normal-5.1/engine/libnormaliz/bottom.cpp Examining data/regina-normal-5.1/engine/libnormaliz/bottom.h Examining data/regina-normal-5.1/engine/libnormaliz/cone.cpp Examining data/regina-normal-5.1/engine/libnormaliz/cone.h Examining data/regina-normal-5.1/engine/libnormaliz/cone_dual_mode.cpp Examining data/regina-normal-5.1/engine/libnormaliz/cone_dual_mode.h Examining data/regina-normal-5.1/engine/libnormaliz/cone_property.cpp Examining data/regina-normal-5.1/engine/libnormaliz/cone_property.h Examining data/regina-normal-5.1/engine/libnormaliz/convert.h Examining data/regina-normal-5.1/engine/libnormaliz/full_cone.cpp Examining data/regina-normal-5.1/engine/libnormaliz/full_cone.h Examining data/regina-normal-5.1/engine/libnormaliz/general.h Examining data/regina-normal-5.1/engine/libnormaliz/HilbertSeries.cpp Examining data/regina-normal-5.1/engine/libnormaliz/HilbertSeries.h Examining data/regina-normal-5.1/engine/libnormaliz/integer.cpp Examining data/regina-normal-5.1/engine/libnormaliz/integer.h Examining data/regina-normal-5.1/engine/libnormaliz/libnormaliz-templated.cpp Examining data/regina-normal-5.1/engine/libnormaliz/libnormaliz.cpp Examining data/regina-normal-5.1/engine/libnormaliz/libnormaliz.h Examining data/regina-normal-5.1/engine/libnormaliz/list_operations.cpp Examining data/regina-normal-5.1/engine/libnormaliz/list_operations.h Examining data/regina-normal-5.1/engine/libnormaliz/map_operations.h Examining data/regina-normal-5.1/engine/libnormaliz/matrix.cpp Examining data/regina-normal-5.1/engine/libnormaliz/matrix.h Examining data/regina-normal-5.1/engine/libnormaliz/my_omp.h Examining data/regina-normal-5.1/engine/libnormaliz/normaliz_exception.h Examining data/regina-normal-5.1/engine/libnormaliz/offload_handler.cpp Examining data/regina-normal-5.1/engine/libnormaliz/offload_handler.h Examining data/regina-normal-5.1/engine/libnormaliz/reduction.cpp Examining data/regina-normal-5.1/engine/libnormaliz/reduction.h Examining data/regina-normal-5.1/engine/libnormaliz/simplex.cpp Examining data/regina-normal-5.1/engine/libnormaliz/simplex.h Examining data/regina-normal-5.1/engine/libnormaliz/sublattice_representation.cpp Examining data/regina-normal-5.1/engine/libnormaliz/sublattice_representation.h Examining data/regina-normal-5.1/engine/libnormaliz/unused/HilbertSeriesTest.cpp Examining data/regina-normal-5.1/engine/libnormaliz/unused/libnormaliz-all.cpp Examining data/regina-normal-5.1/engine/libnormaliz/unused/libnormaliz-impl.cpp Examining data/regina-normal-5.1/engine/libnormaliz/vector_operations.cpp Examining data/regina-normal-5.1/engine/libnormaliz/vector_operations.h Examining data/regina-normal-5.1/engine/libnormaliz/version.h Examining data/regina-normal-5.1/engine/manifold/graphloop.cpp Examining data/regina-normal-5.1/engine/manifold/graphloop.h Examining data/regina-normal-5.1/engine/manifold/graphpair.cpp Examining data/regina-normal-5.1/engine/manifold/graphpair.h Examining data/regina-normal-5.1/engine/manifold/graphtriple.cpp Examining data/regina-normal-5.1/engine/manifold/graphtriple.h Examining data/regina-normal-5.1/engine/manifold/handlebody.cpp Examining data/regina-normal-5.1/engine/manifold/handlebody.h Examining data/regina-normal-5.1/engine/manifold/lensspace.cpp Examining data/regina-normal-5.1/engine/manifold/lensspace.h Examining data/regina-normal-5.1/engine/manifold/manifold.cpp Examining data/regina-normal-5.1/engine/manifold/manifold.h Examining data/regina-normal-5.1/engine/manifold/ngraphloop.h Examining data/regina-normal-5.1/engine/manifold/ngraphpair.h Examining data/regina-normal-5.1/engine/manifold/ngraphtriple.h Examining data/regina-normal-5.1/engine/manifold/nhandlebody.h Examining data/regina-normal-5.1/engine/manifold/nlensspace.h Examining data/regina-normal-5.1/engine/manifold/nmanifold.h Examining data/regina-normal-5.1/engine/manifold/notation.h Examining data/regina-normal-5.1/engine/manifold/nsfs.h Examining data/regina-normal-5.1/engine/manifold/nsfsaltset.h Examining data/regina-normal-5.1/engine/manifold/nsimplesurfacebundle.h Examining data/regina-normal-5.1/engine/manifold/nsnappeacensusmfd.h Examining data/regina-normal-5.1/engine/manifold/ntorusbundle.h Examining data/regina-normal-5.1/engine/manifold/order.cpp Examining data/regina-normal-5.1/engine/manifold/sfs.cpp Examining data/regina-normal-5.1/engine/manifold/sfs.h Examining data/regina-normal-5.1/engine/manifold/sfsaltset.cpp Examining data/regina-normal-5.1/engine/manifold/sfsaltset.h Examining data/regina-normal-5.1/engine/manifold/simplesurfacebundle.cpp Examining data/regina-normal-5.1/engine/manifold/simplesurfacebundle.h Examining data/regina-normal-5.1/engine/manifold/snappeacensusmfd.cpp Examining data/regina-normal-5.1/engine/manifold/snappeacensusmfd.h Examining data/regina-normal-5.1/engine/manifold/torusbundle.cpp Examining data/regina-normal-5.1/engine/manifold/torusbundle.h Examining data/regina-normal-5.1/engine/maths/approx.cpp Examining data/regina-normal-5.1/engine/maths/approx.h Examining data/regina-normal-5.1/engine/maths/cyclotomic.cpp Examining data/regina-normal-5.1/engine/maths/cyclotomic.h Examining data/regina-normal-5.1/engine/maths/integer.cpp Examining data/regina-normal-5.1/engine/maths/integer.h Examining data/regina-normal-5.1/engine/maths/matrix.h Examining data/regina-normal-5.1/engine/maths/matrix2.cpp Examining data/regina-normal-5.1/engine/maths/matrix2.h Examining data/regina-normal-5.1/engine/maths/matrixops.cpp Examining data/regina-normal-5.1/engine/maths/matrixops.h Examining data/regina-normal-5.1/engine/maths/ncyclotomic.h Examining data/regina-normal-5.1/engine/maths/ninteger.h Examining data/regina-normal-5.1/engine/maths/nmatrix.h Examining data/regina-normal-5.1/engine/maths/nmatrix2.h Examining data/regina-normal-5.1/engine/maths/nmatrixint.h Examining data/regina-normal-5.1/engine/maths/nperm-impl.h Examining data/regina-normal-5.1/engine/maths/nperm.h Examining data/regina-normal-5.1/engine/maths/nperm2.h Examining data/regina-normal-5.1/engine/maths/nperm3.h Examining data/regina-normal-5.1/engine/maths/nperm4.h Examining data/regina-normal-5.1/engine/maths/nperm5.h Examining data/regina-normal-5.1/engine/maths/npolynomial.h Examining data/regina-normal-5.1/engine/maths/nprimes.h Examining data/regina-normal-5.1/engine/maths/nrational.h Examining data/regina-normal-5.1/engine/maths/nray.h Examining data/regina-normal-5.1/engine/maths/numbertheory.cpp Examining data/regina-normal-5.1/engine/maths/numbertheory.h Examining data/regina-normal-5.1/engine/maths/nvector.h Examining data/regina-normal-5.1/engine/maths/perm-impl.h Examining data/regina-normal-5.1/engine/maths/perm.h Examining data/regina-normal-5.1/engine/maths/polynomial.h Examining data/regina-normal-5.1/engine/maths/primes.cpp Examining data/regina-normal-5.1/engine/maths/primes.h Examining data/regina-normal-5.1/engine/maths/rational.cpp Examining data/regina-normal-5.1/engine/maths/rational.h Examining data/regina-normal-5.1/engine/maths/ray.cpp Examining data/regina-normal-5.1/engine/maths/ray.h Examining data/regina-normal-5.1/engine/maths/seedprimes.cpp Examining data/regina-normal-5.1/engine/maths/spec/perm2.cpp Examining data/regina-normal-5.1/engine/maths/spec/perm2.h Examining data/regina-normal-5.1/engine/maths/spec/perm3.cpp Examining data/regina-normal-5.1/engine/maths/spec/perm3.h Examining data/regina-normal-5.1/engine/maths/spec/perm4.cpp Examining data/regina-normal-5.1/engine/maths/spec/perm4.h Examining data/regina-normal-5.1/engine/maths/spec/perm5.cpp Examining data/regina-normal-5.1/engine/maths/spec/perm5.h Examining data/regina-normal-5.1/engine/maths/vector.h Examining data/regina-normal-5.1/engine/output.h Examining data/regina-normal-5.1/engine/packet/container.h Examining data/regina-normal-5.1/engine/packet/ncontainer.h Examining data/regina-normal-5.1/engine/packet/npacket.h Examining data/regina-normal-5.1/engine/packet/npacketlistener.h Examining data/regina-normal-5.1/engine/packet/npdf.h Examining data/regina-normal-5.1/engine/packet/nscript.h Examining data/regina-normal-5.1/engine/packet/ntext.h Examining data/regina-normal-5.1/engine/packet/open.cpp Examining data/regina-normal-5.1/engine/packet/packet.cpp Examining data/regina-normal-5.1/engine/packet/packet.h Examining data/regina-normal-5.1/engine/packet/packetlistener.cpp Examining data/regina-normal-5.1/engine/packet/packetlistener.h Examining data/regina-normal-5.1/engine/packet/packetregistry-impl.h Examining data/regina-normal-5.1/engine/packet/packetregistry.h Examining data/regina-normal-5.1/engine/packet/packettype.h Examining data/regina-normal-5.1/engine/packet/pdf.cpp Examining data/regina-normal-5.1/engine/packet/pdf.h Examining data/regina-normal-5.1/engine/packet/script.cpp Examining data/regina-normal-5.1/engine/packet/script.h Examining data/regina-normal-5.1/engine/packet/text.cpp Examining data/regina-normal-5.1/engine/packet/text.h Examining data/regina-normal-5.1/engine/packet/xmlpacketreader.cpp Examining data/regina-normal-5.1/engine/packet/xmlpacketreader.h Examining data/regina-normal-5.1/engine/packet/xmlpacketreaders.cpp Examining data/regina-normal-5.1/engine/packet/xmlpacketreaders.h Examining data/regina-normal-5.1/engine/packet/xmltreeresolver.h Examining data/regina-normal-5.1/engine/progress/nprogresstracker.h Examining data/regina-normal-5.1/engine/progress/progresstracker.h Examining data/regina-normal-5.1/engine/regina-core.h Examining data/regina-normal-5.1/engine/snappea/examplesnappea.cpp Examining data/regina-normal-5.1/engine/snappea/examplesnappea.h Examining data/regina-normal-5.1/engine/snappea/fundgroup.cpp Examining data/regina-normal-5.1/engine/snappea/homology.cpp Examining data/regina-normal-5.1/engine/snappea/kernel/abelian_group.c Examining data/regina-normal-5.1/engine/snappea/kernel/canonize.c Examining data/regina-normal-5.1/engine/snappea/kernel/canonize.h Examining data/regina-normal-5.1/engine/snappea/kernel/canonize_part_1.c Examining data/regina-normal-5.1/engine/snappea/kernel/canonize_part_2.c Examining data/regina-normal-5.1/engine/snappea/kernel/canonize_result.c Examining data/regina-normal-5.1/engine/snappea/kernel/change_peripheral_curves.c Examining data/regina-normal-5.1/engine/snappea/kernel/chern_simons.c Examining data/regina-normal-5.1/engine/snappea/kernel/choose_generators.c Examining data/regina-normal-5.1/engine/snappea/kernel/close_cusps.c Examining data/regina-normal-5.1/engine/snappea/kernel/complex.c Examining data/regina-normal-5.1/engine/snappea/kernel/core_geodesics.c Examining data/regina-normal-5.1/engine/snappea/kernel/covers.h Examining data/regina-normal-5.1/engine/snappea/kernel/current_curve_basis.c Examining data/regina-normal-5.1/engine/snappea/kernel/cusp_cross_sections.c Examining data/regina-normal-5.1/engine/snappea/kernel/cusp_neighborhoods.c Examining data/regina-normal-5.1/engine/snappea/kernel/cusp_shapes.c Examining data/regina-normal-5.1/engine/snappea/kernel/cusps.c Examining data/regina-normal-5.1/engine/snappea/kernel/Dehn_coefficients.c Examining data/regina-normal-5.1/engine/snappea/kernel/double_SnapPy.h Examining data/regina-normal-5.1/engine/snappea/kernel/dual_one_skeleton_curve.h Examining data/regina-normal-5.1/engine/snappea/kernel/edge_classes.c Examining data/regina-normal-5.1/engine/snappea/kernel/end_namespace.h Examining data/regina-normal-5.1/engine/snappea/kernel/filling.c Examining data/regina-normal-5.1/engine/snappea/kernel/find_cusp.c Examining data/regina-normal-5.1/engine/snappea/kernel/finite_vertices.c Examining data/regina-normal-5.1/engine/snappea/kernel/fundamental_group.c Examining data/regina-normal-5.1/engine/snappea/kernel/gcd.c Examining data/regina-normal-5.1/engine/snappea/kernel/gluing_equations.c Examining data/regina-normal-5.1/engine/snappea/kernel/holonomy.c Examining data/regina-normal-5.1/engine/snappea/kernel/homology.c Examining data/regina-normal-5.1/engine/snappea/kernel/homology.h Examining data/regina-normal-5.1/engine/snappea/kernel/hyperbolic_structure.c Examining data/regina-normal-5.1/engine/snappea/kernel/identify_solution_type.c Examining data/regina-normal-5.1/engine/snappea/kernel/interface.c Examining data/regina-normal-5.1/engine/snappea/kernel/intersection_numbers.c Examining data/regina-normal-5.1/engine/snappea/kernel/isometry.h Examining data/regina-normal-5.1/engine/snappea/kernel/kernel.h Examining data/regina-normal-5.1/engine/snappea/kernel/kernel_namespace.h Examining data/regina-normal-5.1/engine/snappea/kernel/kernel_prototypes.h Examining data/regina-normal-5.1/engine/snappea/kernel/kernel_typedefs.h Examining data/regina-normal-5.1/engine/snappea/kernel/link_projection.h Examining data/regina-normal-5.1/engine/snappea/kernel/matrix_conversion.c Examining data/regina-normal-5.1/engine/snappea/kernel/matrix_generators.c Examining data/regina-normal-5.1/engine/snappea/kernel/Moebius_transformations.c Examining data/regina-normal-5.1/engine/snappea/kernel/my_malloc.c Examining data/regina-normal-5.1/engine/snappea/kernel/o31_matrices.c Examining data/regina-normal-5.1/engine/snappea/kernel/orient.c Examining data/regina-normal-5.1/engine/snappea/kernel/peripheral_curves.c Examining data/regina-normal-5.1/engine/snappea/kernel/positioned_tet.c Examining data/regina-normal-5.1/engine/snappea/kernel/positioned_tet.h Examining data/regina-normal-5.1/engine/snappea/kernel/precision.c Examining data/regina-normal-5.1/engine/snappea/kernel/real_type.h Examining data/regina-normal-5.1/engine/snappea/kernel/shortest_cusp_basis.c Examining data/regina-normal-5.1/engine/snappea/kernel/simplify_triangulation.c Examining data/regina-normal-5.1/engine/snappea/kernel/sl2c_matrices.c Examining data/regina-normal-5.1/engine/snappea/kernel/SnapPea.h Examining data/regina-normal-5.1/engine/snappea/kernel/solve_equations.c Examining data/regina-normal-5.1/engine/snappea/kernel/subdivide.c Examining data/regina-normal-5.1/engine/snappea/kernel/symmetry_group.h Examining data/regina-normal-5.1/engine/snappea/kernel/tables.c Examining data/regina-normal-5.1/engine/snappea/kernel/tables.h Examining data/regina-normal-5.1/engine/snappea/kernel/terse_triangulation.h Examining data/regina-normal-5.1/engine/snappea/kernel/tersest_triangulation.h Examining data/regina-normal-5.1/engine/snappea/kernel/tet_shapes.c Examining data/regina-normal-5.1/engine/snappea/kernel/tidy_peripheral_curves.c Examining data/regina-normal-5.1/engine/snappea/kernel/transcendentals.c Examining data/regina-normal-5.1/engine/snappea/kernel/triangulation.h Examining data/regina-normal-5.1/engine/snappea/kernel/triangulation_io.h Examining data/regina-normal-5.1/engine/snappea/kernel/triangulations.c Examining data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c Examining data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.h Examining data/regina-normal-5.1/engine/snappea/kernel/update_shapes.c Examining data/regina-normal-5.1/engine/snappea/kernel/volume.c Examining data/regina-normal-5.1/engine/snappea/kernel/winged_edge.h Examining data/regina-normal-5.1/engine/snappea/nexamplesnappeatriangulation.h Examining data/regina-normal-5.1/engine/snappea/nsnappeatriangulation.h Examining data/regina-normal-5.1/engine/snappea/snappeatriangulation.cpp Examining data/regina-normal-5.1/engine/snappea/snappeatriangulation.h Examining data/regina-normal-5.1/engine/snappea/snappy/SnapPy.h Examining data/regina-normal-5.1/engine/snappea/snappy/snappy_get_gluing_equations.c Examining data/regina-normal-5.1/engine/snappea/uimessages.cpp Examining data/regina-normal-5.1/engine/snappea/xmlsnappeareader.cpp Examining data/regina-normal-5.1/engine/snappea/xmlsnappeareader.h Examining data/regina-normal-5.1/engine/split/nsigcensus.h Examining data/regina-normal-5.1/engine/split/nsigisomorphism.h Examining data/regina-normal-5.1/engine/split/nsignature.h Examining data/regina-normal-5.1/engine/split/sigcensus.cpp Examining data/regina-normal-5.1/engine/split/sigcensus.h Examining data/regina-normal-5.1/engine/split/sigisomorphism.cpp Examining data/regina-normal-5.1/engine/split/sigisomorphism.h Examining data/regina-normal-5.1/engine/split/signature.cpp Examining data/regina-normal-5.1/engine/split/signature.h Examining data/regina-normal-5.1/engine/subcomplex/augtrisolidtorus.cpp Examining data/regina-normal-5.1/engine/subcomplex/augtrisolidtorus.h Examining data/regina-normal-5.1/engine/subcomplex/blockedsfs.cpp Examining data/regina-normal-5.1/engine/subcomplex/blockedsfs.h Examining data/regina-normal-5.1/engine/subcomplex/blockedsfsloop.cpp Examining data/regina-normal-5.1/engine/subcomplex/blockedsfsloop.h Examining data/regina-normal-5.1/engine/subcomplex/blockedsfspair.cpp Examining data/regina-normal-5.1/engine/subcomplex/blockedsfspair.h Examining data/regina-normal-5.1/engine/subcomplex/blockedsfstriple.cpp Examining data/regina-normal-5.1/engine/subcomplex/blockedsfstriple.h Examining data/regina-normal-5.1/engine/subcomplex/l31pillow.cpp Examining data/regina-normal-5.1/engine/subcomplex/l31pillow.h Examining data/regina-normal-5.1/engine/subcomplex/layeredchain.cpp Examining data/regina-normal-5.1/engine/subcomplex/layeredchain.h Examining data/regina-normal-5.1/engine/subcomplex/layeredchainpair.cpp Examining data/regina-normal-5.1/engine/subcomplex/layeredchainpair.h Examining data/regina-normal-5.1/engine/subcomplex/layeredlensspace.cpp Examining data/regina-normal-5.1/engine/subcomplex/layeredlensspace.h Examining data/regina-normal-5.1/engine/subcomplex/layeredloop.cpp Examining data/regina-normal-5.1/engine/subcomplex/layeredloop.h Examining data/regina-normal-5.1/engine/subcomplex/layeredsolidtorus.cpp Examining data/regina-normal-5.1/engine/subcomplex/layeredsolidtorus.h Examining data/regina-normal-5.1/engine/subcomplex/layeredtorusbundle.cpp Examining data/regina-normal-5.1/engine/subcomplex/layeredtorusbundle.h Examining data/regina-normal-5.1/engine/subcomplex/layering.cpp Examining data/regina-normal-5.1/engine/subcomplex/layering.h Examining data/regina-normal-5.1/engine/subcomplex/naugtrisolidtorus.h Examining data/regina-normal-5.1/engine/subcomplex/nblockedsfs.h Examining data/regina-normal-5.1/engine/subcomplex/nblockedsfsloop.h Examining data/regina-normal-5.1/engine/subcomplex/nblockedsfspair.h Examining data/regina-normal-5.1/engine/subcomplex/nblockedsfstriple.h Examining data/regina-normal-5.1/engine/subcomplex/nl31pillow.h Examining data/regina-normal-5.1/engine/subcomplex/nlayeredchain.h Examining data/regina-normal-5.1/engine/subcomplex/nlayeredchainpair.h Examining data/regina-normal-5.1/engine/subcomplex/nlayeredlensspace.h Examining data/regina-normal-5.1/engine/subcomplex/nlayeredloop.h Examining data/regina-normal-5.1/engine/subcomplex/nlayeredsolidtorus.h Examining data/regina-normal-5.1/engine/subcomplex/nlayeredsurfacebundle.h Examining data/regina-normal-5.1/engine/subcomplex/nlayering.h Examining data/regina-normal-5.1/engine/subcomplex/npillowtwosphere.h Examining data/regina-normal-5.1/engine/subcomplex/npluggedtorusbundle.h Examining data/regina-normal-5.1/engine/subcomplex/nplugtrisolidtorus.h Examining data/regina-normal-5.1/engine/subcomplex/nsatannulus.h Examining data/regina-normal-5.1/engine/subcomplex/nsatblock.h Examining data/regina-normal-5.1/engine/subcomplex/nsatblockstarter.h Examining data/regina-normal-5.1/engine/subcomplex/nsatblocktypes.h Examining data/regina-normal-5.1/engine/subcomplex/nsatregion.h Examining data/regina-normal-5.1/engine/subcomplex/nsnappeacensustri.h Examining data/regina-normal-5.1/engine/subcomplex/nsnappedball.h Examining data/regina-normal-5.1/engine/subcomplex/nsnappedtwosphere.h Examining data/regina-normal-5.1/engine/subcomplex/nspiralsolidtorus.h Examining data/regina-normal-5.1/engine/subcomplex/nstandardtri.h Examining data/regina-normal-5.1/engine/subcomplex/ntrisolidtorus.h Examining data/regina-normal-5.1/engine/subcomplex/ntrivialtri.h Examining data/regina-normal-5.1/engine/subcomplex/ntxicore.h Examining data/regina-normal-5.1/engine/subcomplex/pillowtwosphere.cpp Examining data/regina-normal-5.1/engine/subcomplex/pillowtwosphere.h Examining data/regina-normal-5.1/engine/subcomplex/pluggedtorusbundle.cpp Examining data/regina-normal-5.1/engine/subcomplex/pluggedtorusbundle.h Examining data/regina-normal-5.1/engine/subcomplex/plugtrisolidtorus.cpp Examining data/regina-normal-5.1/engine/subcomplex/plugtrisolidtorus.h Examining data/regina-normal-5.1/engine/subcomplex/satannulus.cpp Examining data/regina-normal-5.1/engine/subcomplex/satannulus.h Examining data/regina-normal-5.1/engine/subcomplex/satblock.cpp Examining data/regina-normal-5.1/engine/subcomplex/satblock.h Examining data/regina-normal-5.1/engine/subcomplex/satblockstarter.cpp Examining data/regina-normal-5.1/engine/subcomplex/satblockstarter.h Examining data/regina-normal-5.1/engine/subcomplex/satblocktypes.cpp Examining data/regina-normal-5.1/engine/subcomplex/satblocktypes.h Examining data/regina-normal-5.1/engine/subcomplex/satregion.cpp Examining data/regina-normal-5.1/engine/subcomplex/satregion.h Examining data/regina-normal-5.1/engine/subcomplex/snappeacensustri.cpp Examining data/regina-normal-5.1/engine/subcomplex/snappeacensustri.h Examining data/regina-normal-5.1/engine/subcomplex/snappedball.cpp Examining data/regina-normal-5.1/engine/subcomplex/snappedball.h Examining data/regina-normal-5.1/engine/subcomplex/snappedtwosphere.cpp Examining data/regina-normal-5.1/engine/subcomplex/snappedtwosphere.h Examining data/regina-normal-5.1/engine/subcomplex/spiralsolidtorus.cpp Examining data/regina-normal-5.1/engine/subcomplex/spiralsolidtorus.h Examining data/regina-normal-5.1/engine/subcomplex/standardtri.cpp Examining data/regina-normal-5.1/engine/subcomplex/standardtri.h Examining data/regina-normal-5.1/engine/subcomplex/trisolidtorus.cpp Examining data/regina-normal-5.1/engine/subcomplex/trisolidtorus.h Examining data/regina-normal-5.1/engine/subcomplex/trivialtri.cpp Examining data/regina-normal-5.1/engine/subcomplex/trivialtri.h Examining data/regina-normal-5.1/engine/subcomplex/txicore.cpp Examining data/regina-normal-5.1/engine/subcomplex/txicore.h Examining data/regina-normal-5.1/engine/surfaces/components.cpp Examining data/regina-normal-5.1/engine/surfaces/coordregistry-impl.h Examining data/regina-normal-5.1/engine/surfaces/coordregistry.h Examining data/regina-normal-5.1/engine/surfaces/crushandcut.cpp Examining data/regina-normal-5.1/engine/surfaces/csv.cpp Examining data/regina-normal-5.1/engine/surfaces/disc.cpp Examining data/regina-normal-5.1/engine/surfaces/disc.h Examining data/regina-normal-5.1/engine/surfaces/disctype.cpp Examining data/regina-normal-5.1/engine/surfaces/disctype.h Examining data/regina-normal-5.1/engine/surfaces/enumerator.cpp Examining data/regina-normal-5.1/engine/surfaces/enumfilter.cpp Examining data/regina-normal-5.1/engine/surfaces/filterregistry-impl.h Examining data/regina-normal-5.1/engine/surfaces/filterregistry.h Examining data/regina-normal-5.1/engine/surfaces/links.cpp Examining data/regina-normal-5.1/engine/surfaces/ndisc.h Examining data/regina-normal-5.1/engine/surfaces/ndisctype.h Examining data/regina-normal-5.1/engine/surfaces/nnormalsurface.h Examining data/regina-normal-5.1/engine/surfaces/nnormalsurfacelist.h Examining data/regina-normal-5.1/engine/surfaces/normalcoords.h Examining data/regina-normal-5.1/engine/surfaces/normalflags.h Examining data/regina-normal-5.1/engine/surfaces/normalspec-impl.h Examining data/regina-normal-5.1/engine/surfaces/normalsurface.cpp Examining data/regina-normal-5.1/engine/surfaces/normalsurface.h Examining data/regina-normal-5.1/engine/surfaces/normalsurfaces.cpp Examining data/regina-normal-5.1/engine/surfaces/normalsurfaces.h Examining data/regina-normal-5.1/engine/surfaces/nprism.h Examining data/regina-normal-5.1/engine/surfaces/nsanstandard.h Examining data/regina-normal-5.1/engine/surfaces/nsmirrored.h Examining data/regina-normal-5.1/engine/surfaces/nsoriented.h Examining data/regina-normal-5.1/engine/surfaces/nsorientedquad.h Examining data/regina-normal-5.1/engine/surfaces/nsquad.h Examining data/regina-normal-5.1/engine/surfaces/nsquadoct.h Examining data/regina-normal-5.1/engine/surfaces/nsstandard.h Examining data/regina-normal-5.1/engine/surfaces/nsurfacefilter.h Examining data/regina-normal-5.1/engine/surfaces/nsvectoranstandard.cpp Examining data/regina-normal-5.1/engine/surfaces/nsvectoranstandard.h Examining data/regina-normal-5.1/engine/surfaces/nsvectormirrored.h Examining data/regina-normal-5.1/engine/surfaces/nsvectororiented.cpp Examining data/regina-normal-5.1/engine/surfaces/nsvectororiented.h Examining data/regina-normal-5.1/engine/surfaces/nsvectororientedquad.cpp Examining data/regina-normal-5.1/engine/surfaces/nsvectororientedquad.h Examining data/regina-normal-5.1/engine/surfaces/nsvectorquad.cpp Examining data/regina-normal-5.1/engine/surfaces/nsvectorquad.h Examining data/regina-normal-5.1/engine/surfaces/nsvectorquadoct.cpp Examining data/regina-normal-5.1/engine/surfaces/nsvectorquadoct.h Examining data/regina-normal-5.1/engine/surfaces/nsvectorstandard.cpp Examining data/regina-normal-5.1/engine/surfaces/nsvectorstandard.h Examining data/regina-normal-5.1/engine/surfaces/orientable.cpp Examining data/regina-normal-5.1/engine/surfaces/prism.cpp Examining data/regina-normal-5.1/engine/surfaces/prism.h Examining data/regina-normal-5.1/engine/surfaces/quadtostd.cpp Examining data/regina-normal-5.1/engine/surfaces/sfcombination.h Examining data/regina-normal-5.1/engine/surfaces/sfproperties.h Examining data/regina-normal-5.1/engine/surfaces/stdtoquad.cpp Examining data/regina-normal-5.1/engine/surfaces/surfacefilter.cpp Examining data/regina-normal-5.1/engine/surfaces/surfacefilter.h Examining data/regina-normal-5.1/engine/surfaces/surfacefiltertype.h Examining data/regina-normal-5.1/engine/surfaces/xmlfilterreader.cpp Examining data/regina-normal-5.1/engine/surfaces/xmlfilterreader.h Examining data/regina-normal-5.1/engine/surfaces/xmlsurfacereader.cpp Examining data/regina-normal-5.1/engine/surfaces/xmlsurfacereader.h Examining data/regina-normal-5.1/engine/syntax/context.cpp Examining data/regina-normal-5.1/engine/syntax/context.h Examining data/regina-normal-5.1/engine/syntax/contextswitch.cpp Examining data/regina-normal-5.1/engine/syntax/contextswitch.h Examining data/regina-normal-5.1/engine/syntax/definition.cpp Examining data/regina-normal-5.1/engine/syntax/definition.h Examining data/regina-normal-5.1/engine/syntax/definition_p.h Examining data/regina-normal-5.1/engine/syntax/definitionref.h Examining data/regina-normal-5.1/engine/syntax/format.cpp Examining data/regina-normal-5.1/engine/syntax/format.h Examining data/regina-normal-5.1/engine/syntax/format_p.h Examining data/regina-normal-5.1/engine/syntax/keywordlist.cpp Examining data/regina-normal-5.1/engine/syntax/keywordlist.h Examining data/regina-normal-5.1/engine/syntax/matcher.h Examining data/regina-normal-5.1/engine/syntax/repository.cpp Examining data/regina-normal-5.1/engine/syntax/repository.h Examining data/regina-normal-5.1/engine/syntax/repository_p.h Examining data/regina-normal-5.1/engine/syntax/rule.cpp Examining data/regina-normal-5.1/engine/syntax/rule.h Examining data/regina-normal-5.1/engine/syntax/state.cpp Examining data/regina-normal-5.1/engine/syntax/state.h Examining data/regina-normal-5.1/engine/syntax/state_p.h Examining data/regina-normal-5.1/engine/syntax/textstyledata_p.h Examining data/regina-normal-5.1/engine/syntax/theme.cpp Examining data/regina-normal-5.1/engine/syntax/theme.h Examining data/regina-normal-5.1/engine/syntax/themedata.cpp Examining data/regina-normal-5.1/engine/syntax/themedata_p.h Examining data/regina-normal-5.1/engine/treewidth/ntreedecomposition-impl.h Examining data/regina-normal-5.1/engine/treewidth/ntreedecomposition.h Examining data/regina-normal-5.1/engine/treewidth/treedecomposition-impl.h Examining data/regina-normal-5.1/engine/treewidth/treedecomposition.cpp Examining data/regina-normal-5.1/engine/treewidth/treedecomposition.h Examining data/regina-normal-5.1/engine/triangulation/alias/face.h Examining data/regina-normal-5.1/engine/triangulation/alias/facenumber.h Examining data/regina-normal-5.1/engine/triangulation/alias/isomorphism.h Examining data/regina-normal-5.1/engine/triangulation/alias/simplex.h Examining data/regina-normal-5.1/engine/triangulation/detail/boundarycomponent-impl.h Examining data/regina-normal-5.1/engine/triangulation/detail/boundarycomponent.h Examining data/regina-normal-5.1/engine/triangulation/detail/canonical-impl.h Examining data/regina-normal-5.1/engine/triangulation/detail/component.h Examining data/regina-normal-5.1/engine/triangulation/detail/example.h Examining data/regina-normal-5.1/engine/triangulation/detail/face.h Examining data/regina-normal-5.1/engine/triangulation/detail/facenumbering.h Examining data/regina-normal-5.1/engine/triangulation/detail/facetpairing-impl.h Examining data/regina-normal-5.1/engine/triangulation/detail/facetpairing.h Examining data/regina-normal-5.1/engine/triangulation/detail/isomorphism.h Examining data/regina-normal-5.1/engine/triangulation/detail/isosig-impl.h Examining data/regina-normal-5.1/engine/triangulation/detail/simplex.h Examining data/regina-normal-5.1/engine/triangulation/detail/skeleton-impl.h Examining data/regina-normal-5.1/engine/triangulation/detail/strings.h Examining data/regina-normal-5.1/engine/triangulation/detail/triangulation.h Examining data/regina-normal-5.1/engine/triangulation/detail/xmltrireader.h Examining data/regina-normal-5.1/engine/triangulation/dim2/boundarycomponent2.h Examining data/regina-normal-5.1/engine/triangulation/dim2/component2.h Examining data/regina-normal-5.1/engine/triangulation/dim2/simplify.cpp Examining data/regina-normal-5.1/engine/triangulation/dim2/skeleton.cpp Examining data/regina-normal-5.1/engine/triangulation/dim2/triangle2.h Examining data/regina-normal-5.1/engine/triangulation/dim2/triangulation2.cpp Examining data/regina-normal-5.1/engine/triangulation/dim2/triangulation2.h Examining data/regina-normal-5.1/engine/triangulation/dim2.h Examining data/regina-normal-5.1/engine/triangulation/dim3/angle.cpp Examining data/regina-normal-5.1/engine/triangulation/dim3/boundarycomponent3.h Examining data/regina-normal-5.1/engine/triangulation/dim3/component3.h Examining data/regina-normal-5.1/engine/triangulation/dim3/crushtri.cpp Examining data/regina-normal-5.1/engine/triangulation/dim3/decompose.cpp Examining data/regina-normal-5.1/engine/triangulation/dim3/homology.cpp Examining data/regina-normal-5.1/engine/triangulation/dim3/hydrate.cpp Examining data/regina-normal-5.1/engine/triangulation/dim3/insertlayered.cpp Examining data/regina-normal-5.1/engine/triangulation/dim3/reorder.cpp Examining data/regina-normal-5.1/engine/triangulation/dim3/retriangulate.cpp Examining data/regina-normal-5.1/engine/triangulation/dim3/simplify.cpp Examining data/regina-normal-5.1/engine/triangulation/dim3/simplifyglobal.cpp Examining data/regina-normal-5.1/engine/triangulation/dim3/skeleton.cpp Examining data/regina-normal-5.1/engine/triangulation/dim3/snappea.cpp Examining data/regina-normal-5.1/engine/triangulation/dim3/subdivide.cpp Examining data/regina-normal-5.1/engine/triangulation/dim3/surfaces.cpp Examining data/regina-normal-5.1/engine/triangulation/dim3/tetrahedron3.h Examining data/regina-normal-5.1/engine/triangulation/dim3/triangle3.cpp Examining data/regina-normal-5.1/engine/triangulation/dim3/triangle3.h Examining data/regina-normal-5.1/engine/triangulation/dim3/triangulation3.cpp Examining data/regina-normal-5.1/engine/triangulation/dim3/turaevviro.cpp Examining data/regina-normal-5.1/engine/triangulation/dim3/vertex3.cpp Examining data/regina-normal-5.1/engine/triangulation/dim3/vertex3.h Examining data/regina-normal-5.1/engine/triangulation/dim3/triangulation3.h Examining data/regina-normal-5.1/engine/triangulation/dim3.h Examining data/regina-normal-5.1/engine/triangulation/dim4/boundarycomponent4.h Examining data/regina-normal-5.1/engine/triangulation/dim4/component4.h Examining data/regina-normal-5.1/engine/triangulation/dim4/edge4.cpp Examining data/regina-normal-5.1/engine/triangulation/dim4/edge4.h Examining data/regina-normal-5.1/engine/triangulation/dim4/homology.cpp Examining data/regina-normal-5.1/engine/triangulation/dim4/pentachoron4.h Examining data/regina-normal-5.1/engine/triangulation/dim4/simplify.cpp Examining data/regina-normal-5.1/engine/triangulation/dim4/simplifyglobal.cpp Examining data/regina-normal-5.1/engine/triangulation/dim4/skeleton.cpp Examining data/regina-normal-5.1/engine/triangulation/dim4/subdivide.cpp Examining data/regina-normal-5.1/engine/triangulation/dim4/triangulation4.cpp Examining data/regina-normal-5.1/engine/triangulation/dim4/triangulation4.h Examining data/regina-normal-5.1/engine/triangulation/dim4/vertex4.cpp Examining data/regina-normal-5.1/engine/triangulation/dim4/vertex4.h Examining data/regina-normal-5.1/engine/triangulation/dim4.h Examining data/regina-normal-5.1/engine/triangulation/example.h Examining data/regina-normal-5.1/engine/triangulation/example2.cpp Examining data/regina-normal-5.1/engine/triangulation/example2.h Examining data/regina-normal-5.1/engine/triangulation/example3.cpp Examining data/regina-normal-5.1/engine/triangulation/example3.h Examining data/regina-normal-5.1/engine/triangulation/example4.cpp Examining data/regina-normal-5.1/engine/triangulation/example4.h Examining data/regina-normal-5.1/engine/triangulation/explicit/boundary10.cpp Examining data/regina-normal-5.1/engine/triangulation/explicit/boundary11.cpp Examining data/regina-normal-5.1/engine/triangulation/explicit/boundary12.cpp Examining data/regina-normal-5.1/engine/triangulation/explicit/boundary13.cpp Examining data/regina-normal-5.1/engine/triangulation/explicit/boundary14.cpp Examining data/regina-normal-5.1/engine/triangulation/explicit/boundary15.cpp Examining data/regina-normal-5.1/engine/triangulation/explicit/boundary2.cpp Examining data/regina-normal-5.1/engine/triangulation/explicit/boundary3.cpp Examining data/regina-normal-5.1/engine/triangulation/explicit/boundary4.cpp Examining data/regina-normal-5.1/engine/triangulation/explicit/boundary5.cpp Examining data/regina-normal-5.1/engine/triangulation/explicit/boundary6.cpp Examining data/regina-normal-5.1/engine/triangulation/explicit/boundary7.cpp Examining data/regina-normal-5.1/engine/triangulation/explicit/boundary8.cpp Examining data/regina-normal-5.1/engine/triangulation/explicit/boundary9.cpp Examining data/regina-normal-5.1/engine/triangulation/explicit/triangulation10.cpp Examining data/regina-normal-5.1/engine/triangulation/explicit/triangulation11.cpp Examining data/regina-normal-5.1/engine/triangulation/explicit/triangulation12.cpp Examining data/regina-normal-5.1/engine/triangulation/explicit/triangulation13.cpp Examining data/regina-normal-5.1/engine/triangulation/explicit/triangulation14.cpp Examining data/regina-normal-5.1/engine/triangulation/explicit/triangulation15.cpp Examining data/regina-normal-5.1/engine/triangulation/explicit/triangulation2.cpp Examining data/regina-normal-5.1/engine/triangulation/explicit/triangulation3.cpp Examining data/regina-normal-5.1/engine/triangulation/explicit/triangulation4.cpp Examining data/regina-normal-5.1/engine/triangulation/explicit/triangulation5.cpp Examining data/regina-normal-5.1/engine/triangulation/explicit/triangulation6.cpp Examining data/regina-normal-5.1/engine/triangulation/explicit/triangulation7.cpp Examining data/regina-normal-5.1/engine/triangulation/explicit/triangulation8.cpp Examining data/regina-normal-5.1/engine/triangulation/explicit/triangulation9.cpp Examining data/regina-normal-5.1/engine/triangulation/facenumbering.cpp Examining data/regina-normal-5.1/engine/triangulation/facenumbering.h Examining data/regina-normal-5.1/engine/triangulation/facepair.cpp Examining data/regina-normal-5.1/engine/triangulation/facepair.h Examining data/regina-normal-5.1/engine/triangulation/facetpairing.h Examining data/regina-normal-5.1/engine/triangulation/facetpairing3.cpp Examining data/regina-normal-5.1/engine/triangulation/facetpairing3.h Examining data/regina-normal-5.1/engine/triangulation/facetspec.h Examining data/regina-normal-5.1/engine/triangulation/forward.h Examining data/regina-normal-5.1/engine/triangulation/generic/boundarycomponent.h Examining data/regina-normal-5.1/engine/triangulation/generic/component.h Examining data/regina-normal-5.1/engine/triangulation/generic/face.h Examining data/regina-normal-5.1/engine/triangulation/generic/facetpairing.h Examining data/regina-normal-5.1/engine/triangulation/generic/isomorphism.h Examining data/regina-normal-5.1/engine/triangulation/generic/simplex.h Examining data/regina-normal-5.1/engine/triangulation/generic/triangulation.h Examining data/regina-normal-5.1/engine/triangulation/generic.h Examining data/regina-normal-5.1/engine/triangulation/homologicaldata.cpp Examining data/regina-normal-5.1/engine/triangulation/homologicaldata.h Examining data/regina-normal-5.1/engine/triangulation/nboundarycomponent.h Examining data/regina-normal-5.1/engine/triangulation/ncomponent.h Examining data/regina-normal-5.1/engine/triangulation/nedge.h Examining data/regina-normal-5.1/engine/triangulation/nexampletriangulation.h Examining data/regina-normal-5.1/engine/triangulation/nfacepair.h Examining data/regina-normal-5.1/engine/triangulation/nfacepairing.h Examining data/regina-normal-5.1/engine/triangulation/nhomologicaldata.h Examining data/regina-normal-5.1/engine/triangulation/nisomorphism.h Examining data/regina-normal-5.1/engine/triangulation/ntetrahedron.h Examining data/regina-normal-5.1/engine/triangulation/ntriangle.h Examining data/regina-normal-5.1/engine/triangulation/ntriangulation.h Examining data/regina-normal-5.1/engine/triangulation/nvertex.h Examining data/regina-normal-5.1/engine/triangulation/pachner.h Examining data/regina-normal-5.1/engine/triangulation/xmltrireader.h Examining data/regina-normal-5.1/engine/triangulation/xmltrireader2.cpp Examining data/regina-normal-5.1/engine/triangulation/xmltrireader2.h Examining data/regina-normal-5.1/engine/triangulation/xmltrireader3.cpp Examining data/regina-normal-5.1/engine/triangulation/xmltrireader3.h Examining data/regina-normal-5.1/engine/triangulation/xmltrireader4.cpp Examining data/regina-normal-5.1/engine/triangulation/xmltrireader4.h Examining data/regina-normal-5.1/engine/utilities/base64.cpp Examining data/regina-normal-5.1/engine/utilities/base64.h Examining data/regina-normal-5.1/engine/utilities/bitmanip.h Examining data/regina-normal-5.1/engine/utilities/bitmask.h Examining data/regina-normal-5.1/engine/utilities/boolset.cpp Examining data/regina-normal-5.1/engine/utilities/boolset.h Examining data/regina-normal-5.1/engine/utilities/flags.h Examining data/regina-normal-5.1/engine/utilities/i18nutils.cpp Examining data/regina-normal-5.1/engine/utilities/i18nutils.h Examining data/regina-normal-5.1/engine/utilities/intutils.h Examining data/regina-normal-5.1/engine/utilities/listoncall.h Examining data/regina-normal-5.1/engine/utilities/markedvector.h Examining data/regina-normal-5.1/engine/utilities/memutils.h Examining data/regina-normal-5.1/engine/utilities/nbooleans.h Examining data/regina-normal-5.1/engine/utilities/osutils.cpp Examining data/regina-normal-5.1/engine/utilities/osutils.h Examining data/regina-normal-5.1/engine/utilities/property.h Examining data/regina-normal-5.1/engine/utilities/ptrutils.h Examining data/regina-normal-5.1/engine/utilities/qitmask.h Examining data/regina-normal-5.1/engine/utilities/registryutils.h Examining data/regina-normal-5.1/engine/utilities/safepointeebase.h Examining data/regina-normal-5.1/engine/utilities/safeptr.h Examining data/regina-normal-5.1/engine/utilities/saferemnant.h Examining data/regina-normal-5.1/engine/utilities/sequence.h Examining data/regina-normal-5.1/engine/utilities/stringutils-impl.h Examining data/regina-normal-5.1/engine/utilities/stringutils.cpp Examining data/regina-normal-5.1/engine/utilities/stringutils.h Examining data/regina-normal-5.1/engine/utilities/trieset.h Examining data/regina-normal-5.1/engine/utilities/tritmask.h Examining data/regina-normal-5.1/engine/utilities/xmlcallback.cpp Examining data/regina-normal-5.1/engine/utilities/xmlcallback.h Examining data/regina-normal-5.1/engine/utilities/xmlelementreader.h Examining data/regina-normal-5.1/engine/utilities/xmlutils.cpp Examining data/regina-normal-5.1/engine/utilities/xmlutils.h Examining data/regina-normal-5.1/ios/AppDelegate.h Examining data/regina-normal-5.1/ios/CensusListController.h Examining data/regina-normal-5.1/ios/DetailViewController.h Examining data/regina-normal-5.1/ios/DocumentListController.h Examining data/regina-normal-5.1/ios/EditableTableViewController.h Examining data/regina-normal-5.1/ios/Example.h Examining data/regina-normal-5.1/ios/MasterViewController.h Examining data/regina-normal-5.1/ios/MBProgressHUD/MBProgressHUD.h Examining data/regina-normal-5.1/ios/MDSpreadView/Classes/MDSpreadView.h Examining data/regina-normal-5.1/ios/MDSpreadView/Classes/MDSpreadViewCell.h Examining data/regina-normal-5.1/ios/MDSpreadView/Classes/MDSpreadViewCellBackground.h Examining data/regina-normal-5.1/ios/MDSpreadView/Classes/MDSpreadViewCellColumnHeaderBackground.h Examining data/regina-normal-5.1/ios/MDSpreadView/Classes/MDSpreadViewCellCornerHeaderBackground.h Examining data/regina-normal-5.1/ios/MDSpreadView/Classes/MDSpreadViewCellRowHeaderBackground.h Examining data/regina-normal-5.1/ios/MDSpreadView/Classes/MDSpreadViewClasses.h Examining data/regina-normal-5.1/ios/MDSpreadView/Classes/MDSpreadViewHeaderCell.h Examining data/regina-normal-5.1/ios/NewPacketController.h Examining data/regina-normal-5.1/ios/NewPacketMenu.h Examining data/regina-normal-5.1/ios/NewPacketPageViewController.h Examining data/regina-normal-5.1/ios/PacketListenerIOS.h Examining data/regina-normal-5.1/ios/PacketManagerIOS.h Examining data/regina-normal-5.1/ios/PacketPicker.h Examining data/regina-normal-5.1/ios/packets/AngleViewController.h Examining data/regina-normal-5.1/ios/packets/Coordinates.h Examining data/regina-normal-5.1/ios/packets/DefaultPacketViewController.h Examining data/regina-normal-5.1/ios/packets/EltMoves3.h Examining data/regina-normal-5.1/ios/packets/EltMoves4.h Examining data/regina-normal-5.1/ios/packets/FilterViewController.h Examining data/regina-normal-5.1/ios/packets/GenericTriangulationViewController.h Examining data/regina-normal-5.1/ios/packets/HyperCompat.h Examining data/regina-normal-5.1/ios/packets/HyperCoords.h Examining data/regina-normal-5.1/ios/packets/HyperMatching.h Examining data/regina-normal-5.1/ios/packets/HyperSummary.h Examining data/regina-normal-5.1/ios/packets/HyperViewController.h Examining data/regina-normal-5.1/ios/packets/NewAnglesController.h Examining data/regina-normal-5.1/ios/packets/NewFilterController.h Examining data/regina-normal-5.1/ios/packets/NewHypersurfacesController.h Examining data/regina-normal-5.1/ios/packets/NewSnapPeaController.h Examining data/regina-normal-5.1/ios/packets/NewSurfacesController.h Examining data/regina-normal-5.1/ios/packets/NewTri2Controller.h Examining data/regina-normal-5.1/ios/packets/NewTri3Controller.h Examining data/regina-normal-5.1/ios/packets/NewTri4Controller.h Examining data/regina-normal-5.1/ios/packets/ScriptViewController.h Examining data/regina-normal-5.1/ios/packets/Skeleton.h Examining data/regina-normal-5.1/ios/packets/SnapPeaAlgebra.h Examining data/regina-normal-5.1/ios/packets/SnapPeaCusps.h Examining data/regina-normal-5.1/ios/packets/SnapPeaGluings.h Examining data/regina-normal-5.1/ios/packets/SnapPeaViewController.h Examining data/regina-normal-5.1/ios/packets/SurfacesCompat.h Examining data/regina-normal-5.1/ios/packets/SurfacesCoords.h Examining data/regina-normal-5.1/ios/packets/SurfacesMatching.h Examining data/regina-normal-5.1/ios/packets/SurfacesSummary.h Examining data/regina-normal-5.1/ios/packets/SurfacesViewController.h Examining data/regina-normal-5.1/ios/packets/TextViewController.h Examining data/regina-normal-5.1/ios/packets/Tri2Gluings.h Examining data/regina-normal-5.1/ios/packets/Tri2Skeleton.h Examining data/regina-normal-5.1/ios/packets/Tri2ViewController.h Examining data/regina-normal-5.1/ios/packets/Tri3Algebra.h Examining data/regina-normal-5.1/ios/packets/Tri3Composition.h Examining data/regina-normal-5.1/ios/packets/Tri3Gluings.h Examining data/regina-normal-5.1/ios/packets/Tri3Graph.h Examining data/regina-normal-5.1/ios/packets/Tri3Recognition.h Examining data/regina-normal-5.1/ios/packets/Tri3Skeleton.h Examining data/regina-normal-5.1/ios/packets/Tri3SnapPea.h Examining data/regina-normal-5.1/ios/packets/Tri3ViewController.h Examining data/regina-normal-5.1/ios/packets/Tri4Algebra.h Examining data/regina-normal-5.1/ios/packets/Tri4Gluings.h Examining data/regina-normal-5.1/ios/packets/Tri4Graph.h Examining data/regina-normal-5.1/ios/packets/Tri4Skeleton.h Examining data/regina-normal-5.1/ios/packets/Tri4ViewController.h Examining data/regina-normal-5.1/ios/PacketTabBarController.h Examining data/regina-normal-5.1/ios/PacketTreeController.h Examining data/regina-normal-5.1/ios/PacketViewer.h Examining data/regina-normal-5.1/ios/python/NSMatcher.h Examining data/regina-normal-5.1/ios/python/PythonConsoleController.h Examining data/regina-normal-5.1/ios/python/PythonInterpreter.h Examining data/regina-normal-5.1/ios/python/SyntaxHighlighter.h Examining data/regina-normal-5.1/ios/ReginaDocument.h Examining data/regina-normal-5.1/ios/ReginaHelper.h Examining data/regina-normal-5.1/ios/SpreadHelper.h Examining data/regina-normal-5.1/ios/TempFile.h Examining data/regina-normal-5.1/ios/TextHelper.h Examining data/regina-normal-5.1/ios/TextPopover.h Examining data/regina-normal-5.1/ios/Toast/UIView+Toast.h Examining data/regina-normal-5.1/ios/WelcomePopupController.h Examining data/regina-normal-5.1/ios/WelcomeViewController.h Examining data/regina-normal-5.1/preconfig/ios-xcode5/regina-config.h Examining data/regina-normal-5.1/preconfig/osx-xcode5/regina-config.h Examining data/regina-normal-5.1/python/algebra/abeliangroup.cpp Examining data/regina-normal-5.1/python/algebra/grouppresentation.cpp Examining data/regina-normal-5.1/python/algebra/homgrouppresentation.cpp Examining data/regina-normal-5.1/python/algebra/markedabeliangroup.cpp Examining data/regina-normal-5.1/python/algebra/pyalgebra.cpp Examining data/regina-normal-5.1/python/angle/anglestructure.cpp Examining data/regina-normal-5.1/python/angle/anglestructures.cpp Examining data/regina-normal-5.1/python/angle/pyangle.cpp Examining data/regina-normal-5.1/python/census/census.cpp Examining data/regina-normal-5.1/python/census/gluingpermsearcher3.cpp Examining data/regina-normal-5.1/python/census/pycensus.cpp Examining data/regina-normal-5.1/python/dim2/boundarycomponent2.cpp Examining data/regina-normal-5.1/python/dim2/component2.cpp Examining data/regina-normal-5.1/python/dim2/edge2.cpp Examining data/regina-normal-5.1/python/dim2/example2.cpp Examining data/regina-normal-5.1/python/dim2/isomorphism2.cpp Examining data/regina-normal-5.1/python/dim2/pydim2.cpp Examining data/regina-normal-5.1/python/dim2/triangle2.cpp Examining data/regina-normal-5.1/python/dim2/triangulation2.cpp Examining data/regina-normal-5.1/python/dim2/vertex2.cpp Examining data/regina-normal-5.1/python/dim3/boundarycomponent3.cpp Examining data/regina-normal-5.1/python/dim3/component3.cpp Examining data/regina-normal-5.1/python/dim3/edge3.cpp Examining data/regina-normal-5.1/python/dim3/example3.cpp Examining data/regina-normal-5.1/python/dim3/facepair.cpp Examining data/regina-normal-5.1/python/dim3/facetpairing3.cpp Examining data/regina-normal-5.1/python/dim3/homologicaldata.cpp Examining data/regina-normal-5.1/python/dim3/isomorphism3.cpp Examining data/regina-normal-5.1/python/dim3/pytriangulation.cpp Examining data/regina-normal-5.1/python/dim3/tetrahedron3.cpp Examining data/regina-normal-5.1/python/dim3/triangle3.cpp Examining data/regina-normal-5.1/python/dim3/triangulation3.cpp Examining data/regina-normal-5.1/python/dim3/vertex3.cpp Examining data/regina-normal-5.1/python/dim4/boundarycomponent4.cpp Examining data/regina-normal-5.1/python/dim4/component4.cpp Examining data/regina-normal-5.1/python/dim4/edge4.cpp Examining data/regina-normal-5.1/python/dim4/example4.cpp Examining data/regina-normal-5.1/python/dim4/isomorphism4.cpp Examining data/regina-normal-5.1/python/dim4/pentachoron4.cpp Examining data/regina-normal-5.1/python/dim4/pydim4.cpp Examining data/regina-normal-5.1/python/dim4/tetrahedron4.cpp Examining data/regina-normal-5.1/python/dim4/triangle4.cpp Examining data/regina-normal-5.1/python/dim4/triangulation4.cpp Examining data/regina-normal-5.1/python/dim4/vertex4.cpp Examining data/regina-normal-5.1/python/file/fileinfo.cpp Examining data/regina-normal-5.1/python/file/globaldirs.cpp Examining data/regina-normal-5.1/python/file/pyfile.cpp Examining data/regina-normal-5.1/python/foreign/dehydration.cpp Examining data/regina-normal-5.1/python/foreign/isosig.cpp Examining data/regina-normal-5.1/python/foreign/orb.cpp Examining data/regina-normal-5.1/python/foreign/pyforeign.cpp Examining data/regina-normal-5.1/python/generic/boundarycomponent-bindings.h Examining data/regina-normal-5.1/python/generic/boundarycomponent10.cpp Examining data/regina-normal-5.1/python/generic/boundarycomponent11.cpp Examining data/regina-normal-5.1/python/generic/boundarycomponent12.cpp Examining data/regina-normal-5.1/python/generic/boundarycomponent13.cpp Examining data/regina-normal-5.1/python/generic/boundarycomponent14.cpp Examining data/regina-normal-5.1/python/generic/boundarycomponent15.cpp Examining data/regina-normal-5.1/python/generic/boundarycomponent5.cpp Examining data/regina-normal-5.1/python/generic/boundarycomponent6.cpp Examining data/regina-normal-5.1/python/generic/boundarycomponent7.cpp Examining data/regina-normal-5.1/python/generic/boundarycomponent8.cpp Examining data/regina-normal-5.1/python/generic/boundarycomponent9.cpp Examining data/regina-normal-5.1/python/generic/component-bindings.h Examining data/regina-normal-5.1/python/generic/component10.cpp Examining data/regina-normal-5.1/python/generic/component11.cpp Examining data/regina-normal-5.1/python/generic/component12.cpp Examining data/regina-normal-5.1/python/generic/component13.cpp Examining data/regina-normal-5.1/python/generic/component14.cpp Examining data/regina-normal-5.1/python/generic/component15.cpp Examining data/regina-normal-5.1/python/generic/component5.cpp Examining data/regina-normal-5.1/python/generic/component6.cpp Examining data/regina-normal-5.1/python/generic/component7.cpp Examining data/regina-normal-5.1/python/generic/component8.cpp Examining data/regina-normal-5.1/python/generic/component9.cpp Examining data/regina-normal-5.1/python/generic/example-bindings.h Examining data/regina-normal-5.1/python/generic/example10.cpp Examining data/regina-normal-5.1/python/generic/example11.cpp Examining data/regina-normal-5.1/python/generic/example12.cpp Examining data/regina-normal-5.1/python/generic/example13.cpp Examining data/regina-normal-5.1/python/generic/example14.cpp Examining data/regina-normal-5.1/python/generic/example15.cpp Examining data/regina-normal-5.1/python/generic/example5.cpp Examining data/regina-normal-5.1/python/generic/example6.cpp Examining data/regina-normal-5.1/python/generic/example7.cpp Examining data/regina-normal-5.1/python/generic/example8.cpp Examining data/regina-normal-5.1/python/generic/example9.cpp Examining data/regina-normal-5.1/python/generic/face-bindings.h Examining data/regina-normal-5.1/python/generic/face.cpp Examining data/regina-normal-5.1/python/generic/face10.cpp Examining data/regina-normal-5.1/python/generic/face11.cpp Examining data/regina-normal-5.1/python/generic/face12.cpp Examining data/regina-normal-5.1/python/generic/face13.cpp Examining data/regina-normal-5.1/python/generic/face14.cpp Examining data/regina-normal-5.1/python/generic/face15.cpp Examining data/regina-normal-5.1/python/generic/face5.cpp Examining data/regina-normal-5.1/python/generic/face6.cpp Examining data/regina-normal-5.1/python/generic/face7.cpp Examining data/regina-normal-5.1/python/generic/face8.cpp Examining data/regina-normal-5.1/python/generic/face9.cpp Examining data/regina-normal-5.1/python/generic/facehelper.cpp Examining data/regina-normal-5.1/python/generic/facehelper.h Examining data/regina-normal-5.1/python/generic/facetpairing-bindings.h Examining data/regina-normal-5.1/python/generic/facetpairing10.cpp Examining data/regina-normal-5.1/python/generic/facetpairing11.cpp Examining data/regina-normal-5.1/python/generic/facetpairing12.cpp Examining data/regina-normal-5.1/python/generic/facetpairing13.cpp Examining data/regina-normal-5.1/python/generic/facetpairing14.cpp Examining data/regina-normal-5.1/python/generic/facetpairing15.cpp Examining data/regina-normal-5.1/python/generic/facetpairing2.cpp Examining data/regina-normal-5.1/python/generic/facetpairing4.cpp Examining data/regina-normal-5.1/python/generic/facetpairing5.cpp Examining data/regina-normal-5.1/python/generic/facetpairing6.cpp Examining data/regina-normal-5.1/python/generic/facetpairing7.cpp Examining data/regina-normal-5.1/python/generic/facetpairing8.cpp Examining data/regina-normal-5.1/python/generic/facetpairing9.cpp Examining data/regina-normal-5.1/python/generic/facetspec.cpp Examining data/regina-normal-5.1/python/generic/isomorphism-bindings.h Examining data/regina-normal-5.1/python/generic/isomorphism10.cpp Examining data/regina-normal-5.1/python/generic/isomorphism11.cpp Examining data/regina-normal-5.1/python/generic/isomorphism12.cpp Examining data/regina-normal-5.1/python/generic/isomorphism13.cpp Examining data/regina-normal-5.1/python/generic/isomorphism14.cpp Examining data/regina-normal-5.1/python/generic/isomorphism15.cpp Examining data/regina-normal-5.1/python/generic/isomorphism5.cpp Examining data/regina-normal-5.1/python/generic/isomorphism6.cpp Examining data/regina-normal-5.1/python/generic/isomorphism7.cpp Examining data/regina-normal-5.1/python/generic/isomorphism8.cpp Examining data/regina-normal-5.1/python/generic/isomorphism9.cpp Examining data/regina-normal-5.1/python/generic/pygeneric.cpp Examining data/regina-normal-5.1/python/generic/simplex-bindings.h Examining data/regina-normal-5.1/python/generic/simplex10.cpp Examining data/regina-normal-5.1/python/generic/simplex11.cpp Examining data/regina-normal-5.1/python/generic/simplex12.cpp Examining data/regina-normal-5.1/python/generic/simplex13.cpp Examining data/regina-normal-5.1/python/generic/simplex14.cpp Examining data/regina-normal-5.1/python/generic/simplex15.cpp Examining data/regina-normal-5.1/python/generic/simplex5.cpp Examining data/regina-normal-5.1/python/generic/simplex6.cpp Examining data/regina-normal-5.1/python/generic/simplex7.cpp Examining data/regina-normal-5.1/python/generic/simplex8.cpp Examining data/regina-normal-5.1/python/generic/simplex9.cpp Examining data/regina-normal-5.1/python/generic/triangulation-bindings.h Examining data/regina-normal-5.1/python/generic/triangulation10.cpp Examining data/regina-normal-5.1/python/generic/triangulation11.cpp Examining data/regina-normal-5.1/python/generic/triangulation12.cpp Examining data/regina-normal-5.1/python/generic/triangulation13.cpp Examining data/regina-normal-5.1/python/generic/triangulation14.cpp Examining data/regina-normal-5.1/python/generic/triangulation15.cpp Examining data/regina-normal-5.1/python/generic/triangulation5.cpp Examining data/regina-normal-5.1/python/generic/triangulation6.cpp Examining data/regina-normal-5.1/python/generic/triangulation7.cpp Examining data/regina-normal-5.1/python/generic/triangulation8.cpp Examining data/regina-normal-5.1/python/generic/triangulation9.cpp Examining data/regina-normal-5.1/python/globalarray.cpp Examining data/regina-normal-5.1/python/globalarray.h Examining data/regina-normal-5.1/python/helpers/equality.h Examining data/regina-normal-5.1/python/helpers/output.h Examining data/regina-normal-5.1/python/helpers.h Examining data/regina-normal-5.1/python/hypersurface/hypercoords.cpp Examining data/regina-normal-5.1/python/hypersurface/hyperflags.cpp Examining data/regina-normal-5.1/python/hypersurface/normalhypersurface.cpp Examining data/regina-normal-5.1/python/hypersurface/normalhypersurfaces.cpp Examining data/regina-normal-5.1/python/hypersurface/pyhypersurface.cpp Examining data/regina-normal-5.1/python/manifold/graphloop.cpp Examining data/regina-normal-5.1/python/manifold/graphpair.cpp Examining data/regina-normal-5.1/python/manifold/graphtriple.cpp Examining data/regina-normal-5.1/python/manifold/handlebody.cpp Examining data/regina-normal-5.1/python/manifold/lensspace.cpp Examining data/regina-normal-5.1/python/manifold/manifold.cpp Examining data/regina-normal-5.1/python/manifold/pymanifold.cpp Examining data/regina-normal-5.1/python/manifold/sfs.cpp Examining data/regina-normal-5.1/python/manifold/simplesurfacebundle.cpp Examining data/regina-normal-5.1/python/manifold/snappeacensusmfd.cpp Examining data/regina-normal-5.1/python/manifold/torusbundle.cpp Examining data/regina-normal-5.1/python/maths/cyclotomic.cpp Examining data/regina-normal-5.1/python/maths/integer.cpp Examining data/regina-normal-5.1/python/maths/largeinteger.cpp Examining data/regina-normal-5.1/python/maths/matrix2.cpp Examining data/regina-normal-5.1/python/maths/matrixint.cpp Examining data/regina-normal-5.1/python/maths/matrixops.cpp Examining data/regina-normal-5.1/python/maths/numbertheory.cpp Examining data/regina-normal-5.1/python/maths/perm.cpp Examining data/regina-normal-5.1/python/maths/perm2.cpp Examining data/regina-normal-5.1/python/maths/perm3.cpp Examining data/regina-normal-5.1/python/maths/perm4.cpp Examining data/regina-normal-5.1/python/maths/perm5.cpp Examining data/regina-normal-5.1/python/maths/polynomial.cpp Examining data/regina-normal-5.1/python/maths/primes.cpp Examining data/regina-normal-5.1/python/maths/pymaths.cpp Examining data/regina-normal-5.1/python/maths/rational.cpp Examining data/regina-normal-5.1/python/modulemain.cpp Examining data/regina-normal-5.1/python/packet/container.cpp Examining data/regina-normal-5.1/python/packet/packet.cpp Examining data/regina-normal-5.1/python/packet/packettype.cpp Examining data/regina-normal-5.1/python/packet/pdf.cpp Examining data/regina-normal-5.1/python/packet/pypacket.cpp Examining data/regina-normal-5.1/python/packet/script.cpp Examining data/regina-normal-5.1/python/packet/text.cpp Examining data/regina-normal-5.1/python/progress/progresstracker.cpp Examining data/regina-normal-5.1/python/progress/pyprogress.cpp Examining data/regina-normal-5.1/python/safeheldtype.cpp Examining data/regina-normal-5.1/python/safeheldtype.h Examining data/regina-normal-5.1/python/snappea/examplesnappea.cpp Examining data/regina-normal-5.1/python/snappea/pysnappea.cpp Examining data/regina-normal-5.1/python/snappea/snappeatriangulation.cpp Examining data/regina-normal-5.1/python/split/pysplit.cpp Examining data/regina-normal-5.1/python/split/signature.cpp Examining data/regina-normal-5.1/python/subcomplex/augtrisolidtorus.cpp Examining data/regina-normal-5.1/python/subcomplex/blockedsfs.cpp Examining data/regina-normal-5.1/python/subcomplex/blockedsfsloop.cpp Examining data/regina-normal-5.1/python/subcomplex/blockedsfspair.cpp Examining data/regina-normal-5.1/python/subcomplex/blockedsfstriple.cpp Examining data/regina-normal-5.1/python/subcomplex/l31pillow.cpp Examining data/regina-normal-5.1/python/subcomplex/layeredchain.cpp Examining data/regina-normal-5.1/python/subcomplex/layeredchainpair.cpp Examining data/regina-normal-5.1/python/subcomplex/layeredlensspace.cpp Examining data/regina-normal-5.1/python/subcomplex/layeredloop.cpp Examining data/regina-normal-5.1/python/subcomplex/layeredsolidtorus.cpp Examining data/regina-normal-5.1/python/subcomplex/layeredtorusbundle.cpp Examining data/regina-normal-5.1/python/subcomplex/layering.cpp Examining data/regina-normal-5.1/python/subcomplex/pillowtwosphere.cpp Examining data/regina-normal-5.1/python/subcomplex/pluggedtorusbundle.cpp Examining data/regina-normal-5.1/python/subcomplex/plugtrisolidtorus.cpp Examining data/regina-normal-5.1/python/subcomplex/pysubcomplex.cpp Examining data/regina-normal-5.1/python/subcomplex/satannulus.cpp Examining data/regina-normal-5.1/python/subcomplex/satblock.cpp Examining data/regina-normal-5.1/python/subcomplex/satblocktypes.cpp Examining data/regina-normal-5.1/python/subcomplex/satregion.cpp Examining data/regina-normal-5.1/python/subcomplex/snappeacensustri.cpp Examining data/regina-normal-5.1/python/subcomplex/snappedball.cpp Examining data/regina-normal-5.1/python/subcomplex/snappedtwosphere.cpp Examining data/regina-normal-5.1/python/subcomplex/spiralsolidtorus.cpp Examining data/regina-normal-5.1/python/subcomplex/standardtri.cpp Examining data/regina-normal-5.1/python/subcomplex/trisolidtorus.cpp Examining data/regina-normal-5.1/python/subcomplex/trivialtri.cpp Examining data/regina-normal-5.1/python/subcomplex/txicore.cpp Examining data/regina-normal-5.1/python/surfaces/disc.cpp Examining data/regina-normal-5.1/python/surfaces/disctype.cpp Examining data/regina-normal-5.1/python/surfaces/normalcoords.cpp Examining data/regina-normal-5.1/python/surfaces/normalflags.cpp Examining data/regina-normal-5.1/python/surfaces/normalsurface.cpp Examining data/regina-normal-5.1/python/surfaces/normalsurfaces.cpp Examining data/regina-normal-5.1/python/surfaces/prism.cpp Examining data/regina-normal-5.1/python/surfaces/pysurfaces.cpp Examining data/regina-normal-5.1/python/surfaces/surfacefilter.cpp Examining data/regina-normal-5.1/python/surfaces/surfacefiltertype.cpp Examining data/regina-normal-5.1/python/treewidth/pytreewidth.cpp Examining data/regina-normal-5.1/python/treewidth/treedecomposition.cpp Examining data/regina-normal-5.1/python/utilities/boolset.cpp Examining data/regina-normal-5.1/python/utilities/i18nutils.cpp Examining data/regina-normal-5.1/python/utilities/intutils.cpp Examining data/regina-normal-5.1/python/utilities/osutils.cpp Examining data/regina-normal-5.1/python/utilities/pyutilities.cpp Examining data/regina-normal-5.1/python/utilities/stringutils.cpp Examining data/regina-normal-5.1/qtui/src/actionspart.cpp Examining data/regina-normal-5.1/qtui/src/bigwidget.cpp Examining data/regina-normal-5.1/qtui/src/bigwidget.h Examining data/regina-normal-5.1/qtui/src/choosers/boundary3chooser.cpp Examining data/regina-normal-5.1/qtui/src/choosers/boundary3chooser.h Examining data/regina-normal-5.1/qtui/src/choosers/boundary4chooser.cpp Examining data/regina-normal-5.1/qtui/src/choosers/boundary4chooser.h Examining data/regina-normal-5.1/qtui/src/choosers/cuspchooser.cpp Examining data/regina-normal-5.1/qtui/src/choosers/cuspchooser.h Examining data/regina-normal-5.1/qtui/src/choosers/edgeintchooser.cpp Examining data/regina-normal-5.1/qtui/src/choosers/edgeintchooser.h Examining data/regina-normal-5.1/qtui/src/choosers/facechooser.h Examining data/regina-normal-5.1/qtui/src/choosers/facename.h Examining data/regina-normal-5.1/qtui/src/choosers/simplexchooser.h Examining data/regina-normal-5.1/qtui/src/clickablelabel.cpp Examining data/regina-normal-5.1/qtui/src/clickablelabel.h Examining data/regina-normal-5.1/qtui/src/codecchooser.cpp Examining data/regina-normal-5.1/qtui/src/codecchooser.h Examining data/regina-normal-5.1/qtui/src/columnlayout.cpp Examining data/regina-normal-5.1/qtui/src/columnlayout.h Examining data/regina-normal-5.1/qtui/src/coordinatechooser.cpp Examining data/regina-normal-5.1/qtui/src/coordinatechooser.h Examining data/regina-normal-5.1/qtui/src/coordinates.cpp Examining data/regina-normal-5.1/qtui/src/coordinates.h Examining data/regina-normal-5.1/qtui/src/edittableview.h Examining data/regina-normal-5.1/qtui/src/edittreeview.h Examining data/regina-normal-5.1/qtui/src/eventids.h Examining data/regina-normal-5.1/qtui/src/examplesaction.cpp Examining data/regina-normal-5.1/qtui/src/examplesaction.h Examining data/regina-normal-5.1/qtui/src/exports.cpp Examining data/regina-normal-5.1/qtui/src/foreign/csvsurfacehandler.cpp Examining data/regina-normal-5.1/qtui/src/foreign/csvsurfacehandler.h Examining data/regina-normal-5.1/qtui/src/foreign/dehydrationhandler.cpp Examining data/regina-normal-5.1/qtui/src/foreign/dehydrationhandler.h Examining data/regina-normal-5.1/qtui/src/foreign/exportdialog.cpp Examining data/regina-normal-5.1/qtui/src/foreign/exportdialog.h Examining data/regina-normal-5.1/qtui/src/foreign/importdialog.cpp Examining data/regina-normal-5.1/qtui/src/foreign/importdialog.h Examining data/regina-normal-5.1/qtui/src/foreign/isosighandler.cpp Examining data/regina-normal-5.1/qtui/src/foreign/isosighandler.h Examining data/regina-normal-5.1/qtui/src/foreign/orbhandler.cpp Examining data/regina-normal-5.1/qtui/src/foreign/orbhandler.h Examining data/regina-normal-5.1/qtui/src/foreign/packetexporter.h Examining data/regina-normal-5.1/qtui/src/foreign/packetimporter.h Examining data/regina-normal-5.1/qtui/src/foreign/pdfhandler.cpp Examining data/regina-normal-5.1/qtui/src/foreign/pdfhandler.h Examining data/regina-normal-5.1/qtui/src/foreign/pythonhandler.cpp Examining data/regina-normal-5.1/qtui/src/foreign/pythonhandler.h Examining data/regina-normal-5.1/qtui/src/foreign/recogniserhandler.cpp Examining data/regina-normal-5.1/qtui/src/foreign/recogniserhandler.h Examining data/regina-normal-5.1/qtui/src/foreign/reginahandler.cpp Examining data/regina-normal-5.1/qtui/src/foreign/reginahandler.h Examining data/regina-normal-5.1/qtui/src/foreign/snappeahandler.cpp Examining data/regina-normal-5.1/qtui/src/foreign/snappeahandler.h Examining data/regina-normal-5.1/qtui/src/foreign/sourcehandler.cpp Examining data/regina-normal-5.1/qtui/src/foreign/sourcehandler.h Examining data/regina-normal-5.1/qtui/src/iconcache.cpp Examining data/regina-normal-5.1/qtui/src/iconcache.h Examining data/regina-normal-5.1/qtui/src/imports.cpp Examining data/regina-normal-5.1/qtui/src/introdialog.cpp Examining data/regina-normal-5.1/qtui/src/introdialog.h Examining data/regina-normal-5.1/qtui/src/main.cpp Examining data/regina-normal-5.1/qtui/src/messagelayer.cpp Examining data/regina-normal-5.1/qtui/src/messagelayer.h Examining data/regina-normal-5.1/qtui/src/newpacketdialog.cpp Examining data/regina-normal-5.1/qtui/src/newpacketdialog.h Examining data/regina-normal-5.1/qtui/src/newpackets.cpp Examining data/regina-normal-5.1/qtui/src/packetchooser.cpp Examining data/regina-normal-5.1/qtui/src/packetchooser.h Examining data/regina-normal-5.1/qtui/src/packetcreator.cpp Examining data/regina-normal-5.1/qtui/src/packetcreator.h Examining data/regina-normal-5.1/qtui/src/packeteditiface.cpp Examining data/regina-normal-5.1/qtui/src/packeteditiface.h Examining data/regina-normal-5.1/qtui/src/packetfilter.h Examining data/regina-normal-5.1/qtui/src/packetmanager.cpp Examining data/regina-normal-5.1/qtui/src/packetmanager.h Examining data/regina-normal-5.1/qtui/src/packets/anglescreator.cpp Examining data/regina-normal-5.1/qtui/src/packets/anglescreator.h Examining data/regina-normal-5.1/qtui/src/packets/anglesui.cpp Examining data/regina-normal-5.1/qtui/src/packets/anglesui.h Examining data/regina-normal-5.1/qtui/src/packets/compatcanvas.cpp Examining data/regina-normal-5.1/qtui/src/packets/compatcanvas.h Examining data/regina-normal-5.1/qtui/src/packets/containerui.cpp Examining data/regina-normal-5.1/qtui/src/packets/containerui.h Examining data/regina-normal-5.1/qtui/src/packets/docwidget.h Examining data/regina-normal-5.1/qtui/src/packets/eltmovedialog3.cpp Examining data/regina-normal-5.1/qtui/src/packets/eltmovedialog3.h Examining data/regina-normal-5.1/qtui/src/packets/eltmovedialog4.cpp Examining data/regina-normal-5.1/qtui/src/packets/eltmovedialog4.h Examining data/regina-normal-5.1/qtui/src/packets/examplecreator.h Examining data/regina-normal-5.1/qtui/src/packets/facetgraphtab.cpp Examining data/regina-normal-5.1/qtui/src/packets/facetgraphtab.h Examining data/regina-normal-5.1/qtui/src/packets/filtercomb.cpp Examining data/regina-normal-5.1/qtui/src/packets/filtercomb.h Examining data/regina-normal-5.1/qtui/src/packets/filtercreator.cpp Examining data/regina-normal-5.1/qtui/src/packets/filtercreator.h Examining data/regina-normal-5.1/qtui/src/packets/filterprop.cpp Examining data/regina-normal-5.1/qtui/src/packets/filterprop.h Examining data/regina-normal-5.1/qtui/src/packets/gaprunner.cpp Examining data/regina-normal-5.1/qtui/src/packets/gaprunner.h Examining data/regina-normal-5.1/qtui/src/packets/generictriui.cpp Examining data/regina-normal-5.1/qtui/src/packets/generictriui.h Examining data/regina-normal-5.1/qtui/src/packets/groupwidget.cpp Examining data/regina-normal-5.1/qtui/src/packets/groupwidget.h Examining data/regina-normal-5.1/qtui/src/packets/hypercompatui.cpp Examining data/regina-normal-5.1/qtui/src/packets/hypercompatui.h Examining data/regina-normal-5.1/qtui/src/packets/hypercoordinateui.cpp Examining data/regina-normal-5.1/qtui/src/packets/hypercoordinateui.h Examining data/regina-normal-5.1/qtui/src/packets/hypercreator.cpp Examining data/regina-normal-5.1/qtui/src/packets/hypercreator.h Examining data/regina-normal-5.1/qtui/src/packets/hypermatchingui.cpp Examining data/regina-normal-5.1/qtui/src/packets/hypermatchingui.h Examining data/regina-normal-5.1/qtui/src/packets/hypersummaryui.cpp Examining data/regina-normal-5.1/qtui/src/packets/hypersummaryui.h Examining data/regina-normal-5.1/qtui/src/packets/hyperui.cpp Examining data/regina-normal-5.1/qtui/src/packets/hyperui.h Examining data/regina-normal-5.1/qtui/src/packets/pdfui.cpp Examining data/regina-normal-5.1/qtui/src/packets/pdfui.h Examining data/regina-normal-5.1/qtui/src/packets/scriptui.cpp Examining data/regina-normal-5.1/qtui/src/packets/scriptui.h Examining data/regina-normal-5.1/qtui/src/packets/skeletonwindow.cpp Examining data/regina-normal-5.1/qtui/src/packets/skeletonwindow.h Examining data/regina-normal-5.1/qtui/src/packets/snappeaalgebra.cpp Examining data/regina-normal-5.1/qtui/src/packets/snappeaalgebra.h Examining data/regina-normal-5.1/qtui/src/packets/snappeacomponents.cpp Examining data/regina-normal-5.1/qtui/src/packets/snappeacomponents.h Examining data/regina-normal-5.1/qtui/src/packets/snappeacreator.cpp Examining data/regina-normal-5.1/qtui/src/packets/snappeacreator.h Examining data/regina-normal-5.1/qtui/src/packets/snappeafile.cpp Examining data/regina-normal-5.1/qtui/src/packets/snappeafile.h Examining data/regina-normal-5.1/qtui/src/packets/snappeagluings.cpp Examining data/regina-normal-5.1/qtui/src/packets/snappeagluings.h Examining data/regina-normal-5.1/qtui/src/packets/snappeashapes.cpp Examining data/regina-normal-5.1/qtui/src/packets/snappeashapes.h Examining data/regina-normal-5.1/qtui/src/packets/snappeaui.cpp Examining data/regina-normal-5.1/qtui/src/packets/snappeaui.h Examining data/regina-normal-5.1/qtui/src/packets/surfacescompatui.cpp Examining data/regina-normal-5.1/qtui/src/packets/surfacescompatui.h Examining data/regina-normal-5.1/qtui/src/packets/surfacescoordinateui.cpp Examining data/regina-normal-5.1/qtui/src/packets/surfacescoordinateui.h Examining data/regina-normal-5.1/qtui/src/packets/surfacescreator.cpp Examining data/regina-normal-5.1/qtui/src/packets/surfacescreator.h Examining data/regina-normal-5.1/qtui/src/packets/surfacesmatchingui.cpp Examining data/regina-normal-5.1/qtui/src/packets/surfacesmatchingui.h Examining data/regina-normal-5.1/qtui/src/packets/surfacessummaryui.cpp Examining data/regina-normal-5.1/qtui/src/packets/surfacessummaryui.h Examining data/regina-normal-5.1/qtui/src/packets/surfacesui.cpp Examining data/regina-normal-5.1/qtui/src/packets/surfacesui.h Examining data/regina-normal-5.1/qtui/src/packets/textui.cpp Examining data/regina-normal-5.1/qtui/src/packets/textui.h Examining data/regina-normal-5.1/qtui/src/packets/tri2creator.cpp Examining data/regina-normal-5.1/qtui/src/packets/tri2creator.h Examining data/regina-normal-5.1/qtui/src/packets/tri2gluings.cpp Examining data/regina-normal-5.1/qtui/src/packets/tri2gluings.h Examining data/regina-normal-5.1/qtui/src/packets/tri2skeleton.cpp Examining data/regina-normal-5.1/qtui/src/packets/tri2skeleton.h Examining data/regina-normal-5.1/qtui/src/packets/tri2ui.cpp Examining data/regina-normal-5.1/qtui/src/packets/tri2ui.h Examining data/regina-normal-5.1/qtui/src/packets/tri3algebra.cpp Examining data/regina-normal-5.1/qtui/src/packets/tri3algebra.h Examining data/regina-normal-5.1/qtui/src/packets/tri3composition.cpp Examining data/regina-normal-5.1/qtui/src/packets/tri3composition.h Examining data/regina-normal-5.1/qtui/src/packets/tri3creator.cpp Examining data/regina-normal-5.1/qtui/src/packets/tri3creator.h Examining data/regina-normal-5.1/qtui/src/packets/tri3gluings.cpp Examining data/regina-normal-5.1/qtui/src/packets/tri3gluings.h Examining data/regina-normal-5.1/qtui/src/packets/tri3skeleton.cpp Examining data/regina-normal-5.1/qtui/src/packets/tri3skeleton.h Examining data/regina-normal-5.1/qtui/src/packets/tri3snappea.cpp Examining data/regina-normal-5.1/qtui/src/packets/tri3snappea.h Examining data/regina-normal-5.1/qtui/src/packets/tri3surfaces.cpp Examining data/regina-normal-5.1/qtui/src/packets/tri3surfaces.h Examining data/regina-normal-5.1/qtui/src/packets/tri3ui.cpp Examining data/regina-normal-5.1/qtui/src/packets/tri3ui.h Examining data/regina-normal-5.1/qtui/src/packets/tri4algebra.cpp Examining data/regina-normal-5.1/qtui/src/packets/tri4algebra.h Examining data/regina-normal-5.1/qtui/src/packets/tri4creator.cpp Examining data/regina-normal-5.1/qtui/src/packets/tri4creator.h Examining data/regina-normal-5.1/qtui/src/packets/tri4gluings.cpp Examining data/regina-normal-5.1/qtui/src/packets/tri4gluings.h Examining data/regina-normal-5.1/qtui/src/packets/tri4skeleton.cpp Examining data/regina-normal-5.1/qtui/src/packets/tri4skeleton.h Examining data/regina-normal-5.1/qtui/src/packets/tri4ui.cpp Examining data/regina-normal-5.1/qtui/src/packets/tri4ui.h Examining data/regina-normal-5.1/qtui/src/packettabui.cpp Examining data/regina-normal-5.1/qtui/src/packettabui.h Examining data/regina-normal-5.1/qtui/src/packettreeview.cpp Examining data/regina-normal-5.1/qtui/src/packettreeview.h Examining data/regina-normal-5.1/qtui/src/packetui.cpp Examining data/regina-normal-5.1/qtui/src/packetui.h Examining data/regina-normal-5.1/qtui/src/packetwindow.cpp Examining data/regina-normal-5.1/qtui/src/packetwindow.h Examining data/regina-normal-5.1/qtui/src/patiencedialog.cpp Examining data/regina-normal-5.1/qtui/src/patiencedialog.h Examining data/regina-normal-5.1/qtui/src/progressdialogs.cpp Examining data/regina-normal-5.1/qtui/src/progressdialogs.h Examining data/regina-normal-5.1/qtui/src/python/commandedit.cpp Examining data/regina-normal-5.1/qtui/src/python/commandedit.h Examining data/regina-normal-5.1/qtui/src/python/pythonconsole.cpp Examining data/regina-normal-5.1/qtui/src/python/pythonconsole.h Examining data/regina-normal-5.1/qtui/src/python/pythoninterpreter.cpp Examining data/regina-normal-5.1/qtui/src/python/pythoninterpreter.h Examining data/regina-normal-5.1/qtui/src/python/pythonoutputstream.cpp Examining data/regina-normal-5.1/qtui/src/python/pythonoutputstream.h Examining data/regina-normal-5.1/qtui/src/pythonmanager.cpp Examining data/regina-normal-5.1/qtui/src/pythonmanager.h Examining data/regina-normal-5.1/qtui/src/recentfilesaction.cpp Examining data/regina-normal-5.1/qtui/src/recentfilesaction.h Examining data/regina-normal-5.1/qtui/src/regevents.h Examining data/regina-normal-5.1/qtui/src/reginaabout.cpp Examining data/regina-normal-5.1/qtui/src/reginaabout.h Examining data/regina-normal-5.1/qtui/src/reginafilter.h Examining data/regina-normal-5.1/qtui/src/reginamain.cpp Examining data/regina-normal-5.1/qtui/src/reginamain.h Examining data/regina-normal-5.1/qtui/src/reginamanager.cpp Examining data/regina-normal-5.1/qtui/src/reginamanager.h Examining data/regina-normal-5.1/qtui/src/reginapref.cpp Examining data/regina-normal-5.1/qtui/src/reginapref.h Examining data/regina-normal-5.1/qtui/src/reginaprefset.cpp Examining data/regina-normal-5.1/qtui/src/reginaprefset.h Examining data/regina-normal-5.1/qtui/src/reginasupport.cpp Examining data/regina-normal-5.1/qtui/src/reginasupport.h Examining data/regina-normal-5.1/qtui/src/sharedtempfile.cpp Examining data/regina-normal-5.1/qtui/src/sharedtempfile.h Examining data/regina-normal-5.1/qtui/src/shortrunner.cpp Examining data/regina-normal-5.1/qtui/src/shortrunner.h Examining data/regina-normal-5.1/qtui/src/syntax/qtmatcher.cpp Examining data/regina-normal-5.1/qtui/src/syntax/qtmatcher.h Examining data/regina-normal-5.1/qtui/src/syntax/syntaxhighlighter.cpp Examining data/regina-normal-5.1/qtui/src/syntax/syntaxhighlighter.h Examining data/regina-normal-5.1/qtui/src/treenav.cpp Examining data/regina-normal-5.1/testsuite/algebra/grouppresentation.cpp Examining data/regina-normal-5.1/testsuite/algebra/testalgebra.h Examining data/regina-normal-5.1/testsuite/angle/anglestructures.cpp Examining data/regina-normal-5.1/testsuite/angle/testangle.h Examining data/regina-normal-5.1/testsuite/census/census2.cpp Examining data/regina-normal-5.1/testsuite/census/census3.cpp Examining data/regina-normal-5.1/testsuite/census/census4.cpp Examining data/regina-normal-5.1/testsuite/census/facetpairing2.cpp Examining data/regina-normal-5.1/testsuite/census/facetpairing3.cpp Examining data/regina-normal-5.1/testsuite/census/facetpairing4.cpp Examining data/regina-normal-5.1/testsuite/census/testcensus.h Examining data/regina-normal-5.1/testsuite/dim2/testdim2.h Examining data/regina-normal-5.1/testsuite/dim2/triangulation2.cpp Examining data/regina-normal-5.1/testsuite/dim3/connectedsumdecomp.cpp Examining data/regina-normal-5.1/testsuite/dim3/eltmoves.cpp Examining data/regina-normal-5.1/testsuite/dim3/homologicaldata.cpp Examining data/regina-normal-5.1/testsuite/dim3/isomorphism.cpp Examining data/regina-normal-5.1/testsuite/dim3/testtriangulation.h Examining data/regina-normal-5.1/testsuite/dim3/triangulation3.cpp Examining data/regina-normal-5.1/testsuite/dim4/testdim4.h Examining data/regina-normal-5.1/testsuite/dim4/triangulation4.cpp Examining data/regina-normal-5.1/testsuite/exhaustive.cpp Examining data/regina-normal-5.1/testsuite/exhaustive.h Examining data/regina-normal-5.1/testsuite/generic/facenumbering.cpp Examining data/regina-normal-5.1/testsuite/generic/generictriangulation.cpp Examining data/regina-normal-5.1/testsuite/generic/testgeneric.h Examining data/regina-normal-5.1/testsuite/generic/triangulationtest.h Examining data/regina-normal-5.1/testsuite/maths/integer.cpp Examining data/regina-normal-5.1/testsuite/maths/matrixops.cpp Examining data/regina-normal-5.1/testsuite/maths/numbertheory.cpp Examining data/regina-normal-5.1/testsuite/maths/perm.cpp Examining data/regina-normal-5.1/testsuite/maths/perm2.cpp Examining data/regina-normal-5.1/testsuite/maths/perm3.cpp Examining data/regina-normal-5.1/testsuite/maths/perm4.cpp Examining data/regina-normal-5.1/testsuite/maths/perm5.cpp Examining data/regina-normal-5.1/testsuite/maths/permconv.cpp Examining data/regina-normal-5.1/testsuite/maths/primes.cpp Examining data/regina-normal-5.1/testsuite/maths/rational.cpp Examining data/regina-normal-5.1/testsuite/maths/testmaths.h Examining data/regina-normal-5.1/testsuite/runalltests.cpp Examining data/regina-normal-5.1/testsuite/snappea/snappeatriangulation.cpp Examining data/regina-normal-5.1/testsuite/snappea/testsnappea.h Examining data/regina-normal-5.1/testsuite/subcomplex/standardtriangulation.cpp Examining data/regina-normal-5.1/testsuite/subcomplex/testsubcomplex.h Examining data/regina-normal-5.1/testsuite/surfaces/incompressible.cpp Examining data/regina-normal-5.1/testsuite/surfaces/normalsurfaces.cpp Examining data/regina-normal-5.1/testsuite/surfaces/testsurfaces.h Examining data/regina-normal-5.1/testsuite/testsuite.cpp Examining data/regina-normal-5.1/testsuite/testsuite.h Examining data/regina-normal-5.1/testsuite/utilities/base64.cpp Examining data/regina-normal-5.1/testsuite/utilities/bitmask.cpp Examining data/regina-normal-5.1/testsuite/utilities/testutilities.h Examining data/regina-normal-5.1/timing/loadlarge.cpp Examining data/regina-normal-5.1/timing/tree.cc Examining data/regina-normal-5.1/utils/censuslookup.cpp Examining data/regina-normal-5.1/utils/mpi/tricensus-mpi.cpp Examining data/regina-normal-5.1/utils/regconcat.cpp Examining data/regina-normal-5.1/utils/regconvert.cpp Examining data/regina-normal-5.1/utils/regfiledump.cpp Examining data/regina-normal-5.1/utils/regfiletype.cpp Examining data/regina-normal-5.1/utils/sigcensus.cpp Examining data/regina-normal-5.1/utils/tricensus.cpp Examining data/regina-normal-5.1/utils/trisetcmp.cpp FINAL RESULTS: data/regina-normal-5.1/engine/libnormaliz/offload_handler.cpp:469:12: [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). std::strcpy (c_str, str_ptr->c_str()); data/regina-normal-5.1/engine/libnormaliz/offload_handler.cpp:499:12: [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). std::strcpy (c_str, str_ptr->c_str()); data/regina-normal-5.1/engine/manifold/snappeacensusmfd.cpp:129:13: [4] (buffer) fscanf: The scanf() family's %s operation, without a limit specification, permits buffer overflows (CWE-120, CWE-20). Specify a limit to %s, or use a different input function. if (fscanf(dat, "%s%s", tri, hom) != 2) { data/regina-normal-5.1/engine/manifold/snappeacensusmfd.cpp:170:13: [4] (buffer) fscanf: The scanf() family's %s operation, without a limit specification, permits buffer overflows (CWE-120, CWE-20). Specify a limit to %s, or use a different input function. if (fscanf(dat, "%s%s", tri, hom) != 2) { data/regina-normal-5.1/engine/snappea/kernel/interface.c:101:5: [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(manifold->name, new_name); data/regina-normal-5.1/engine/snappea/kernel/my_malloc.c:209:9: [4] (buffer) sprintf: Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or vsnprintf. sprintf(the_message, "Memory allocation error:\rThere were %d %s calls to my_malloc() than to my_free().", data/regina-normal-5.1/engine/snappea/kernel/subdivide.c:205:5: [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(new_triangulation->name, new_name); data/regina-normal-5.1/engine/snappea/kernel/triangulations.c:103:5: [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(manifold->name, data->name); data/regina-normal-5.1/engine/snappea/kernel/triangulations.c:398: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(data->name, manifold->name); data/regina-normal-5.1/engine/snappea/kernel/triangulations.c:623:5: [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(destination->name, source->name); data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c:247:5: [4] (buffer) sscanf: The scanf() family's %s operation, without a limit specification, permits buffer overflows (CWE-120, CWE-20). Specify a limit to %s, or use a different input function. sscanf(HeadBuffer, "%s", theScratchString); data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c:279:5: [4] (buffer) sscanf: The scanf() family's %s operation, without a limit specification, permits buffer overflows (CWE-120, CWE-20). Specify a limit to %s, or use a different input function. sscanf(HeadBuffer, "%s", theScratchString); data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c:293:5: [4] (buffer) sscanf: The scanf() family's %s operation, without a limit specification, permits buffer overflows (CWE-120, CWE-20). Specify a limit to %s, or use a different input function. sscanf(HeadBuffer, "%s", theScratchString); data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c:325:13: [4] (buffer) sscanf: The scanf() family's %s operation, without a limit specification, permits buffer overflows (CWE-120, CWE-20). Specify a limit to %s, or use a different input function. if (sscanf(HeadBuffer, "%s%lf%lf", data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c:618:14: [4] (buffer) sprintf: Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or vsnprintf. p += sprintf(p, "%s\n", data->name); data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c:681:14: [4] (buffer) sprintf: Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or vsnprintf. p += sprintf(p, " %s %16.12f %16.12f\n", data/regina-normal-5.1/engine/utilities/xmlutils.cpp:127:5: [4] (format) vsprintf: Potential format string problem (CWE-134). Make format string constant. vsprintf(buff, fmt, arg); data/regina-normal-5.1/engine/utilities/xmlutils.cpp:136:5: [4] (format) vsprintf: Potential format string problem (CWE-134). Make format string constant. vsprintf(buff, fmt, arg); data/regina-normal-5.1/engine/utilities/xmlutils.cpp:145:5: [4] (format) vsprintf: Potential format string problem (CWE-134). Make format string constant. vsprintf(buff, fmt, arg); data/regina-normal-5.1/qtui/src/python/pythoninterpreter.cpp:193:5: [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(cmdBuffer, fullCommand.c_str()); data/regina-normal-5.1/engine/libnormaliz/matrix.cpp:296:23: [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. void Matrix<Integer>::random (int mod) { data/regina-normal-5.1/engine/libnormaliz/matrix.h:186:10: [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. void random(int mod=3); data/regina-normal-5.1/engine/triangulation/detail/isomorphism.h:322:34: [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. static Isomorphism<dim>* random(unsigned nSimplices); data/regina-normal-5.1/engine/triangulation/detail/isomorphism.h:474:41: [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. Isomorphism<dim>* IsomorphismBase<dim>::random(unsigned nSimplices) { data/regina-normal-5.1/engine/utilities/i18nutils.h:276:9: [3] (random) setstate: 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. setstate(std::ios::failbit); data/regina-normal-5.1/python/dim2/isomorphism2.cpp:63:41: [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. .def("random", &Isomorphism<2>::random, data/regina-normal-5.1/python/dim3/isomorphism3.cpp:62:41: [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. .def("random", &Isomorphism<3>::random, data/regina-normal-5.1/python/dim4/isomorphism4.cpp:61:41: [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. .def("random", &Isomorphism<4>::random, data/regina-normal-5.1/python/generic/isomorphism-bindings.h:66:43: [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. .def("random", &Isomorphism<dim>::random, data/regina-normal-5.1/qtui/src/python/pythoninterpreter.cpp:109:31: [3] (buffer) getenv: Environment variables are untrustable input if they can be set by an attacker. They can have any content and length, and the same variable can be set more than once (CWE-807, CWE-20). Check environment variables carefully before using them. const char* oldPath = getenv("PYTHONPATH"); data/regina-normal-5.1/testsuite/dim3/triangulation3.cpp:3827: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. Isomorphism<3>* iso = Isomorphism<3>::random(t->size()); data/regina-normal-5.1/testsuite/dim4/triangulation4.cpp:1628:59: [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. Isomorphism<4>* iso = Isomorphism<4>::random( data/regina-normal-5.1/testsuite/generic/triangulationtest.h:447:59: [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. Isomorphism<dim>* iso = Isomorphism<dim>::random(tri->size()); data/regina-normal-5.1/testsuite/generic/triangulationtest.h:469:59: [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. Isomorphism<dim>* iso = Isomorphism<dim>::random(tri->size()); data/regina-normal-5.1/testsuite/generic/triangulationtest.h:566:59: [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. Isomorphism<dim>* iso = Isomorphism<dim>::random(tri->size()); data/regina-normal-5.1/testsuite/generic/triangulationtest.h:582:59: [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. Isomorphism<dim>* iso = Isomorphism<dim>::random(tri->size()); data/regina-normal-5.1/testsuite/testsuite.cpp:63:17: [3] (buffer) getenv: Environment variables are untrustable input if they can be set by an attacker. They can have any content and length, and the same variable can be set more than once (CWE-807, CWE-20). Check environment variables carefully before using them. char* env = getenv("REGINA_DETAILED_TESTS"); data/regina-normal-5.1/engine/census/compact.cpp:593:5: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. char vTwist[2], wTwist[2]; data/regina-normal-5.1/engine/census/euler.cpp:607:5: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. char vTwist[2], wTwist[2]; data/regina-normal-5.1/engine/census/gluingpermsearcher3.h:780:13: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. char bdryTwist[2]; data/regina-normal-5.1/engine/census/gluingpermsearcher3.h:806:13: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. char bdryTwistOld[2]; data/regina-normal-5.1/engine/census/gluingpermsearcher3.h:1373:26: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. int next[2], char twist[2]); data/regina-normal-5.1/engine/census/gluingpermsearcher3.h:1584:13: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. char bdryTwist[2]; data/regina-normal-5.1/engine/census/gluingpermsearcher3.h:1610:13: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. char bdryTwistOld[2]; data/regina-normal-5.1/engine/census/gluingpermsearcher3.h:2158:26: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. int next[2], char twist[2]); data/regina-normal-5.1/engine/census/gluingpermsearcher3.h:2296:22: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. static const char coneNoTwist[12]; data/regina-normal-5.1/engine/census/gluingpermsearcher3.h:2752:57: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. int tet, int vertex, int bdryFace, int next[2], char twist[2]) { data/regina-normal-5.1/engine/census/gluingpermsearcher3.h:2891:57: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. int tet, int vertex, int bdryFace, int next[2], char twist[2]) { data/regina-normal-5.1/engine/census/gluingpermsearcher4.cpp:857:5: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. char eTwistTriangle[2], fTwistTriangle[2]; data/regina-normal-5.1/engine/census/gluingpermsearcher4.cpp:1397:37: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. int bdryFacet, int next[2], char twist[2]) { data/regina-normal-5.1/engine/census/gluingpermsearcher4.h:235:13: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. char bdryTwist[2]; data/regina-normal-5.1/engine/census/gluingpermsearcher4.h:261:13: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. char bdryTwistOld[2]; data/regina-normal-5.1/engine/census/gluingpermsearcher4.h:1045:26: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. int next[2], char twist[2]); data/regina-normal-5.1/engine/enumerate/treelp-impl.h:470:5: [2] (buffer) memcpy: Does not check for buffer overflows when copying to destination (CWE-120). Make sure destination can always hold the source data. memcpy(basis_, parent.basis_, parent.rank_ * sizeof(int)); data/regina-normal-5.1/engine/enumerate/treelp-impl.h:471:5: [2] (buffer) memcpy: Does not check for buffer overflows when copying to destination (CWE-120). Make sure destination can always hold the source data. memcpy(basisRow_, parent.basisRow_, origTableaux_->columns() * sizeof(int)); data/regina-normal-5.1/engine/file/fileinfo.cpp:58:19: [2] (misc) fopen: Check when opening files - can an attacker redirect it (via symlinks), force the opening of special file type (e.g., device files), move things around to create a race condition, control its ancestors, or change its contents? (CWE-362). FILE* f = fopen(file, "rb"); data/regina-normal-5.1/engine/foreign/orb.cpp:229:42: [2] (integer) atoi: Unless checked, the resulting number can exceed the expected range (CWE-190). If source untrusted, check both minimum and maximum, even if the input had no minus sign (large numbers can roll over into negative number; consider saving to an unsigned value if that is intended). tei->tet_index = atoi(section.c_str()) - 1; data/regina-normal-5.1/engine/libnormaliz/bottom.cpp:438:5: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. char name[SCIP_MAXSTRLEN]; data/regina-normal-5.1/engine/manifold/snappeacensusmfd.cpp:121:17: [2] (misc) fopen: Check when opening files - can an attacker redirect it (via symlinks), force the opening of special file type (e.g., device files), move things around to create a race condition, control its ancestors, or change its contents? (CWE-362). FILE* dat = fopen(file.c_str(), "r"); data/regina-normal-5.1/engine/manifold/snappeacensusmfd.cpp:126:5: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. char tri[30], hom[30]; /* Long enough to deal with the snappea census data/regina-normal-5.1/engine/manifold/snappeacensusmfd.cpp:162:17: [2] (misc) fopen: Check when opening files - can an attacker redirect it (via symlinks), force the opening of special file type (e.g., device files), move things around to create a race condition, control its ancestors, or change its contents? (CWE-362). FILE* dat = fopen(file.c_str(), "r"); data/regina-normal-5.1/engine/manifold/snappeacensusmfd.cpp:167:5: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. char tri[30], hom[30]; /* Long enough to deal with the snappea census data/regina-normal-5.1/engine/maths/perm.h:774:5: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. char ans[n + 1]; data/regina-normal-5.1/engine/maths/perm.h:784:5: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. char ans[n + 1]; data/regina-normal-5.1/engine/maths/spec/perm3.cpp:107:5: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. char ans[4]; data/regina-normal-5.1/engine/maths/spec/perm3.cpp:116:5: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. char ans[4]; data/regina-normal-5.1/engine/maths/spec/perm3.cpp:124:5: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. char ans[3]; data/regina-normal-5.1/engine/maths/spec/perm4.cpp:172:5: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. char ans[5]; data/regina-normal-5.1/engine/maths/spec/perm4.cpp:181:5: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. char ans[5]; data/regina-normal-5.1/engine/maths/spec/perm4.cpp:189:5: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. char ans[3]; data/regina-normal-5.1/engine/maths/spec/perm4.cpp:197:5: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. char ans[4]; data/regina-normal-5.1/engine/maths/spec/perm5.cpp:236:5: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. char ans[6]; data/regina-normal-5.1/engine/maths/spec/perm5.cpp:245:5: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. char ans[6]; data/regina-normal-5.1/engine/maths/spec/perm5.cpp:253:5: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. char ans[3]; data/regina-normal-5.1/engine/maths/spec/perm5.cpp:261:5: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. char ans[4]; data/regina-normal-5.1/engine/maths/spec/perm5.cpp:270:5: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. char ans[5]; data/regina-normal-5.1/engine/packet/open.cpp:120:9: [2] (misc) open: Check when opening files - can an attacker redirect it (via symlinks), force the opening of special file type (e.g., device files), move things around to create a race condition, control its ancestors, or change its contents? (CWE-362). Packet* open(const char* filename) { data/regina-normal-5.1/engine/packet/open.cpp:124:20: [2] (misc) open: Check when opening files - can an attacker redirect it (via symlinks), force the opening of special file type (e.g., device files), move things around to create a race condition, control its ancestors, or change its contents? (CWE-362). return regina::open(file); data/regina-normal-5.1/engine/packet/open.cpp:127:9: [2] (misc) open: Check when opening files - can an attacker redirect it (via symlinks), force the opening of special file type (e.g., device files), move things around to create a race condition, control its ancestors, or change its contents? (CWE-362). Packet* open(std::istream& s) { data/regina-normal-5.1/engine/packet/packet.cpp:759:5: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. char ptrAsBytes[sizeof(Packet*)]; data/regina-normal-5.1/engine/packet/packet.h:1383:20: [2] (misc) open: Check when opening files - can an attacker redirect it (via symlinks), force the opening of special file type (e.g., device files), move things around to create a race condition, control its ancestors, or change its contents? (CWE-362). REGINA_API Packet* open(const char* filename); data/regina-normal-5.1/engine/packet/packet.h:1403:20: [2] (misc) open: Check when opening files - can an attacker redirect it (via symlinks), force the opening of special file type (e.g., device files), move things around to create a race condition, control its ancestors, or change its contents? (CWE-362). REGINA_API Packet* open(std::istream& in); data/regina-normal-5.1/engine/packet/pdf.cpp:47:16: [2] (misc) fopen: Check when opening files - can an attacker redirect it (via symlinks), force the opening of special file type (e.g., device files), move things around to create a race condition, control its ancestors, or change its contents? (CWE-362). FILE* in = fopen(filename, "rb"); data/regina-normal-5.1/engine/packet/pdf.cpp:120:15: [2] (buffer) memcpy: Does not check for buffer overflows when copying to destination (CWE-120). Make sure destination can always hold the source data. ::memcpy(data_, static_cast<const char*>(data), size_); data/regina-normal-5.1/engine/packet/pdf.cpp:138:17: [2] (misc) fopen: Check when opening files - can an attacker redirect it (via symlinks), force the opening of special file type (e.g., device files), move things around to create a race condition, control its ancestors, or change its contents? (CWE-362). FILE* out = fopen(filename, "wb"); data/regina-normal-5.1/engine/packet/pdf.h:282:15: [2] (buffer) memcpy: Does not check for buffer overflows when copying to destination (CWE-120). Make sure destination can always hold the source data. ::memcpy(data_, static_cast<const char*>(data), size_); data/regina-normal-5.1/engine/snappea/kernel/my_malloc.c:76:14: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. static const char secret_code[5] = "Adam"; data/regina-normal-5.1/engine/snappea/kernel/my_malloc.c:205:5: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. char the_message[256]; data/regina-normal-5.1/engine/snappea/kernel/tables.c:173:14: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. const signed char parity[256] = { data/regina-normal-5.1/engine/snappea/kernel/tables.c:213:14: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. const signed char index_by_permutation[256] = { data/regina-normal-5.1/engine/snappea/kernel/tables.h:27:21: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. extern const signed char parity[256]; data/regina-normal-5.1/engine/snappea/kernel/tables.h:30:21: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. extern const signed char index_by_permutation[256]; data/regina-normal-5.1/engine/snappea/kernel/tersest_triangulation.h:89:18: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. typedef unsigned char TersestTriangulation[18]; data/regina-normal-5.1/engine/snappea/kernel/triangulations.c:338:5: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. char scratch[256]; data/regina-normal-5.1/engine/snappea/kernel/triangulations.c:354:17: [2] (buffer) sprintf: Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or vsnprintf. Risk is low because the source has a constant maximum length. sprintf(scratch, "inconsistent neighbor data, tet %d face %d to tet %d face %d", data/regina-normal-5.1/engine/snappea/kernel/triangulations.c:362:17: [2] (buffer) sprintf: Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or vsnprintf. Risk is low because the source has a constant maximum length. sprintf(scratch, "inconsistent gluing data, tet %d face %d to tet %d face %d", data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c:121:14: [2] (misc) fopen: Check when opening files - can an attacker redirect it (via symlinks), force the opening of special file type (e.g., device files), move things around to create a race condition, control its ancestors, or change its contents? (CWE-362). fp = fopen(file_name, "rb"); data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c:190:5: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. char theScratchString[SBSIZE]; data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c:191:5: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. char HeadBuffer[SBSIZE]; data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c:443:14: [2] (misc) fopen: Check when opening files - can an attacker redirect it (via symlinks), force the opening of special file type (e.g., device files), move things around to create a race condition, control its ancestors, or change its contents? (CWE-362). fp = fopen(file_name, "w"); data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c:615:10: [2] (buffer) sprintf: Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or vsnprintf. Risk is low because the source has a constant maximum length. p += sprintf(p, "%% Triangulation\n"); data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c:620:14: [2] (buffer) sprintf: Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or vsnprintf. Risk is low because the source has a constant maximum length. p += sprintf(p, "untitled\n"); data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c:625:18: [2] (buffer) sprintf: Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or vsnprintf. Risk is low because the source has a constant maximum length. p += sprintf(p, "not_attempted"); data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c:629:18: [2] (buffer) sprintf: Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or vsnprintf. Risk is low because the source has a constant maximum length. p += sprintf(p, "geometric_solution"); data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c:633:18: [2] (buffer) sprintf: Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or vsnprintf. Risk is low because the source has a constant maximum length. p += sprintf(p, "nongeometric_solution"); data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c:637:18: [2] (buffer) sprintf: Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or vsnprintf. Risk is low because the source has a constant maximum length. p += sprintf(p, "flat_solution"); data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c:641:18: [2] (buffer) sprintf: Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or vsnprintf. Risk is low because the source has a constant maximum length. p += sprintf(p, "degenerate_solution"); data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c:645:18: [2] (buffer) sprintf: Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or vsnprintf. Risk is low because the source has a constant maximum length. p += sprintf(p, "other_solution"); data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c:649:18: [2] (buffer) sprintf: Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or vsnprintf. Risk is low because the source has a constant maximum length. p += sprintf(p, "no_solution"); data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c:653:18: [2] (buffer) sprintf: Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or vsnprintf. Risk is low because the source has a constant maximum length. p += sprintf(p, "externally_computed"); data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c:659:14: [2] (buffer) sprintf: Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or vsnprintf. Risk is low because the source has a constant maximum length. p += sprintf(p, " %.8f\n", (double)data->volume); data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c:661:14: [2] (buffer) sprintf: Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or vsnprintf. Risk is low because the source has a constant maximum length. p += sprintf(p, " %.1f\n", 0.0); data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c:666:18: [2] (buffer) sprintf: Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or vsnprintf. Risk is low because the source has a constant maximum length. p += sprintf(p, "oriented_manifold\n"); data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c:670:18: [2] (buffer) sprintf: Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or vsnprintf. Risk is low because the source has a constant maximum length. p += sprintf(p, "nonorientable_manifold\n"); data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c:675:14: [2] (buffer) sprintf: Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or vsnprintf. Risk is low because the source has a constant maximum length. p += sprintf(p, "CS_known %.16f\n", (double)data->CS_value); data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c:677:14: [2] (buffer) sprintf: Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or vsnprintf. Risk is low because the source has a constant maximum length. p += sprintf(p, "CS_unknown\n"); data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c:679:10: [2] (buffer) sprintf: Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or vsnprintf. Risk is low because the source has a constant maximum length. p += sprintf(p, "\n%d %d\n", data->num_or_cusps, data->num_nonor_cusps); data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c:687:10: [2] (buffer) sprintf: Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or vsnprintf. Risk is low because the source has a constant maximum length. p += sprintf(p, "%d\n", data->num_tetrahedra); data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c:691:18: [2] (buffer) sprintf: Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or vsnprintf. Risk is low because the source has a constant maximum length. p += sprintf(p, "%4d ", data->tetrahedron_data[i].neighbor_index[j]); data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c:698:22: [2] (buffer) sprintf: Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or vsnprintf. Risk is low because the source has a constant maximum length. p += sprintf(p, "%d", data->tetrahedron_data[i].gluing[j][k]); data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c:703:18: [2] (buffer) sprintf: Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or vsnprintf. Risk is low because the source has a constant maximum length. p += sprintf(p, "%4d ", data->tetrahedron_data[i].cusp_index[j]); data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c:711:30: [2] (buffer) sprintf: Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or vsnprintf. Risk is low because the source has a constant maximum length. p += sprintf(p, " %2d", data->tetrahedron_data[i].curve[j][k][v][f]); data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c:716:18: [2] (buffer) sprintf: Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or vsnprintf. Risk is low because the source has a constant maximum length. p += sprintf(p, "%16.12f %16.12f\n\n", data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c:720:18: [2] (buffer) sprintf: Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or vsnprintf. Risk is low because the source has a constant maximum length. p += sprintf(p, "%3.1f %3.1f\n\n", 0.0, 0.0); data/regina-normal-5.1/engine/surfaces/normalsurface.cpp:69:7: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. const char quadString[3][6] = { "01/23", "02/13", "03/12" }; data/regina-normal-5.1/engine/surfaces/normalsurface.h:132:25: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. REGINA_API extern const char quadString[3][6]; data/regina-normal-5.1/engine/triangulation/detail/isosig-impl.h:358:9: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. char c[2]; data/regina-normal-5.1/engine/triangulation/dim3/snappea.cpp:50:5: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. char name[1001]; data/regina-normal-5.1/engine/utilities/base64.cpp:268:14: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. unsigned char inc[3]; data/regina-normal-5.1/engine/utilities/base64.cpp:269:14: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. unsigned char outc[4]; data/regina-normal-5.1/engine/utilities/base64.cpp:316:14: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. unsigned char inc[4]; data/regina-normal-5.1/engine/utilities/base64.cpp:317:14: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. unsigned char outc[3]; data/regina-normal-5.1/engine/utilities/base64.cpp:347:31: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. outc[ 0 ] = (unsigned char ) (inc[0] << 2 | inc[1] >> 4); data/regina-normal-5.1/engine/utilities/base64.cpp:348:31: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. outc[ 1 ] = (unsigned char ) (inc[1] << 4 | inc[2] >> 2); data/regina-normal-5.1/engine/utilities/base64.cpp:349:31: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. outc[ 2 ] = (unsigned char ) (((inc[2] << 6) & 0xc0) | inc[3]); data/regina-normal-5.1/engine/utilities/i18nutils.cpp:69:39: [2] (misc) open: Check when opening files - can an attacker redirect it (via symlinks), force the opening of special file type (e.g., device files), move things around to create a race condition, control its ancestors, or change its contents? (CWE-362). IConvStreamBuffer* IConvStreamBuffer::open(std::ostream& dest, data/regina-normal-5.1/engine/utilities/i18nutils.h:112:9: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. char preBuffer[16]; data/regina-normal-5.1/engine/utilities/i18nutils.h:114:9: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. char postBuffer[64]; data/regina-normal-5.1/engine/utilities/i18nutils.h:162:28: [2] (misc) open: Check when opening files - can an attacker redirect it (via symlinks), force the opening of special file type (e.g., device files), move things around to create a race condition, control its ancestors, or change its contents? (CWE-362). IConvStreamBuffer* open(std::ostream& dest, data/regina-normal-5.1/engine/utilities/i18nutils.h:275:13: [2] (misc) open: Check when opening files - can an attacker redirect it (via symlinks), force the opening of special file type (e.g., device files), move things around to create a race condition, control its ancestors, or change its contents? (CWE-362). if (buf.open(dest, srcCode, destCode) == 0) data/regina-normal-5.1/engine/utilities/osutils.cpp:42:18: [2] (misc) fopen: Check when opening files - can an attacker redirect it (via symlinks), force the opening of special file type (e.g., device files), move things around to create a race condition, control its ancestors, or change its contents? (CWE-362). FILE* stat = fopen("/proc/self/stat", "r"); data/regina-normal-5.1/engine/utilities/osutils.cpp:51:5: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. char stmp[256]; data/regina-normal-5.1/engine/utilities/xmlutils.cpp:125:5: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. char buff[ERROR_BUFF_SIZE]; data/regina-normal-5.1/engine/utilities/xmlutils.cpp:134:5: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. char buff[ERROR_BUFF_SIZE]; data/regina-normal-5.1/engine/utilities/xmlutils.cpp:143:5: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. char buff[ERROR_BUFF_SIZE]; data/regina-normal-5.1/python/maths/perm.cpp:48:13: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. char err[80]; data/regina-normal-5.1/python/packet/packet.cpp:52:54: [2] (misc) open: Check when opening files - can an attacker redirect it (via symlinks), force the opening of special file type (e.g., device files), move things around to create a race condition, control its ancestors, or change its contents? (CWE-362). Packet* (*open_filename)(const char*) = ®ina::open; data/regina-normal-5.1/qtui/src/foreign/pythonhandler.cpp:59:13: [2] (misc) open: Check when opening files - can an attacker redirect it (via symlinks), force the opening of special file type (e.g., device files), move things around to create a race condition, control its ancestors, or change its contents? (CWE-362). if (! f.open(QIODevice::ReadOnly)) { data/regina-normal-5.1/qtui/src/foreign/pythonhandler.cpp:138:13: [2] (misc) open: Check when opening files - can an attacker redirect it (via symlinks), force the opening of special file type (e.g., device files), move things around to create a race condition, control its ancestors, or change its contents? (CWE-362). if (! f.open(QIODevice::WriteOnly)) { data/regina-normal-5.1/qtui/src/foreign/reginahandler.cpp:44:35: [2] (misc) open: Check when opening files - can an attacker redirect it (via symlinks), force the opening of special file type (e.g., device files), move things around to create a race condition, control its ancestors, or change its contents? (CWE-362). regina::Packet* ans = regina::open( data/regina-normal-5.1/qtui/src/foreign/sourcehandler.cpp:57:13: [2] (misc) open: Check when opening files - can an attacker redirect it (via symlinks), force the opening of special file type (e.g., device files), move things around to create a race condition, control its ancestors, or change its contents? (CWE-362). if (! f.open(QIODevice::WriteOnly)) { data/regina-normal-5.1/qtui/src/packets/gaprunner.cpp:435:5: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. char lineData[MAX_GAP_READ_LINE + 1]; // +1 to allow for \n data/regina-normal-5.1/qtui/src/python/pythonconsole.cpp:421:17: [2] (misc) open: Check when opening files - can an attacker redirect it (via symlinks), force the opening of special file type (e.g., device files), move things around to create a race condition, control its ancestors, or change its contents? (CWE-362). if (! f.open(QIODevice::WriteOnly)) data/regina-normal-5.1/qtui/src/reginamain.cpp:313:42: [2] (misc) open: Check when opening files - can an attacker redirect it (via symlinks), force the opening of special file type (e.g., device files), move things around to create a race condition, control its ancestors, or change its contents? (CWE-362). regina::Packet* packetTree = regina::open( data/regina-normal-5.1/qtui/src/reginamain.cpp:358:42: [2] (misc) open: Check when opening files - can an attacker redirect it (via symlinks), force the opening of special file type (e.g., device files), move things around to create a race condition, control its ancestors, or change its contents? (CWE-362). regina::Packet* packetTree = regina::open( data/regina-normal-5.1/qtui/src/sharedtempfile.cpp:42:15: [2] (misc) open: Check when opening files - can an attacker redirect it (via symlinks), force the opening of special file type (e.g., device files), move things around to create a race condition, control its ancestors, or change its contents? (CWE-362). if (tmp_->open()) { data/regina-normal-5.1/testsuite/maths/perm.cpp:65:9: [2] (buffer) char: Statically-sized arrays can be improperly restricted, leading to potential overflows or other issues (CWE-119!/CWE-120). Perform bounds checking, use functions that limit length, or ensure that the size is larger than the maximum possible length. char idStr[n + 1]; data/regina-normal-5.1/timing/loadlarge.cpp:63:36: [2] (misc) open: Check when opening files - can an attacker redirect it (via symlinks), force the opening of special file type (e.g., device files), move things around to create a race condition, control its ancestors, or change its contents? (CWE-362). regina::Packet* tree = regina::open(file); data/regina-normal-5.1/utils/mpi/tricensus-mpi.cpp:588:12: [2] (misc) open: Check when opening files - can an attacker redirect it (via symlinks), force the opening of special file type (e.g., device files), move things around to create a race condition, control its ancestors, or change its contents? (CWE-362). logger.open(logFile.c_str()); data/regina-normal-5.1/utils/mpi/tricensus-mpi.cpp:697:31: [2] (misc) open: Check when opening files - can an attacker redirect it (via symlinks), force the opening of special file type (e.g., device files), move things around to create a race condition, control its ancestors, or change its contents? (CWE-362). sigStream.open(sigFile.c_str()); data/regina-normal-5.1/utils/regconcat.cpp:93:24: [2] (misc) open: Check when opening files - can an attacker redirect it (via symlinks), force the opening of special file type (e.g., device files), move things around to create a race condition, control its ancestors, or change its contents? (CWE-362). data = regina::open(it->c_str()); data/regina-normal-5.1/utils/regconvert.cpp:101:36: [2] (misc) open: Check when opening files - can an attacker redirect it (via symlinks), force the opening of special file type (e.g., device files), move things around to create a race condition, control its ancestors, or change its contents? (CWE-362). regina::Packet* tree = regina::open(oldFile.c_str()); data/regina-normal-5.1/utils/regfiledump.cpp:169:28: [2] (misc) open: Check when opening files - can an attacker redirect it (via symlinks), force the opening of special file type (e.g., device files), move things around to create a race condition, control its ancestors, or change its contents? (CWE-362). Packet* tree = regina::open(file.c_str()); data/regina-normal-5.1/utils/tricensus.cpp:578:19: [2] (misc) open: Check when opening files - can an attacker redirect it (via symlinks), force the opening of special file type (e.g., device files), move things around to create a race condition, control its ancestors, or change its contents? (CWE-362). sigStream.open(outFile.c_str()); data/regina-normal-5.1/utils/trisetcmp.cpp:208:29: [2] (misc) open: Check when opening files - can an attacker redirect it (via symlinks), force the opening of special file type (e.g., device files), move things around to create a race condition, control its ancestors, or change its contents? (CWE-362). Packet* tree1 = regina::open(file1.c_str()); data/regina-normal-5.1/utils/trisetcmp.cpp:216:29: [2] (misc) open: Check when opening files - can an attacker redirect it (via symlinks), force the opening of special file type (e.g., device files), move things around to create a race condition, control its ancestors, or change its contents? (CWE-362). Packet* tree2 = regina::open(file2.c_str()); data/regina-normal-5.1/cmake/modules/c++11-tests/c++11-test-__func__-N2340.cpp:6:10: [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). if(std::strlen(__func__) <= 0) { return 1; } data/regina-normal-5.1/engine/file/fileinfo.cpp:63:22: [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 len = strlen(prefix); data/regina-normal-5.1/engine/libnormaliz/full_cone.cpp:1245:24: [1] (buffer) read: Check buffer boundaries if used in a loop including recursive loops (CWE-120, CWE-20). NewFacet.Hyp=H.read(i); data/regina-normal-5.1/engine/libnormaliz/matrix.cpp:247:23: [1] (buffer) read: Check buffer boundaries if used in a loop including recursive loops (CWE-120, CWE-20). void Matrix<Integer>::read() const{ //to overload for files data/regina-normal-5.1/engine/libnormaliz/matrix.cpp:260:34: [1] (buffer) read: Check buffer boundaries if used in a loop including recursive loops (CWE-120, CWE-20). vector<Integer> Matrix<Integer>::read(size_t row) const{ data/regina-normal-5.1/engine/libnormaliz/matrix.cpp:270:26: [1] (buffer) read: Check buffer boundaries if used in a loop including recursive loops (CWE-120, CWE-20). Integer Matrix<Integer>::read (size_t row, size_t col) const{ data/regina-normal-5.1/engine/libnormaliz/matrix.cpp:647:23: [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. bool Matrix<Integer>::equal(const Matrix<Integer>& A) const{ data/regina-normal-5.1/engine/libnormaliz/matrix.cpp:663:23: [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. bool Matrix<Integer>::equal(const Matrix<Integer>& A, long m) const{ data/regina-normal-5.1/engine/libnormaliz/matrix.h:180:10: [1] (buffer) read: Check buffer boundaries if used in a loop including recursive loops (CWE-120, CWE-20). void read() const; // to be modified, just for tests data/regina-normal-5.1/engine/libnormaliz/matrix.h:181:21: [1] (buffer) read: Check buffer boundaries if used in a loop including recursive loops (CWE-120, CWE-20). vector<Integer> read(size_t row) const; // read a row data/regina-normal-5.1/engine/libnormaliz/matrix.h:182:13: [1] (buffer) read: Check buffer boundaries if used in a loop including recursive loops (CWE-120, CWE-20). Integer read (size_t row, size_t col) const; // read data at (row,col) data/regina-normal-5.1/engine/libnormaliz/matrix.h:255:10: [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. bool equal(const Matrix& A) const; // returns this==A data/regina-normal-5.1/engine/libnormaliz/matrix.h:256:10: [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. bool equal(const Matrix& A, long m) const; // returns this==A (mod m) data/regina-normal-5.1/engine/maths/vector.h:202:25: [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 std::equal(elements, end, compare.elements); data/regina-normal-5.1/engine/snappea/kernel/interface.c:95:32: [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). manifold->name = NEW_ARRAY(strlen(new_name) + 1, char); data/regina-normal-5.1/engine/snappea/kernel/subdivide.c:204:41: [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). new_triangulation->name = NEW_ARRAY(strlen(new_name) + 1, char); data/regina-normal-5.1/engine/snappea/kernel/triangulations.c:102:32: [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). manifold->name = NEW_ARRAY(strlen(data->name) + 1, char); data/regina-normal-5.1/engine/snappea/kernel/triangulations.c:397:32: [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). data->name = NEW_ARRAY(strlen(manifold->name) + 1, char); data/regina-normal-5.1/engine/snappea/kernel/triangulations.c:622:35: [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). destination->name = NEW_ARRAY(strlen(source->name) + 1, char); data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c:119:9: [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). if (strlen(file_name) > 0) data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c:129:25: [1] (buffer) getc: Check buffer boundaries if used in a loop including recursive loops (CWE-120, CWE-20). theNewFormat = (getc(fp) == '%'); data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c:441:9: [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). if (strlen(file_name) > 0) data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c:685:10: [1] (buffer) sprintf: Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or vsnprintf. Risk is low because the source is a constant character. p += sprintf(p, "\n"); data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c:692:14: [1] (buffer) sprintf: Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or vsnprintf. Risk is low because the source is a constant character. p += sprintf(p, "\n"); data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c:696:18: [1] (buffer) sprintf: Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or vsnprintf. Risk is low because the source is a constant character. p += sprintf(p, " "); data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c:700:14: [1] (buffer) sprintf: Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or vsnprintf. Risk is low because the source is a constant character. p += sprintf(p, "\n"); data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c:704:14: [1] (buffer) sprintf: Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or vsnprintf. Risk is low because the source is a constant character. p += sprintf(p, "\n"); data/regina-normal-5.1/engine/snappea/kernel/unix_file_io.c:712:22: [1] (buffer) sprintf: Does not check for buffer overflows (CWE-120). Use sprintf_s, snprintf, or vsnprintf. Risk is low because the source is a constant character. p += sprintf(p, "\n"); data/regina-normal-5.1/engine/triangulation/detail/canonical-impl.h:533:20: [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. if (! std::equal(list1, list1 + len, list2)) { data/regina-normal-5.1/engine/triangulation/dim3/snappea.cpp:64:16: [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). if ((len = strlen(name)) > 0 && name[len - 1] == '\r') data/regina-normal-5.1/engine/triangulation/dim3/turaevviro.cpp:1178:37: [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. compare.equal(*subrange.first, *subrange.second)) data/regina-normal-5.1/engine/triangulation/dim3/turaevviro.cpp:1193:37: [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. compare.equal(*subrange2.first, *subrange2.second)) data/regina-normal-5.1/engine/triangulation/facetpairing3.cpp:45:14: [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. unsigned equal, i, j; data/regina-normal-5.1/engine/triangulation/facetpairing3.cpp:61:13: [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. if (equal >= 3) data/regina-normal-5.1/engine/triangulation/generic/triangulation.h:568:21: [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. bool ans = std::equal(deg1, deg1 + n, deg2); data/regina-normal-5.1/engine/utilities/bitmask.h:1522:17: [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 std::equal(mask, mask + pieces, other.mask); data/regina-normal-5.1/engine/utilities/osutils.cpp:55:9: [1] (buffer) fscanf: It's unclear if the %s limit in the format string is small enough (CWE-120). Check that the limit is sufficiently small, or use a different input function. if (fscanf(stat, "%d%255s%255s%d%d%d%d%d%lu%lu%lu%lu%lu" data/regina-normal-5.1/engine/utilities/sequence.h:320:22: [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. bool equal(Iterator a, Iterator b) const; data/regina-normal-5.1/engine/utilities/sequence.h:530: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. equal(Iterator a, Iterator b) const { data/regina-normal-5.1/qtui/src/main.cpp:111:20: [1] (buffer) read: Check buffer boundaries if used in a loop including recursive loops (CWE-120, CWE-20). ReginaPrefSet::read(); data/regina-normal-5.1/qtui/src/progressdialogs.cpp:86:18: [1] (obsolete) usleep: This C routine is considered obsolete (as opposed to the shell command by the same name). The interaction of this function with SIGALRM and other timer functions such as sleep(), alarm(), setitimer(), and nanosleep() is unspecified (CWE-676). Use nanosleep(2) or setitimer(2) instead. QThread::usleep(250); data/regina-normal-5.1/qtui/src/progressdialogs.cpp:128:18: [1] (obsolete) usleep: This C routine is considered obsolete (as opposed to the shell command by the same name). The interaction of this function with SIGALRM and other timer functions such as sleep(), alarm(), setitimer(), and nanosleep() is unspecified (CWE-676). Use nanosleep(2) or setitimer(2) instead. QThread::usleep(250); data/regina-normal-5.1/qtui/src/reginaprefset.h:221:21: [1] (buffer) read: Check buffer boundaries if used in a loop including recursive loops (CWE-120, CWE-20). static void read(); data/regina-normal-5.1/qtui/src/reginaprefset.h:332:28: [1] (buffer) read: Check buffer boundaries if used in a loop including recursive loops (CWE-120, CWE-20). inline void ReginaPrefSet::read() { data/regina-normal-5.1/testsuite/utilities/base64.cpp:63:17: [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). if (strlen(enc) != encLen) { data/regina-normal-5.1/testsuite/utilities/base64.cpp:124:50: [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). bool res = regina::base64Decode(enc, strlen(enc), &dec, &decLen); data/regina-normal-5.1/testsuite/utilities/base64.cpp:156:45: [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). res = regina::base64Decode(enc, strlen(enc), dec, &decLen); ANALYSIS SUMMARY: Hits = 213 Lines analyzed = 344551 in approximately 9.90 seconds (34809 lines/second) Physical Source Lines of Code (SLOC) = 162494 Hits@level = [0] 63 [1] 47 [2] 129 [3] 17 [4] 20 [5] 0 Hits@level+ = [0+] 276 [1+] 213 [2+] 166 [3+] 37 [4+] 20 [5+] 0 Hits/KSLOC@level+ = [0+] 1.69852 [1+] 1.31082 [2+] 1.02158 [3+] 0.227701 [4+] 0.123081 [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.