Add CodeQL query to check allocations do not exceed ensure_free

[pguyot]

The query also checks redundant ensure_free calls, i.e. calls
followed by another call with no allocation in between.

Fix errors found by the query:

• Add a missing ensure_free in esp32 dac_driver.c
• Fix and simplify allocation in adc_driver.c (fix misplaced
  parenthesis bug and merge two ensure_free calls into one)
• Remove redundant ensure_free calls in otp_ssl.c (left over
  from removal of enif_make_resource which used to do its own
  ensure_free)
• Remove a redundant ensure_free call in nif_erlang_fun_to_list

These changes are made under both the "Apache 2.0" and the "GNU Lesser General
Public License 2.1 or later" license terms (dual license).

SPDX-License-Identifier: Apache-2.0 OR LGPL-2.1-or-later

[github-advanced-security]

You are seeing this message because GitHub Code Scanning has recently been set up for this repository, or this pull request contains the workflow file for the Code Scanning tool.

What Enabling Code Scanning Means:

• The 'Security' tab will display more code scanning analysis results (e.g., for the default branch).
• Depending on your configuration and choice of analysis tool, future pull requests will be annotated with code scanning analysis results.
• You will be able to see the analysis results for the pull request's branch on this overview once the scans have completed and the checks have passed.

For more information about GitHub Code Scanning, check out the documentation.