The Pekin Formation is a Late Triassic (Carnian) geological formation in North Carolina. The Pekin Formation is specific to the Sanford Sub-Basin of the Deep River Basin of North Carolina, although it may be equivalent to the Stockton Formation of Pennsylvania, New Jersey, and New York. The Pekin Formation was deposited in a rift basin along the Atlantic margin of North America during the breakup of the supercontinent Pangaea during the Late Triassic. The most common rocks in the Pekin Formation are red to brown sandstones, representing a terrestrial fluvial (riverine) and floodplain environment in a hot, humid climate. It has yielded both abundant plant and animal fossils, including some of the oldest potential dinosaur footprints in the world and the large predatory crocodylomorph Carnufex carolinensis.

Carnufex is an extinct genus of crocodylomorph suchian from the Late Triassic of North America. The genus was first described in 2015 by Zanno et al., who named the binomial Carnufex carolinensis, meaning "Carolina butcher". Two specimens are known, the holotype skull and skeleton NCSM 21558, and the referred humerus NCSM 21623. The specimens are from the Carnian-age Pekin Formation, which dates to 231 million years ago. Based on the holotype, Carnufex would have been about 3 m (9.8 ft) long and 1.5 m (4.9 ft) tall, although it may have gotten larger due to the holotype not being fully grown.