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*) = &regina::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.