Fix typos in comments and string literals (#1924)

* Initial plan

* Fix typos in variable names and comments

Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>

* Complete typo audit and fixes

Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>

* Fix additional typos: supress→suppress, seting→setting

Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>

* Remove _codeql_detected_source_root and add to .gitignore

Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>

* Remove _codeql_detected_source_root from .gitignore

Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>

---------

Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: michael-schwarz <13812333+michael-schwarz@users.noreply.github.com>

Author: Copilot

src/analyses/base.ml

@@ -602,7 +602,7 @@ struct
     | JmpBuf _ -> empty (* Jump buffers are abstract and nothing known can be reached from them *)
     | Mutex -> empty (* mutexes are abstract and nothing known can be reached from them *)
 
-  (* Get the list of addresses accessable immediately from a given address, thus
+  (* Get the list of addresses accessible immediately from a given address, thus
    * all pointers within a structure should be considered, but we don't follow
    * pointers. We return a flattend representation, thus simply an address (set). *)
   let reachable_from_addr ~man st (addr: Addr.t): address =

src/autoTune0.ml

@@ -50,7 +50,7 @@ class collectComplexityFactorsVisitor(factors) = object
     | Set _ ->
       factors.instructions <- factors.instructions + 1; DoChildren
     | Call (Some _, _,_,_,_) ->
-      factors.instructions <- factors.instructions + 2; (*Count function call and assignment of the result seperately *)
+      factors.instructions <- factors.instructions + 2; (*Count function call and assignment of the result separately *)
       factors.functionCalls <- factors.functionCalls + 1; DoChildren
     | Call _ ->
       factors.instructions <- factors.instructions + 1;

src/cdomain/value/cdomains/int/intDomTuple.ml

@@ -399,7 +399,7 @@ module IntDomTupleImpl = struct
   (** Project tuple t to precision p
    * We have to deactivate IntDomains after the refinement, since we might
    * lose information if we do it before. E.g. only "Interval" is active
-   * and shall be projected to only "Def_Exc". By seting "Interval" to None
+   * and shall be projected to only "Def_Exc". By setting "Interval" to None
    * before refinement we have no information for "Def_Exc".
    *
    * Thus we have 3 Steps:

src/cdomains/affineEquality/arrayImplementation/arrayMatrix.ml

@@ -181,7 +181,7 @@ module ArrayMatrix: ArrayMatrixFunctor =
 
     let del_cols m cols = timing_wrap "del_cols" (del_cols m) cols
 
-    (* This does NOT have the same semantics as map2i_with. While map2i_with can deal with m and v having different lenghts, map2i will raise Invalid_argument in that case*)
+    (* This does NOT have the same semantics as map2i_with. While map2i_with can deal with m and v having different lengths, map2i will raise Invalid_argument in that case*)
     let map2i f m v =
       let f' x (i,y) = V.to_array @@ f i (V.of_array x) y in
       let range_array = Array.init (V.length v) Fun.id in

src/common/framework/analysisState.ml

@@ -42,5 +42,5 @@ let unsound_both_branches_dead: bool option ref = ref None
     [Some false] if it doesn't occur.
     [None] if [ana.dead-code.branches] option is disabled and this isn't checked. *)
 
-(* Comparison mode where blobs with bot content that are not zero-initalized are considered equivalent to top-level bot *)
+(* Comparison mode where blobs with bot content that are not zero-initialized are considered equivalent to top-level bot *)
 let bot_in_blob_leq_bot = ref false

src/solver/td_simplified_ref.ml

@@ -123,7 +123,7 @@ module Base : GenericEqSolver =
 
       and iterate x = (* ~(inner) solve in td3*)
 
-        (* begining of iterate*)
+        (* beginning of iterate*)
         let x_ref = init x in
         if tracing then trace "iter" "iterate %a, called: %b, stable: %b, wpoint: %b" S.Var.pretty_trace x (!x_ref.called) (!x_ref.stable) (!x_ref.wpoint);
         assert (S.system x <> None);

tests/regression/68-longjmp/31-mixedjmpbufs.c

@@ -28,12 +28,12 @@ int blub(int x,int y) {
 int main(void) {
 
   if(setjmp(error0)) {
-    printf("error0 occured");
+    printf("error0 occurred");
     return -1;
   }
 
   if(setjmp(error1)) {
-    printf("error1 occured");
+    printf("error1 occurred");
     return -2;
   }
 

tests/regression/70-transform/transform.sh

@@ -1,7 +1,7 @@
 #!/usr/bin/env bash
 # usage: transform.sh [--stdout] [--stderr] [--file] transform1 transform2 ... -- [goblint args] file.c
 # runs goblint with the given transformations active and outputs the transformed file to stdout
-# - unless --stdout/--stderr is passed, supress those streams
+# - unless --stdout/--stderr is passed, suppress those streams
 # - if --file is passed, output to a temporary file and print its path to stdout
 
 set -eu -o pipefail

tests/regression/77-lin2vareq/33-dimarray.c

@@ -1,6 +1,6 @@
 //SKIP PARAM: --set ana.activated[+] lin2vareq --set sem.int.signed_overflow assume_none
 //  special input triggering add_dimarray of [0,0] at line 10; visible via --trace modify_dims
-//      both occurances of variables need to be bumped/shifted by 2 indices
+//      both occurrences of variables need to be bumped/shifted by 2 indices
 //  in our case, d = c still needs to hold
 #include <goblint.h>
 int a;