How does saddlepoint approximation work? What sort of problem is it good for?
(Feel free to use a particular example or examples by way of illustration)

Are there any drawbacks, difficulties, things to watch out for, or traps for the unwary?

The saddlepoint approximation to a probability density function (it works likewise for mass functions, but I will only talk here in terms of densities)
is a surprisingly well working approximation, that can be seen as a refinement on the central limit theorem. So, it will only work in settings where there is a central limit theorem, but it needs stronger assumptions.
We start with the assumption that the moment generating function exists and is twice differentiable. This implies in particular that all moments exist. Let $X$ be a random variable with moment generating function (mgf)
$$ \DeclareMathOperator{\E}{\mathbb{E}}
   M(t) = \E  e^{t X}
$$
and cgf (cumulant generating function) $K(t)=\log M(t)$ (where $\log $ denotes the natural logarithm). In the development I will follow closely Ronald W Butler: "Saddlepoint Approximations with Applications" (CUP). We will develop the saddlepoint approximation using the Laplace approximation to a certain integral.  Write
$$
e^{K(t)} = \int_{-\infty}^\infty e^{t x} f(x) \; dx =\int_{-\infty}^\infty \exp(tx+\log f(x) ) \; dx \\
    = \int_{-\infty}^\infty \exp(-h(t,x)) \; dx
$$
where
$h(t,x) = -tx - \log f(x) $. Now we will Taylor expand $h(t,x)$ in $x$ considering $t$ as a constant. This gives
$$
  h(t,x)=h(t,x_0) + h'(t,x_0)(x-x_0) +\frac12 h''(t,x_0) (x-x_0)^2 +\dotsm 
$$
where $'$ denotes differentiation with respect to $x$. Note that
$$
h'(t,x)=-t-\frac{\partial}{\partial x}\log f(x) \\
h''(t,x)= -\frac{\partial^2}{\partial x^2} \log f(x) > 0
$$
(the last inequality by assumption as it is needed for the approximation to work). Let $x_t$ be the solution to $h'(t,x_t)=0$. We will assume that this gives a minimum for  $h(t,x)$ as a function of $x$.  Using this expansion in the integral and forgetting about the $\dotsm$ part, gives
$$
e^{K(t)} \approx \int_{-\infty}^\infty \exp(-h(t,x_t)-\frac12 h''(t,x_t) (x-x_t)^2 ) \; dx \\
= e^{-h(t,x_t)} \int_{-\infty}^\infty e^{-\frac12 h''(t,x_t) (x-x_t)^2} \; dx
$$
which is a Gaussian integral, giving
$$
e^{K(t)} \approx e^{-h(t,x_t)} \sqrt{\frac{2\pi}{h''(t,x_t)}}. 
$$
This gives (a first version) of the saddlepoint approximation as
$$ 
f(x_t) \approx \sqrt{\frac{h''(t,x_t)}{2\pi}} \exp(K(t) -t x_t) \\
     \tag{*} \label{*}
$$
Note that the approximation has the form of an exponential family.
Now we need to do some work to get this in a more useful form.
From $h'(t,x_t)=0$ we get
$$
    t = -\frac{\partial}{\partial x_t} \log f(x_t).
$$
Differentiating this with respect to $x_t$ gives
$$
 \frac{\partial t}{\partial x_t} = -\frac{\partial^2}{\partial x_t^2} \log f(x_t) > 0$$
