I'd expect them to machinists files as per this that comes up when the term is googled
Warding files are machinist's files and are frequently used by locksmiths. They are named after the shaped openings in keyholes that act as a barrier to lock picking, as they are used to both deburr and repair them. They can also be used to file the notches in a key that allow it to fit into the warding.
I've bought them from tool shops often enough and would expect any particular shape of file, rather a set with circa 100mm blades plus handle that includes at least a flat blade with 1 or 2 safe edges, 1/2 round, round, 3 square, square. The actual file length including handle is likely to be around 150mm or more.
The last set I bought are described as miniature files
Including a warding file – just to add to the confusion – with one safe edge or maybe that's the tapered flat one with no safe edge. Bought because my previous set are a bit long in the tooth now.
**LINK**
John
–
Edited By John W1 on 29/10/2015 16:35:53