Fix typos in variable names and comments

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_address ~man st (adr: address): 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/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/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;