(by our assumptions), so the relationship between $t$ and $x_t$ is monotone, so $x_t$ is well defined. We need an approximation to $\frac{\partial}{\partial x_t} \log f(x_t)$. To that end, we get by solving from \eqref{*}
$$
\log f(x_t) = K(t) -t x_t -\frac12 \log \frac{2\pi}{-\frac{\partial^2}{\partial x_t^2} \log f(x_t)}.   \tag{**}  \label{**}
$$
Assuming the last term above only depends weakly on $x_t$, so its derivative with respect to $x_t$ is approximately zero (we will come back to comment on this), we get
$$
\frac{\partial \log f(x_t)}{\partial x_t} \approx 
  (K'(t)-x_t) \frac{\partial t}{\partial x_t} - t
$$
Up to this approximation we then have that
$$
0 \approx t + \frac{\partial \log f(x_t)}{\partial x_t} = (K'(t)-x_t) \frac{\partial t}{\partial x_t}
$$
so that $t$ and $x_t$ must be related through the equation
$$
K'(t) - x_t=0, \\
     \tag{§} \label{§}
$$
which is called the saddlepoint equation.
What we miss now in determining \eqref{*} is
$$
  h''(t,x_t) = -\frac{\partial^2 \log f(x_t)}{\partial x_t^2} \\
 = -\frac{\partial}{\partial x_t} \left(\frac{\partial \log f(x_t)}{\partial x_t}    \right)
  \\
= -\frac{\partial}{\partial x_t}(-t)= \left(\frac{\partial x_t}{\partial t}\right)^{-1} 
$$
and that we can find by implicit differentiation of the saddlepoint equation $K'(t)=x_t$:
$$
\frac{\partial x_t}{\partial t} = K''(t).
$$
The result is that (up to our approximation)
$$
h''(t,x_t) = \frac1{K''(t)}
$$
Putting everything together, we have the final saddlepoint approximation of the density $f(x)$ as
$$
   f(x_t) \approx e^{K(t)- t x_t} \sqrt{\frac1{2\pi K''(t)}}. 
$$
Now, to use this practically, to approximate the density at a specific point $x_t$, we solve the saddlepoint equation for that $x_t$ to find $t$.
The saddlepoint approximation is often stated as an approximation to the density of the mean based on $n$ iid observations $X_1, X_2, \dotsc, X_n$.
The cumulant generating function of the mean is simply $n K(t)$, so the saddlepoint approximation for the mean becomes
$$
f(\bar{x}_t) = e^{nK(t) - n t \bar{x}_t} \sqrt{\frac{n}{2\pi K''(t)}}
$$
Let us look at a first example. What does we get if we try to approximate the standard normal density
$$
f(x)=\frac1{\sqrt{2\pi}} e^{-\frac12 x^2}
$$
The mgf is $M(t)=\exp(\frac12 t^2)$ so
$$
   K(t)=\frac12 t^2 \\
   K'(t)=t  \\
   K''(t)=1
$$
so the saddlepoint equation is $t=x_t$ and the saddlepoint approximation gives
$$
  f(x_t) \approx e^{\frac12 t^2 -t x_t} \sqrt{\frac1{2\pi \cdot 1}}
    = \frac1{\sqrt{2\pi}} e^{-\frac12 x_t^2} 
$$
so in this case the approximation is exact.
Let us look at a very different application: Bootstrap in the transform domain, we can do bootstrapping analytically using the saddlepoint approximation to the bootstrap distribution of the mean!
Assume we have $X_1, X_2, \dotsc, X_n$ iid distributed from some density $f$ (in the simulated example we will use a unit exponential distribution). From the sample we calculate the empirical moment generating function
$$
  \hat{M}(t)= \frac1{n} \sum_{i=1}^n e^{t x_i}
$$
and then the empirical cgf $\hat{K}(t) = \log \hat{M}(t)$. We need the empirical mgf for the mean which is $\log ( \hat{M}(t/n)^n )$ and the empirical cgf for the mean
$$
  \hat{K}_{\bar{X}}(t) = n \log \hat{M}(t/n) 
$$
which we use to construct a saddlepoint approximation. In the following some R code (R version 3.2.3):
  
set.seed(1234)
x  <-  rexp(10)

require(Deriv)   ### From CRAN
drule[["sexpmean"]]   <-  alist(t=sexpmean1(t))  # adding diff rules to 
                                                 # Deriv
drule[["sexpmean1"]]  <-  alist(t=sexpmean2(t))

###

make_ecgf_mean  <-   function(x)   {
    n  <-  length(x)
    sexpmean  <-  function(t) mean(exp(t*x))
    sexpmean1 <-  function(t) mean(x*exp(t*x))
    sexpmean2 <-  function(t) mean(x*x*exp(t*x))
    emgf  <-  function(t) sexpmean(t)
    ecgf  <-   function(t)  n * log( emgf(t/n) )
    ecgf1 <-   Deriv(ecgf)
    ecgf2 <-   Deriv(ecgf1)
    return( list(ecgf=Vectorize(ecgf),
                 ecgf1=Vectorize(ecgf1),
                 ecgf2 =Vectorize(ecgf2) )    )
}

### Now we need a function solving the saddlepoint equation and constructing
### the approximation:
###

make_spa <-  function(cumgenfun_list) {
    K  <- cumgenfun_list[[1]]
    K1 <- cumgenfun_list[[2]]
    K2 <- cumgenfun_list[[3]]
    # local function for solving the speq:
    solve_speq  <-  function(x) {
          # Returns saddle point!
          uniroot(function(s) K1(s)-x,lower=-100,
                  upper = 100, 
                  extendInt = "yes")$root
}
    # Function finding fhat for one specific x:
    fhat0  <- function(x) {
        # Solve saddlepoint equation:
        s  <-  solve_speq(x)
        # Calculating saddlepoint density value:
        (1/sqrt(2*pi*K2(s)))*exp(K(s)-s*x)
    }
    # Returning a vectorized version:
    return(Vectorize(fhat0))
} #end make_fhat

( I have tried to write this as general code which can be modified easily for other cgfs, but the code is still not very robust ...)
Then we use this for a sample of ten independent observations from a unit exponential distribution. We do the usual nonparametric bootstrapping "by hand", plot the resulting bootstrap histogram for the mean, and overplot the saddlepoint approximation:
> ECGF  <- make_ecgf_mean(x)
> fhat  <-  make_spa(ECGF)
> fhat
function (x) 
{
    args <- lapply(as.list(match.call())[-1L], eval, parent.frame())
    names <- if (is.null(names(args))) 
        character(length(args))
    else names(args)
    dovec <- names %in% vectorize.args
    do.call("mapply", c(FUN = FUN, args[dovec], MoreArgs = list(args[!dovec]), 
        SIMPLIFY = SIMPLIFY, USE.NAMES = USE.NAMES))
}
<environment: 0x4e5a598>
> boots  <-  replicate(10000, mean(sample(x, length(x), replace=TRUE)), simplify=TRUE)
> boots  <-  replicate(10000, mean(sample(x, length(x), replace=TRUE)), simplify=TRUE)
> hist(boots, prob=TRUE)
> plot(fhat, from=0.001, to=2, col="red", add=TRUE)

Giving the resulting plot:

The approximation seems to be rather good!
We could get an even better approximation by integrating the saddlepoint approximation and rescaling:
> integrate(fhat, lower=0.1, upper=2)
1.026476 with absolute error < 9.7e-07

Now the cumulative distribution function based on this approximation could be found by numerical integration, but it is also possible to make a direct saddlepoint approximation for that. But that is for another post, this is long enough.
Finally, some comments left out of the development above. In \eqref{**} we did an approximation essentially ignoring the third term. Why can we do that?  One observation is that for the normal density function,  the left-out term contributes nothing, so that approximation is exact.  So, since the saddlepoint-approximation is a refinement on the central limit theorem, so we are somewhat close to the normal, so this should work well. One can also look at specific examples. Looking at the saddlepoint approximation to the Poisson distribution, looking at that left-out third term, in this case that becomes a trigamma function, which indeed is rather flat when the argument is not to close to zero.
Finally, why the name? The name come from an alternative derivation, using complex-analysis techniques.  Later we can look into that, but in another post!
