The Dolphins waived Judon on Wednesday, Mike Garafolo of NFL Network reports.
The 33-year-old appeared in 13 games with the Dolphins before being waived on Wednesday, recording 19 total tackles and one pass defensed. Judon has been a very productive pass rusher over the course of his 10-year NFL career, totaling 72.0 sacks. Now a free agent, he could be picked up by a team in need of edge-rusher depth in the near future.