repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
db/fixup_kernel.sh: fix up stuff from the unsigned pointer change
2019-02-08
Dan Carpenter
db/fixup_kernel
.
sh:
f
i
x up
s
tuff fro
m
the unsigned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Dan Ca
r
p
enter
va
l
id
a
tion: update a few tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpe
n
ter
t
y
pe: comm
i
t some miss
i
ng
p
iece
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan
C
arpenter
extra
:
small sp
e
edup in set
_
param_hard_max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan
C
arpenter
helper: f
i
x exp
r
_t
o
_chunk_helper() f
o
r st
r
uct members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan
C
arpenter
compar
i
so
n
: pr
i
nt a
"
%
s
"
string
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Da
n
C
ar
p
enter
cons
t
raints: remove debugging and use t
h
e s
t
r
ip
p
ed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan
C
arp
e
nte
r
db: improv
e
r
ecording compar
i
sons t
o
parameter
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan
Carpenter
i
mplied
:
rem
o
ve s
o
me
duplicate debug
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
D
an Carpente
r
rea
l
_absolute: don't store data for a
r
rays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan C
a
rpenter
sval: remove
a
n extra s
p
a
ce
c
har
a
cter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpent
e
r
type:
make point
e
r
s
u
nsigned
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan
Carpenter
extra: tigh
t
en canonic
a
l for loop h
a
n
d
lin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
D
a
n Carpenter
e
x
tra: fix
f
unction comparisons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-05
Dan Carpen
t
er
ranges: improve
casting negatives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-05
Dan Carpenter
i
mplied: don'
t
use i
n
complete
s
tates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-05
Dan
C
ar
p
e
nter
i
mplications:
r
e
m
o
ve a magic number
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpen
t
er
db:
s
how co
m
p
a
r
ison strings for
condit
i
on
a
l ret
u
rns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpen
t
er
db
:
do
n
't store recursive s
t
ruc
t
members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpenter
t
y
pe: handle p
o
inter type correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-04
Da
n
Carpen
t
er
ex
t
ra/untr
a
cked
_
param: mark lost para
m
eters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-04
Dan Car
p
enter
address: retu
r
n unknown if
we can't fi
g
u
r
e out t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-31
Da
n
Carpenter
implie
d
: tweak som
e
deb
u
g st
a
t
e
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-28
Dan Carpenter
e
x
pressions: parse "$0->foo
.
bar" correctly
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-28
Dan Carpent
e
r
return_to_par
a
m:
use id
e
nt->len
instead
of strlen()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-28
Da
n
Carpenter
p
a
ram_set
:
handle m
t
ag
a
s
s
ign
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-28
Dan
Carpenter
assigned_expr: m
a
ke it
work fo
r
p
a
rameter assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-25
D
a
n Carpenter
e
quiv: use DB
i
n
formati
o
n to set extra state
i
n e
q
uiv
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-23
D
an Carpenter
extra: improve get_o
t
her_
n
ame_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-23
Dan Carpenter
extra: futz around with get_othe
r
_name_
s
ym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
Dan Carpenter
helper: improve
g
e
t
_
m
ember_na
m
e() f
o
r anonymous structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
Dan Carpenter
db:
e
scape
new li
n
es in save_cache_data()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
Dan Carpenter
rang
e
s: constify call_
r
esults_to_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
Dan
Carpenter
e
xtra: filter re
a
ll
y
lon
g
unu
s
ed pa
r
a
m value inf
o
rm
a
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
Dan
C
arpe
n
ter
extra: use ident->len inste
a
d o
f
calling
str
l
e
n
(
i
dent
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpen
t
er
db: don't create n
e
w
split
s
in split_
p
ositive_f
r
o
m
_
n
egative()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Da
n
Carpe
n
ter
extra: fix re
t
urne
d
_struct
_
me
m
bers()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
param_us
e
d: fix handling o
f
called functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
ext
r
a: export i
n
_warn_on_macro
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Car
p
enter
type
:
misc small cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
type: fix get_member_from_str
i
ng()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
D
a
n Carpent
e
r
kp
a
t
ch
.
sh: fi
x
spelling s/amme
n
d/amend/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
ty
p
e:
add a
short cut i
n
get_real_
b
ase_
t
ype()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-14
Dan Carpenter
imp
l
ied: Preserve
-
>hard_max fo
r
f
a
ke history states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-14
Dan C
a
rpenter
e
xtr
a
: preser
v
e
h
ard_max a
f
t
er com
p
arisons to
z
ero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
Dan
C
a
r
penter
slist: ma
k
e
sm-
>
childre
n
a s
m
aller
type
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
Dan Carpent
e
r
slist: r
e
n
ame variables
i
n __merge_stree
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
D
a
n
C
a
rp
e
nter
slist
:
hand
l
e the fast path in __m
e
r
g
e
_
stree(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
Dan Carpenter
slis
t
: simpl
i
fy __merg
e
_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-19
Dan Carpenter
n
o
s
p
ec: don't record
n
o
s
pec para
m
eter info whic
h
hasn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-14
D
an Ca
r
penter
dma_mapping_error: update to
o
nly complain about lega
c
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-07
D
an Carpenter
smatch:
a
d
d
a --succeed
option
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
Da
n
Carpenter
db: ma
k
e esc
a
pe
_
newlines() take a const pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
Dan
C
arp
e
nt
e
r
p
a
r
s
e
.
h: create stmt_get_parent_stm
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carpent
e
r
co
n
straints: escape SQL sta
t
ements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carp
e
nter
stat
e
ment_cou
n
t
:
record how
m
any statements there are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-30
D
a
n Ca
r
penter
extra/db: silence an inv
a
lid SQL wa
r
ning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-29
Dan Car
p
e
n
ter
buf_size: fix handling of 1 element ar
r
a
y
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-29
Dan Carpe
n
ter
db: sql debug mode wa
s
e
x
ecutin
g
the SQL twice
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
test_bit: add test_
a
nd
_
se
t
_bit()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan
C
a
rpenter
d
ebug: in
t
roduce __smatch_mem()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Da
n
Carpenter
db: don't save struct
m
e
mb
e
rs fo
r
inte
g
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
implie
d
: remov
e
a
n
unnec
e
ssary
NULL che
c
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carp
e
nter
nul_terminator: export
t
he i
s
_nul_terminated() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
D
an Carpenter
kpatch
:
use g
i
t i
n
stead of trying to create diffs by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
s
truct_assignme
n
t: handle u
n
ion
s
as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
D
a
n
C
arpenter
m
i
s
sing_
b
reak: tu
r
n
i
t
off by d
e
fault
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan
C
a
rpenter
free_strict
:
fix some false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
Revert "Look across the entire com
p
il
e
line f
o
r sma
t
ch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-14
D
an Carpenter
trinity: Proof o
f
concept to
auto-ge
n
erate
t
rinity
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-01
Da
n
Carpenter
us
e
r_dat
a
:
r
ename to smatc
h
_kernel_user_data
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-01
Dan Carpenter
assigned_expr: rename to sma
t
ch_assigned
_
e
x
pr
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan Carpente
r
smatch: mak
e
the -
-
enable/disable
o
pti
o
ns take
strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan Car
p
enter
smatch
_
nul_t
e
r
m
in
a
t
ed:
fix compile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Da
n
Carpenter
untra
c
ked_param: fix a
NULL dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-30
D
a
n
Car
p
e
nter
uninitia
l
ized: fix
a
crashi
n
g
bug parsing "return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-23
Dan
C
arpente
r
nul_terminator:
track when strings have a NUL terminat
o
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan
Carpenter
use
r
_data2: fix a type issu
e
in caller_info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpente
r
user_data: integers can't b
e
der
e
ferenced
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan C
a
rpenter
c
o
m
parison: mak
e
a buff
e
r larger to make GCC hap
p
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
D
a
n Carpen
t
er
data_source: track a
s
signments bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
D
a
n
Carpe
n
ter
extra: prevent a divide by zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpente
r
modification_hooks:
u
se the DB f
o
r fr
o
b(&foo
)
;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carp
e
n
t
er
s
val: in
t
r
oduce sv
a
l_b
i
n
op_over
f
l
o
ws_no_sign()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-28
Dan Carpenter
ex
t
ra: u
n
do b
o
gus unop
c
ha
n
ges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
D
a
n Carpent
e
r
arra
y
_
values: fi
x
up and support tw
o
dimens
i
onal local
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
D
a
n C
a
rpen
t
er
param_set:
d
on't
record a
p
a
ram_se
t
for
p++ changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carpe
n
t
er
function_hooks: re-hack ar
o
und moving
the fake parameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-26
Da
n
Carpe
n
t
e
r
array
_
v
alues
:
store arra
y
values o
f
st
r
uct
m
ember arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-26
Dan Carpenter
fu
n
ction_hooks: hack aroun
d
fallout fro
m
moving the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-24
Dan Car
p
enter
comparison: don't r
e
turn inval
i
d params in get
_
mask_comparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpe
n
ter
db: don't
p
r
int "failed to open" war
n
ings
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
an Carpenter
param
_
set: remove s
o
me dead co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
Carpente
r
mtag: temporarily disable g
e
n
erating
mtag for kmalloc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
expressions: don'
t
crash on invali
d
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
extra: fix a type bu
g
in inserting info in
t
o caller_i
n
fo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
C
arpe
n
ter
kernel
:
d
o
n
't i
n
s
i
st that t
h
e param
e
ter is named "error"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
extra: export
i
s_impossible_variab
l
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
flo
w
: fix a cr
a
shing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
function_hoo
k
s: d
o
t
h
e
fak
e
par
a
meter
a
ssignm
e
nt after
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next